The mouse is big. The mouse is blue. The mouse is cold. The mouse likes the squirrel. The squirrel chases the mouse. The squirrel likes the mouse. The squirrel visits the mouse. If something chases the mouse and the mouse chases the squirrel then it is red. If something visits the squirrel then it chases the squirrel. If something likes the squirrel then it visits the squirrel. If something likes the squirrel and it does not like the mouse then the squirrel is big. If the mouse does not chase the squirrel then the squirrel is young. If the mouse does not chase the squirrel and the squirrel does not like the mouse then the squirrel is red.
The mouse does not visit the squirrel.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is cold.[(triple3)] The mouse likes the squirrel.[(triple4)] The squirrel chases the mouse.[(triple5)] The squirrel likes the mouse.[(triple6)] The squirrel visits the mouse.[(triple7)] @1: The mouse visits the squirrel.[(((triple4) -> rule3))] @2: The mouse chases the squirrel.[(((((triple4) -> rule3)) -> rule2))] @3: The squirrel is red.[(((triple5 ((((triple4) -> rule3)) -> rule2)) -> rule1))]