The mouse chases the squirrel. The mouse is cold. The mouse is not green. The mouse is kind. The mouse is red. The mouse is round. The mouse does not see the squirrel. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is not cold. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel sees the mouse. The squirrel does not visit the mouse. If someone is round and they chase the mouse then they do not visit the squirrel.
The squirrel visits the squirrel.
@0: The mouse chases the squirrel.[(triple1)] The mouse does not see the squirrel.[(triple7)] The mouse is cold.[(triple2)] The mouse is kind.[(triple4)] The mouse is not green.[(triple3)] The mouse is red.[(triple5)] The mouse is round.[(triple6)] The mouse visits the squirrel.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel does not visit the mouse.[(triple16)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is not cold.[(triple10)] The squirrel is red.[(triple13)] The squirrel is round.[(triple14)] The squirrel sees the mouse.[(triple15)] @1: The squirrel does not visit the squirrel.[(((triple14 triple9) -> rule1))]