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