The bald eagle visits the mouse. The mouse does not chase the bald eagle. The tiger visits the bald eagle. If someone chases the mouse then the mouse is cold. If someone visits the mouse then they chase the mouse.
The tiger does not visit the bald eagle.
@0: The bald eagle visits the mouse.[(triple1)] The mouse does not chase the bald eagle.[(triple2)] The tiger visits the bald eagle.[(triple3)] @1: The bald eagle chases the mouse.[(((triple1) -> rule2))] @2: The mouse is cold.[(((((triple1) -> rule2)) -> rule1))]