The bald eagle chases the cat. The cat sees the cow. The cow chases the cat. The mouse chases the bald eagle. If something visits the mouse then it chases the cat. If something chases the cow then the cow sees the mouse. If the mouse chases the bald eagle then the bald eagle chases the cow.
The mouse does not chase the cat.
@0: The bald eagle chases the cat.[(triple1)] The cat sees the cow.[(triple2)] The cow chases the cat.[(triple3)] The mouse chases the bald eagle.[(triple4)] @1: The bald eagle chases the cow.[(((triple4) -> rule3))] @2: The cow sees the mouse.[(((((triple4) -> rule3)) -> rule2))]