The bear does not eat the squirrel. The bear is cold. The bear is not red. The bear is rough. The bear sees the squirrel. The squirrel eats the bear. The squirrel is not cold. The squirrel is not green. The squirrel is not kind. The squirrel is rough. The squirrel likes the bear. The squirrel sees the bear. If the bear eats the squirrel then the squirrel does not see the bear. If the squirrel sees the bear then the bear likes the squirrel.
The squirrel is not red.
@0: The bear does not eat the squirrel.[(triple1)] The bear is cold.[(triple2)] The bear is not red.[(triple3)] The bear is rough.[(triple4)] The bear sees the squirrel.[(triple5)] The squirrel eats the bear.[(triple6)] The squirrel is not cold.[(triple7)] The squirrel is not green.[(triple8)] The squirrel is not kind.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the bear.[(triple11)] The squirrel sees the bear.[(triple12)] @1: The bear likes the squirrel.[(((triple12) -> rule2))]