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