The bear does not chase the squirrel. The bear eats the squirrel. The bear is cold. The bear is not kind. The bear is nice. The bear is red. The bear sees the squirrel. The squirrel chases the bear. The squirrel eats the bear. The squirrel is not cold. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel sees the bear. If the squirrel eats the bear and the squirrel is red then the bear is red. If something eats the bear then the bear eats the squirrel. If something eats the squirrel then it is not rough. If something eats the bear and the bear eats the squirrel then it sees the bear. If something is rough and it eats the bear then it is red. If the squirrel does not see the bear then the squirrel is kind. If something sees the squirrel and it chases the bear then it chases the squirrel. If something is nice and it does not eat the squirrel then it chases the squirrel.
The bear does not see the bear.
@0: The bear does not chase the squirrel.[(triple1)] The bear eats the squirrel.[(triple2 OR ((triple9) -> rule2))] The bear is cold.[(triple3)] The bear is nice.[(triple5)] The bear is not kind.[(triple4)] The bear is red.[(triple6 OR ((triple9 triple13) -> rule1) OR ((triple9 ((triple14 triple9) -> rule5)) -> rule1))] The bear sees the squirrel.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel eats the bear.[(triple9)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is not cold.[(triple10)] The squirrel is red.[(triple13 OR ((triple14 triple9) -> rule5))] The squirrel is rough.[(triple14)] The squirrel sees the bear.[(triple15 OR ((triple9 triple2) -> rule4) OR ((triple9 ((triple9) -> rule2)) -> rule4))] @1: The bear is not rough.[(((triple2) -> rule3) OR ((((triple9) -> rule2)) -> rule3))]