The lion eats the mouse. The mouse visits the squirrel. The squirrel eats the lion. If something eats the lion then it is cold.
The mouse is not cold.
@0: The lion eats the mouse.[(triple1)] The mouse visits the squirrel.[(triple2)] The squirrel eats the lion.[(triple3)] @1: The squirrel is cold.[(((triple3) -> rule1))]