The bald eagle likes the mouse. The mouse chases the tiger. The tiger visits the mouse. If something visits the tiger and the tiger visits the mouse then the mouse chases the tiger. If something likes the mouse then it chases the mouse.
The tiger visits the bald eagle.
@0: The bald eagle likes the mouse.[(triple1)] The mouse chases the tiger.[(triple2)] The tiger visits the mouse.[(triple3)] @1: The bald eagle chases the mouse.[(((triple1) -> rule2))]