The bald eagle chases the cow. The bald eagle is blue. The bald eagle is green. The bald eagle is red. The bald eagle needs the cow. The bald eagle needs the lion. The bald eagle visits the cow. The bald eagle visits the lion. The cow is not red. The cow needs the bald eagle. The lion chases the cow. The lion visits the cow. If the cow is young and the cow visits the bald eagle then the bald eagle does not chase the cow. If the cow does not visit the bald eagle then the cow is not blue. If the bald eagle chases the lion then the lion is not red. If something is red then it chases the lion. If something is young then it needs the bald eagle. If something visits the cow and the cow is not blue then it visits the lion.
The cow needs the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle needs the cow.[(triple5)] The bald eagle needs the lion.[(triple6)] The bald eagle visits the cow.[(triple7)] The bald eagle visits the lion.[(triple8)] The cow is not red.[(triple9)] The cow needs the bald eagle.[(triple10)] The lion chases the cow.[(triple11)] The lion visits the cow.[(triple12)] @1: The bald eagle chases the lion.[(((triple4) -> rule4))] @2: The lion is not red.[(((((triple4) -> rule4)) -> rule3))]