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