The bear chases the squirrel. The bear is not blue. The bear is cold. The bear is red. The bear is rough. The bear does not need the squirrel. The bear sees the squirrel. The squirrel chases the bear. The squirrel is not blue. The squirrel needs the bear. If someone chases the bear and the bear needs the squirrel then the squirrel needs the bear. If someone sees the squirrel then the squirrel is not young.
The squirrel is not red.
@0: The bear chases the squirrel.[(triple1)] The bear does not need the squirrel.[(triple6)] The bear is cold.[(triple3)] The bear is not blue.[(triple2)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear sees the squirrel.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel is not blue.[(triple9)] The squirrel needs the bear.[(triple10)] @1: The squirrel is not young.[(((triple7) -> rule2))]