The mouse eats the squirrel. The mouse is nice. The mouse is rough. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is red. The squirrel is rough. The squirrel needs the mouse. The squirrel sees the mouse. If someone is red then they need the mouse. If someone eats the mouse and the mouse is big then the mouse is red. If someone needs the squirrel and they are rough then they need the mouse. If someone is red then they see the squirrel. If someone is rough and they eat the mouse then the mouse needs the squirrel. If someone eats the squirrel then the squirrel eats the mouse. If someone eats the mouse and the mouse is rough then the mouse eats the squirrel. If the squirrel is nice then the squirrel sees the mouse.
The mouse is not nice.
@0: The mouse eats the squirrel.[(triple1 OR ((triple6 triple3) -> rule7))] The mouse is nice.[(triple2)] The mouse is rough.[(triple3)] The mouse needs the squirrel.[(triple4 OR ((triple8 triple6) -> rule5) OR ((triple8 ((triple1) -> rule6)) -> rule5))] The mouse sees the squirrel.[(triple5)] The squirrel eats the mouse.[(triple6 OR ((triple1) -> rule6))] The squirrel is red.[(triple7)] The squirrel is rough.[(triple8)] The squirrel needs the mouse.[(triple9 OR ((triple7) -> rule1))] The squirrel sees the mouse.[(triple10)] @1: The mouse needs the mouse.[(((triple4 triple3) -> rule3) OR ((((triple8 triple6) -> rule5) triple3) -> rule3) OR ((((triple8 ((triple1) -> rule6)) -> rule5) triple3) -> rule3))] The squirrel sees the squirrel.[(((triple7) -> rule4))]