The bear chases the squirrel. The bear needs the dog. The cow needs the squirrel. The dog chases the cow. The dog chases the squirrel. The dog sees the cow. The squirrel needs the bear. If something chases the cow then it sees the squirrel. If the bear chases the squirrel and the squirrel sees the bear then the squirrel is cold.
The dog does not see the squirrel.
@0: The bear chases the squirrel.[(triple1)] The bear needs the dog.[(triple2)] The cow needs the squirrel.[(triple3)] The dog chases the cow.[(triple4)] The dog chases the squirrel.[(triple5)] The dog sees the cow.[(triple6)] The squirrel needs the bear.[(triple7)] @1: The dog sees the squirrel.[(((triple4) -> rule1))]