The mouse chases the squirrel. The squirrel eats the mouse. If someone is red and they chase the mouse then the mouse eats the squirrel. If the squirrel visits the mouse and the mouse eats the squirrel then the squirrel chases the mouse. If someone is cold then they visit the squirrel. If someone is cold then they eat the squirrel. If the mouse chases the squirrel then the mouse is cold. If someone visits the squirrel then they chase the mouse.
The mouse does not chase the mouse.
@0: The mouse chases the squirrel.[(triple1)] The squirrel eats the mouse.[(triple2)] @1: The mouse is cold.[(((triple1) -> rule5))] @2: The mouse eats the squirrel.[(((((triple1) -> rule5)) -> rule4))] The mouse visits the squirrel.[(((((triple1) -> rule5)) -> rule3))] @3: The mouse chases the mouse.[(((((((triple1) -> rule5)) -> rule3)) -> rule6))]