The mouse chases the squirrel. The mouse is cold. The mouse is young. The mouse needs the squirrel. The mouse visits the squirrel. The squirrel is red. The squirrel is young. If the mouse is cold and the mouse chases the squirrel then the squirrel needs the mouse. If someone needs the mouse and the mouse visits the squirrel then the mouse is nice.
The squirrel is red.
@0: The mouse chases the squirrel.[(triple1)] The mouse is cold.[(triple2)] The mouse is young.[(triple3)] The mouse needs the squirrel.[(triple4)] The mouse visits the squirrel.[(triple5)] The squirrel is red.[(triple6)] The squirrel is young.[(triple7)] @1: The squirrel needs the mouse.[(((triple2 triple1) -> rule1))] @2: The mouse is nice.[(((((triple2 triple1) -> rule1) triple5) -> rule2))]