The bald eagle is blue. The bald eagle is cold. The bald eagle likes the cow. The bald eagle sees the cow. The cow chases the bald eagle. The cow is blue. The cow is cold. The cow is round. The cow likes the bald eagle. The cow sees the bald eagle. Cold people are round. If someone likes the cow and the cow chases the bald eagle then the cow is cold. If someone likes the cow and the cow is blue then they chase the cow. If the bald eagle is round then the bald eagle chases the cow. If someone likes the bald eagle then they are blue. If someone chases the cow and the cow is big then they like the bald eagle. If someone is cold and they chase the cow then the cow is blue. If someone sees the cow and they like the bald eagle then the cow likes the bald eagle.
The cow does not chase the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle sees the cow.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow is blue.[(triple6 OR ((triple9) -> rule5) OR ((triple2 ((((triple2) -> rule1)) -> rule4)) -> rule7))] The cow is cold.[(triple7 OR ((triple3 triple5) -> rule2))] The cow is round.[(triple8 OR ((triple7) -> rule1) OR ((((triple3 triple5) -> rule2)) -> rule1))] The cow likes the bald eagle.[(triple9)] The cow sees the bald eagle.[(triple10)] @1: The bald eagle chases the cow.[(((triple3 triple6) -> rule3) OR ((((triple2) -> rule1)) -> rule4) OR ((triple3 ((triple9) -> rule5)) -> rule3))] The bald eagle is round.[(((triple2) -> rule1))]