The mouse is nice. The squirrel visits the mouse. The tiger chases the squirrel. If someone is cold then they visit the mouse. If someone is nice then they are cold. If someone visits the mouse and the mouse is young then the mouse chases the squirrel.
The squirrel does not visit the mouse.
@0: The mouse is nice.[(triple1)] The squirrel visits the mouse.[(triple2)] The tiger chases the squirrel.[(triple3)] @1: The mouse is cold.[(((triple1) -> rule2))] @2: The mouse visits the mouse.[(((((triple1) -> rule2)) -> rule1))]