The bald eagle likes the cow. The bald eagle needs the tiger. The cow chases the tiger. The cow needs the tiger. The tiger is green. The tiger likes the bald eagle. The tiger needs the cow. If the cow likes the tiger and the tiger likes the bald eagle then the cow chases the bald eagle. If something needs the tiger and the tiger needs the bald eagle then it likes the bald eagle. If the tiger needs the bald eagle then the bald eagle likes the tiger. If the tiger is nice then the tiger is young. If something likes the bald eagle then it needs the bald eagle. If something is blue then it chases the cow. If something needs the cow and it likes the cow then it is blue. If the cow likes the tiger and the cow is young then the tiger chases the bald eagle.
The cow does not chase the cow.
@0: The bald eagle likes the cow.[(triple1)] The bald eagle needs the tiger.[(triple2)] The cow chases the tiger.[(triple3)] The cow needs the tiger.[(triple4)] The tiger is green.[(triple5)] The tiger likes the bald eagle.[(triple6)] The tiger needs the cow.[(triple7)] @1: The tiger needs the bald eagle.[(((triple6) -> rule5))] @2: The bald eagle likes the bald eagle.[(((triple2 ((triple6) -> rule5)) -> rule2))] The bald eagle likes the tiger.[(((((triple6) -> rule5)) -> rule3))] The cow likes the bald eagle.[(((triple4 ((triple6) -> rule5)) -> rule2))] @3: The bald eagle needs the bald eagle.[(((((triple2 ((triple6) -> rule5)) -> rule2)) -> rule5))] The cow needs the bald eagle.[(((((triple4 ((triple6) -> rule5)) -> rule2)) -> rule5))]