The bear chases the tiger. The bear needs the dog. The bear sees the squirrel. The dog is cold. The dog needs the bear. The dog sees the bear. The dog sees the squirrel. The squirrel chases the bear. The squirrel is blue. The squirrel is cold. The squirrel is rough. The squirrel needs the bear. The squirrel needs the dog. The squirrel needs the tiger. The squirrel sees the bear. The tiger sees the squirrel. If the squirrel is cold and the squirrel chases the tiger then the squirrel is rough. If someone needs the tiger then they see the dog. If someone is rough and cold then they chase the bear.
The dog is cold.
@0: The bear chases the tiger.[(triple1)] The bear needs the dog.[(triple2)] The bear sees the squirrel.[(triple3)] The dog is cold.[(triple4)] The dog needs the bear.[(triple5)] The dog sees the bear.[(triple6)] The dog sees the squirrel.[(triple7)] The squirrel chases the bear.[(triple8 OR ((triple11 triple10) -> rule3))] The squirrel is blue.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is rough.[(triple11)] The squirrel needs the bear.[(triple12)] The squirrel needs the dog.[(triple13)] The squirrel needs the tiger.[(triple14)] The squirrel sees the bear.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The squirrel sees the dog.[(((triple14) -> rule2))]