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