The bear eats the squirrel. The bear needs the mouse. The bear sees the squirrel. The mouse eats the bear. The mouse needs the squirrel. The squirrel is red. The squirrel needs the bear. If the squirrel sees the bear then the squirrel is young. If the mouse sees the bear and the bear needs the squirrel then the mouse needs the squirrel. If something sees the squirrel and the squirrel is red then it eats the bear. If something needs the squirrel and the squirrel eats the bear then it needs the mouse. If something needs the squirrel then the squirrel needs the bear. If something needs the bear and the bear is cold then it needs the squirrel. If something is cold and it eats the mouse then it needs the mouse. If something is red then it sees the squirrel.
The bear eats the squirrel.
@0: The bear eats the squirrel.[(triple1)] The bear needs the mouse.[(triple2)] The bear sees the squirrel.[(triple3)] The mouse eats the bear.[(triple4)] The mouse needs the squirrel.[(triple5)] The squirrel is red.[(triple6)] The squirrel needs the bear.[(triple7 OR ((triple5) -> rule5))] @1: The bear eats the bear.[(((triple3 triple6) -> rule3))] The squirrel sees the squirrel.[(((triple6) -> rule8))] @2: The squirrel eats the bear.[(((((triple6) -> rule8) triple6) -> rule3))] @3: The mouse needs the mouse.[(((triple5 ((((triple6) -> rule8) triple6) -> rule3)) -> rule4))]