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 lion does not eat the mouse.
@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))]