The bald eagle sees the cat. The cat eats the cow. The cow sees the bald eagle. The mouse chases the cat. If something chases the cat and it chases the bald eagle then the cat eats the cow. If something eats the cow then it eats the bald eagle. If something eats the bald eagle then the bald eagle eats the cow. If something sees the cat and the cat chases the cow then the cat sees the bald eagle. If something is kind and big then it sees the mouse. If something chases the mouse then it is young.
The bald eagle does not eat the bald eagle.
@0: The bald eagle sees the cat.[(triple1)] The cat eats the cow.[(triple2)] The cow sees the bald eagle.[(triple3)] The mouse chases the cat.[(triple4)] @1: The cat eats the bald eagle.[(((triple2) -> rule2))] @2: The bald eagle eats the cow.[(((((triple2) -> rule2)) -> rule3))] @3: The bald eagle eats the bald eagle.[(((((((triple2) -> rule2)) -> rule3)) -> rule2))]