The bald eagle eats the cow. The cow needs the dog. The dog needs the bald eagle. Young things are blue. If something needs the dog then the dog needs the cow. If the cow is young then the cow needs the dog. If something needs the cow then it eats the cow. If something eats the cow then it likes the dog. If something eats the dog and it is young then it eats the cow.
The bald eagle does not like the dog.
@0: The bald eagle eats the cow.[(triple1)] The cow needs the dog.[(triple2)] The dog needs the bald eagle.[(triple3)] @1: The bald eagle likes the dog.[(((triple1) -> rule5))] The dog needs the cow.[(((triple2) -> rule2))] @2: The dog eats the cow.[(((((triple2) -> rule2)) -> rule4))] @3: The dog likes the dog.[(((((((triple2) -> rule2)) -> rule4)) -> rule5))]