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