The bald eagle chases the cow. The bald eagle eats the cow. The bald eagle is young. The bald eagle visits the cow. The cow chases the tiger. The cow eats the tiger. The cow is blue. The cow is red. The tiger chases the bald eagle. The tiger chases the cow. If something chases the tiger and it is blue then the tiger visits the cow. If something is red then it eats the bald eagle. If something eats the bald eagle then the bald eagle is red.
The tiger does not visit the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the cow.[(triple4)] The cow chases the tiger.[(triple5)] The cow eats the tiger.[(triple6)] The cow is blue.[(triple7)] The cow is red.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger chases the cow.[(triple10)] @1: The cow eats the bald eagle.[(((triple8) -> rule2))] The tiger visits the cow.[(((triple5 triple7) -> rule1))] @2: The bald eagle is red.[(((((triple8) -> rule2)) -> rule3))] @3: The bald eagle eats the bald eagle.[(((((((triple8) -> rule2)) -> rule3)) -> rule2))]