The bald eagle chases the cow. The bald eagle does not eat the cow. The bald eagle is blue. The bald eagle is cold. The bald eagle is red. The bald eagle is round. The bald eagle is young. The bald eagle does not need the cow. The cow chases the bald eagle. The cow eats the bald eagle. The cow is blue. The cow is cold. The cow is red. The cow is round. The cow is young. The cow needs the bald eagle. If the bald eagle eats the cow and the cow is young then the bald eagle needs the cow. If something needs the cow then it is cold. If something is blue and it eats the bald eagle then the bald eagle chases the cow. If the cow is red then the cow is cold. If something needs the bald eagle then it chases the cow. If something is cold and it needs the cow then the cow needs the bald eagle. If something needs the cow and the cow chases the bald eagle then it eats the bald eagle. If the cow eats the bald eagle then the cow is young.
The cow eats the cow.
@0: The bald eagle chases the cow.[(triple1 OR ((triple11 triple10) -> rule3))] The bald eagle does not eat the cow.[(triple2)] The bald eagle does not need the cow.[(triple8)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle is young.[(triple7)] The cow chases the bald eagle.[(triple9)] The cow eats the bald eagle.[(triple10)] The cow is blue.[(triple11)] The cow is cold.[(triple12 OR ((triple13) -> rule4))] The cow is red.[(triple13)] The cow is round.[(triple14)] The cow is young.[(triple15 OR ((triple10) -> rule8))] The cow needs the bald eagle.[(triple16)] @1: The cow chases the cow.[(((triple16) -> rule5))]