The bear is not big. The bear is blue. The bear is nice. The bear is red. The bear is young. The bear likes the squirrel. The bear needs the squirrel. The bear sees the squirrel. The squirrel is big. The squirrel is blue. The squirrel is nice. The squirrel is not red. The squirrel is not young. The squirrel does not like the bear. The squirrel needs the bear. The squirrel sees the bear. If something sees the squirrel then the squirrel sees the bear. If the squirrel likes the bear and the squirrel is not red then the bear does not need the squirrel. If something is big then it likes the squirrel. If something sees the squirrel and the squirrel does not see the bear then the bear is red. If something is red and it sees the bear then it needs the bear. If something is red then it needs the bear.
The squirrel likes the squirrel.
@0: The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is not big.[(triple1)] The bear is red.[(triple4)] The bear is young.[(triple5)] The bear likes the squirrel.[(triple6)] The bear needs the squirrel.[(triple7)] The bear sees the squirrel.[(triple8)] The squirrel does not like the bear.[(triple14)] The squirrel is big.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is not red.[(triple12)] The squirrel is not young.[(triple13)] The squirrel needs the bear.[(triple15)] The squirrel sees the bear.[(triple16 OR ((triple8) -> rule1))] @1: The bear needs the bear.[(((triple4) -> rule6))] The squirrel likes the squirrel.[(((triple9) -> rule3))]