The mouse does not eat the squirrel. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel is blue. The squirrel is green. The squirrel is round. The squirrel likes the mouse. If something is blue then it is not nice. If something eats the squirrel and it is blue then it is round. If something eats the mouse then the mouse likes the squirrel. If something is cold then it likes the mouse. If something is green then it does not eat the squirrel. If something likes the squirrel then it is blue.
The mouse does not chase the mouse.
@0: The mouse does not eat the squirrel.[(triple1)] The squirrel chases the mouse.[(triple2)] The squirrel eats the mouse.[(triple3)] The squirrel is blue.[(triple4)] The squirrel is green.[(triple5)] The squirrel is round.[(triple6)] The squirrel likes the mouse.[(triple7)] @1: The mouse likes the squirrel.[(((triple3) -> rule3))] The squirrel does not eat the squirrel.[(((triple5) -> rule5))] The squirrel is not nice.[(((triple4) -> rule1))] @2: The mouse is blue.[(((((triple3) -> rule3)) -> rule6))] @3: The mouse is not nice.[(((((((triple3) -> rule3)) -> rule6)) -> rule1))]