The mouse is red. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is red. The squirrel is young. The squirrel likes the mouse. The squirrel visits the mouse. If something is cold and young then it likes the squirrel. If the squirrel visits the mouse and the squirrel is nice then the squirrel chases the mouse. If something chases the squirrel then the squirrel likes the mouse. If something visits the squirrel and the squirrel chases the mouse then the squirrel likes the mouse. If something is cold then it chases the mouse. If something chases the mouse and it likes the mouse then it visits the squirrel.
The mouse is nice.
@0: The mouse is red.[(triple1)] The mouse visits the squirrel.[(triple2)] The squirrel chases the mouse.[(triple3)] The squirrel is red.[(triple4)] The squirrel is young.[(triple5)] The squirrel likes the mouse.[(triple6 OR ((triple2 triple3) -> rule4))] The squirrel visits the mouse.[(triple7)] @1: The squirrel visits the squirrel.[(((triple3 triple6) -> rule6) OR ((triple3 ((triple2 triple3) -> rule4)) -> rule6))]