Consequence is related to Truth. Truth is a type of Statement. 
Head is a type of Formation. you are likely to find Knowledge in/at/on Head. Knowledge is related to Apple. 
Consequence <--RelatedTo--> Truth --IsA--> Statement 
Formation <--IsA-- Head <--AtLocation-- Knowledge <--RelatedTo--> Apple 