The bear eats the mouse. The bear is kind. The bear needs the mouse. The bear needs the squirrel. The bear does not see the squirrel. The mouse is not young. The mouse sees the bear. The squirrel eats the bear. The squirrel eats the mouse. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel does not need the bear. The squirrel does not need the mouse. The squirrel sees the bear. If something is young and kind then it needs the bear. If something needs the mouse and it needs the bear then it sees the mouse. If something is rough then it eats the bear. If the mouse does not see the bear and the mouse is not kind then the bear does not see the squirrel. If something eats the mouse then the mouse does not see the squirrel. If the bear sees the squirrel and the squirrel needs the bear then the bear eats the mouse.
The bear does not eat the bear.
@0: The bear does not see the squirrel.[(triple5)] The bear eats the mouse.[(triple1)] The bear is kind.[(triple2)] The bear needs the mouse.[(triple3)] The bear needs the squirrel.[(triple4)] The mouse is not young.[(triple6)] The mouse sees the bear.[(triple7)] The squirrel does not need the bear.[(triple13)] The squirrel does not need the mouse.[(triple14)] The squirrel eats the bear.[(triple8 OR ((triple10) -> rule3))] The squirrel eats the mouse.[(triple9)] The squirrel is rough.[(triple10)] The squirrel is round.[(triple11)] The squirrel is young.[(triple12)] The squirrel sees the bear.[(triple15)] @1: The mouse does not see the squirrel.[(((triple1) -> rule5) OR ((triple9) -> rule5))]