The mouse chases the squirrel. The mouse eats the squirrel. The mouse is big. The mouse is blue. The mouse is green. The mouse is rough. 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 green. The squirrel is red. The squirrel is rough. The squirrel sees the mouse. If someone sees the mouse then they see the squirrel. If someone is red and they eat the mouse then the mouse eats the squirrel. If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. If someone eats the squirrel then they chase the mouse. If someone chases the mouse and they see the squirrel then they eat the squirrel. If someone sees the mouse then they are big.
The mouse is not green.
@0: The mouse chases the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2 OR ((triple13 triple9) -> rule2))] The mouse is big.[(triple3)] The mouse is blue.[(triple4)] The mouse is green.[(triple5)] The mouse is rough.[(triple6)] The mouse sees the squirrel.[(triple7)] The squirrel chases the mouse.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is big.[(triple10 OR ((triple15) -> rule6))] The squirrel is blue.[(triple11)] The squirrel is green.[(triple12)] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14)] The squirrel sees the mouse.[(triple15)] @1: The mouse chases the mouse.[(((triple2) -> rule4) OR ((((triple13 triple9) -> rule2)) -> rule4))] The squirrel sees the squirrel.[(((triple15) -> rule1))] @2: The squirrel eats the squirrel.[(((triple8 ((triple15) -> rule1)) -> rule5))]