The mouse is big. The mouse is blue. The mouse is nice. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel is blue. The squirrel is not cold. The squirrel is nice. The squirrel is red. The squirrel sees the mouse. If something sees the mouse and the mouse is big then it does not see the squirrel. If something eats the mouse and the mouse is blue then the mouse does not eat the squirrel. If something chases the mouse then it is big. If the mouse chases the squirrel and the squirrel does not chase the mouse then the squirrel eats the mouse. If something is nice then it eats the mouse. If the mouse sees the squirrel then the mouse chases the squirrel. If something chases the mouse then the mouse is not cold. If something sees the squirrel then it sees the mouse.
The squirrel eats the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is nice.[(triple3)] The squirrel chases the mouse.[(triple4)] The squirrel eats the mouse.[(triple5 OR ((triple8) -> rule5))] The squirrel is blue.[(triple6)] The squirrel is nice.[(triple8)] The squirrel is not cold.[(triple7)] The squirrel is red.[(triple9)] The squirrel sees the mouse.[(triple10)] @1: The mouse does not eat the squirrel.[(((triple5 triple2) -> rule2) OR ((((triple3) -> rule5) triple2) -> rule2) OR ((((triple8) -> rule5) triple2) -> rule2))] The mouse eats the mouse.[(((triple3) -> rule5))] The mouse is not cold.[(((triple4) -> rule7))] The squirrel does not see the squirrel.[(((triple10 triple1) -> rule1))] The squirrel is big.[(((triple4) -> rule3))]