The mouse eats the squirrel. The mouse is green. The mouse is kind. The mouse is nice. The mouse is red. The mouse needs the squirrel. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel is kind. The squirrel needs the mouse. If something is green and it eats the squirrel then the squirrel eats the mouse. If something visits the mouse and the mouse needs the squirrel then it needs the mouse. If the squirrel is nice then the squirrel is big. If something visits the squirrel then it eats the squirrel. If the mouse needs the squirrel and the squirrel is green then the mouse is red. If something needs the squirrel then the squirrel is big.
The mouse does not need the mouse.
@0: The mouse eats the squirrel.[(triple1 OR ((triple7) -> rule4))] The mouse is green.[(triple2)] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is red.[(triple5)] The mouse needs the squirrel.[(triple6)] The mouse visits the squirrel.[(triple7)] The squirrel eats the mouse.[(triple8 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple7) -> rule4)) -> rule1))] The squirrel is kind.[(triple9)] The squirrel needs the mouse.[(triple10)] @1: The squirrel is big.[(((triple6) -> rule6))]