The bear is red. The bear needs the mouse. The bear needs the squirrel. The bear sees the rabbit. The mouse is rough. The mouse is round. The mouse does not need the bear. The rabbit is not rough. The squirrel eats the mouse. The squirrel is rough. The squirrel is round. The squirrel is young. If something is green and it needs the mouse then it is rough. If something sees the squirrel and it eats the bear then the squirrel is young. If something eats the rabbit and the rabbit does not eat the squirrel then it sees the rabbit. If something sees the rabbit and it does not see the bear then the bear is red. If something is rough and it does not need the bear then the bear is green. If something is rough then it eats the bear.
The rabbit does not see the rabbit.
@0: The bear is red.[(triple1)] The bear needs the mouse.[(triple2)] The bear needs the squirrel.[(triple3)] The bear sees the rabbit.[(triple4)] The mouse does not need the bear.[(triple7)] The mouse is rough.[(triple5)] The mouse is round.[(triple6)] The rabbit is not rough.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is rough.[(triple10)] The squirrel is round.[(triple11)] The squirrel is young.[(triple12)] @1: The bear is green.[(((triple5 triple7) -> rule5))] The mouse eats the bear.[(((triple5) -> rule6))] The squirrel eats the bear.[(((triple10) -> rule6))] @2: The bear is rough.[(((((triple5 triple7) -> rule5) triple2) -> rule1))] @3: The bear eats the bear.[(((((((triple5 triple7) -> rule5) triple2) -> rule1)) -> rule6))]