The bear does not eat the squirrel. The bear visits the mouse. The mouse eats the bear. The mouse is green. The mouse is nice. The mouse is red. The mouse needs the bear. The mouse visits the bear. The squirrel is red. The squirrel visits the bear. If someone eats the squirrel and the squirrel is red then the squirrel does not need the mouse. If someone eats the bear and they need the squirrel then the squirrel eats the mouse. If someone needs the bear and the bear is not young then the bear does not need the mouse. If someone needs the squirrel and the squirrel eats the mouse then the squirrel is nice. If someone is nice and red then they need the squirrel. If someone is red and not young then they visit the bear. If someone eats the bear and they do not visit the mouse then the mouse visits the bear. If someone is young and not nice then they need the mouse.
The mouse does not need the mouse.
@0: The bear does not eat the squirrel.[(triple1)] The bear visits the mouse.[(triple2)] The mouse eats the bear.[(triple3)] The mouse is green.[(triple4)] The mouse is nice.[(triple5)] The mouse is red.[(triple6)] The mouse needs the bear.[(triple7)] The mouse visits the bear.[(triple8)] The squirrel is red.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The mouse needs the squirrel.[(((triple5 triple6) -> rule5))] @2: The squirrel eats the mouse.[(((triple3 ((triple5 triple6) -> rule5)) -> rule2))] @3: The squirrel is nice.[(((((triple5 triple6) -> rule5) ((triple3 ((triple5 triple6) -> rule5)) -> rule2)) -> rule4))] @4: The squirrel needs the squirrel.[(((((((triple5 triple6) -> rule5) ((triple3 ((triple5 triple6) -> rule5)) -> rule2)) -> rule4) triple9) -> rule5))]