The cow chases the dog. The dog chases the cow. The dog is cold. The dog is kind. The dog is rough. The dog likes the cow. The dog sees the cow. If something chases the dog and it sees the dog then it is green. If something sees the cow then it sees the dog. If something sees the dog and the dog likes the cow then the cow sees the dog.
The dog does not see the dog.
@0: The cow chases the dog.[(triple1)] The dog chases the cow.[(triple2)] The dog is cold.[(triple3)] The dog is kind.[(triple4)] The dog is rough.[(triple5)] The dog likes the cow.[(triple6)] The dog sees the cow.[(triple7)] @1: The dog sees the dog.[(((triple7) -> rule2))] @2: The cow sees the dog.[(((((triple7) -> rule2) triple6) -> rule3))] @3: The cow is green.[(((triple1 ((((triple7) -> rule2) triple6) -> rule3)) -> rule1))]