The bear is not cold. The bear is nice. The bear needs the cow. The bear sees the cow. The bear sees the squirrel. The cow is big. The cow does not see the bear. The lion needs the cow. The lion sees the bear. The lion sees the squirrel. The squirrel chases the bear. The squirrel chases the lion. The squirrel does not need the bear. The squirrel needs the cow. The squirrel sees the bear. If something chases the lion then it needs the lion. If something chases the lion then it sees the bear.
The squirrel sees the squirrel.
@0: The bear is nice.[(triple2)] The bear is not cold.[(triple1)] The bear needs the cow.[(triple3)] The bear sees the cow.[(triple4)] The bear sees the squirrel.[(triple5)] The cow does not see the bear.[(triple7)] The cow is big.[(triple6)] The lion needs the cow.[(triple8)] The lion sees the bear.[(triple9)] The lion sees the squirrel.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel chases the lion.[(triple12)] The squirrel does not need the bear.[(triple13)] The squirrel needs the cow.[(triple14)] The squirrel sees the bear.[(triple15 OR ((triple12) -> rule2))] @1: The squirrel needs the lion.[(((triple12) -> rule1))]