The bald eagle visits the cat. The cat eats the lion. The lion visits the bald eagle. If someone eats the lion then the lion eats the cat. If the lion eats the cat then the lion sees the bald eagle. If someone visits the cat then they eat the bald eagle.
The lion does not visit the bald eagle.
@0: The bald eagle visits the cat.[(triple1)] The cat eats the lion.[(triple2)] The lion visits the bald eagle.[(triple3)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule3))] The lion eats the cat.[(((triple2) -> rule1))] @2: The lion sees the bald eagle.[(((((triple2) -> rule1)) -> rule2))]