The dog chases the squirrel. The dog is not red. The squirrel chases the dog. The squirrel is green. The squirrel is nice. The squirrel does not like the dog. The squirrel sees the dog. If something sees the dog and it sees the squirrel then the dog is cold. If something is green then it sees the squirrel.
The dog does not see the squirrel.
@0: The dog chases the squirrel.[(triple1)] The dog is not red.[(triple2)] The squirrel chases the dog.[(triple3)] The squirrel does not like the dog.[(triple6)] The squirrel is green.[(triple4)] The squirrel is nice.[(triple5)] The squirrel sees the dog.[(triple7)] @1: The squirrel sees the squirrel.[(((triple4) -> rule2))] @2: The dog is cold.[(((triple7 ((triple4) -> rule2)) -> rule1))]