The bear does not eat the squirrel. The bear is big. The bear is cold. The bear is nice. The bear is not red. The bear is rough. The bear does not like the squirrel. The bear does not need the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel likes the bear. The squirrel needs the bear. If something needs the squirrel and the squirrel likes the bear then the bear is cold. If something is cold and it does not eat the bear then the bear is nice. If something eats the bear and it is big then it eats the squirrel. If something eats the bear then it needs the squirrel. Rough things are nice. If something eats the bear and the bear needs the squirrel then it is rough.
The bear does not need the bear.
@0: The bear does not eat the squirrel.[(triple1)] The bear does not like the squirrel.[(triple7)] The bear does not need the squirrel.[(triple8)] The bear is big.[(triple2)] The bear is cold.[(triple3 OR ((((triple9) -> rule4) triple15) -> rule1))] The bear is nice.[(triple4 OR ((triple6) -> rule5))] The bear is not red.[(triple5)] The bear is rough.[(triple6)] The squirrel eats the bear.[(triple9)] The squirrel is big.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is nice.[(triple12 OR ((triple14) -> rule5))] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14)] The squirrel likes the bear.[(triple15)] The squirrel needs the bear.[(triple16)] @1: The squirrel eats the squirrel.[(((triple9 triple10) -> rule3))] The squirrel needs the squirrel.[(((triple9) -> rule4))]