The mouse chases the squirrel. The mouse eats the squirrel. The mouse is cold. The mouse needs the squirrel. The squirrel eats the mouse. The squirrel is cold. The squirrel needs the mouse. All round things are cold. If the mouse chases the squirrel then the mouse is kind. If something chases the mouse and the mouse eats the squirrel then it chases the squirrel.
The mouse is cold.
@0: The mouse chases the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2)] The mouse is cold.[(triple3)] The mouse needs the squirrel.[(triple4)] The squirrel eats the mouse.[(triple5)] The squirrel is cold.[(triple6)] The squirrel needs the mouse.[(triple7)] @1: The mouse is kind.[(((triple1) -> rule2))]