The mouse does not eat the squirrel. The mouse likes the squirrel. The mouse needs the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is not blue. The squirrel is not cold. The squirrel is green. The squirrel likes the mouse. The squirrel does not need the mouse. If the squirrel is not cold then the squirrel eats the mouse. If something needs the mouse then the mouse does not need the squirrel.
The mouse eats the squirrel.
@0: The mouse does not eat the squirrel.[(triple1)] The mouse likes the squirrel.[(triple2)] The mouse needs the squirrel.[(triple3)] The squirrel does not need the mouse.[(triple10)] The squirrel eats the mouse.[(triple4 OR ((triple7) -> rule1))] The squirrel is big.[(triple5)] The squirrel is green.[(triple8)] The squirrel is not blue.[(triple6)] The squirrel is not cold.[(triple7)] The squirrel likes the mouse.[(triple9)]