The cat eats the mouse. The cat is red. The cat sees the squirrel. The mouse chases the cat. The mouse eats the squirrel. The mouse is blue. The mouse sees the squirrel. The squirrel chases the cat. The squirrel chases the mouse. The squirrel eats the cat. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel sees the cat. The squirrel sees the mouse. If someone chases the squirrel and the squirrel sees the cat then the cat chases the squirrel. If the squirrel eats the cat and the mouse does not eat the squirrel then the cat does not see the squirrel. If someone eats the mouse and the mouse chases the squirrel then the squirrel is big. If the mouse is kind and the mouse does not see the cat then the mouse does not see the squirrel. If the squirrel chases the mouse and the squirrel chases the cat then the mouse eats the cat. If the mouse is rough then the mouse eats the cat.
The squirrel does not see the mouse.
@0: The cat eats the mouse.[(triple1)] The cat is red.[(triple2)] The cat sees the squirrel.[(triple3)] The mouse chases the cat.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse is blue.[(triple6)] The mouse sees the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel eats the cat.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel sees the cat.[(triple14)] The squirrel sees the mouse.[(triple15)] @1: The mouse eats the cat.[(((triple9 triple8) -> rule5))]