The mouse eats the squirrel. The mouse is big. The mouse is green. The mouse is kind. The mouse is rough. The mouse does not like the squirrel. The mouse needs the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is cold. The squirrel is not green. The squirrel is kind. The squirrel is rough. The squirrel likes the mouse. The squirrel needs the mouse. If someone is big then they eat the mouse. If someone eats the mouse then they are cold. If someone needs the mouse then the mouse does not like the squirrel.
The squirrel does not eat the squirrel.
@0: The mouse does not like the squirrel.[(triple6 OR ((triple15) -> rule3))] The mouse eats the squirrel.[(triple1)] The mouse is big.[(triple2)] The mouse is green.[(triple3)] The mouse is kind.[(triple4)] The mouse is rough.[(triple5)] The mouse needs the squirrel.[(triple7)] The squirrel eats the mouse.[(triple8 OR ((triple9) -> rule1))] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10 OR ((triple8) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] The squirrel is kind.[(triple12)] The squirrel is not green.[(triple11)] The squirrel is rough.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel needs the mouse.[(triple15)] @1: The mouse eats the mouse.[(((triple2) -> rule1))] @2: The mouse is cold.[(((((triple2) -> rule1)) -> rule2))]