The bald eagle visits the cat. The cat eats the cow. The cow needs the bald eagle. The mouse eats the cat. If someone eats the cow and the cow does not need the mouse then they eat the cat. If someone eats the cow then they eat the bald eagle. If someone eats the bald eagle then the bald eagle eats the cow.
The cow does not eat the cat.
@0: The bald eagle visits the cat.[(triple1)] The cat eats the cow.[(triple2)] The cow needs the bald eagle.[(triple3)] The mouse eats 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))]