The bear is cold. The bear is nice. The bear likes the squirrel. The dog is cold. The dog is red. The dog needs the bear. The dog sees the bear. The squirrel is green. The squirrel is red. The squirrel likes the dog. The squirrel needs the bear. The squirrel sees the bear. If the squirrel is red then the squirrel is nice.
The bear needs the dog.
@0: The bear is cold.[(triple1)] The bear is nice.[(triple2)] The bear likes the squirrel.[(triple3)] The dog is cold.[(triple4)] The dog is red.[(triple5)] The dog needs the bear.[(triple6)] The dog sees the bear.[(triple7)] The squirrel is green.[(triple8)] The squirrel is red.[(triple9)] The squirrel likes the dog.[(triple10)] The squirrel needs the bear.[(triple11)] The squirrel sees the bear.[(triple12)] @1: The squirrel is nice.[(((triple9) -> rule1))]