The cow sees the dog. The dog chases the cow. The dog is green. If someone chases the dog then the dog does not visit the cow. If someone is green then they chase the dog. If someone chases the dog then the dog is rough. If someone sees the dog and the dog is cold then they visit the cow. If someone is nice and they do not chase the dog then the dog is nice. If someone sees the cow then they are cold. If someone sees the dog then the dog sees the cow. If someone sees the cow and they do not chase the dog then the dog does not see the cow.
The cow does not see the cow.
@0: The cow sees the dog.[(triple1)] The dog chases the cow.[(triple2)] The dog is green.[(triple3)] @1: The dog chases the dog.[(((triple3) -> rule2))] The dog sees the cow.[(((triple1) -> rule7))] @2: The dog does not visit the cow.[(((((triple3) -> rule2)) -> rule1))] The dog is cold.[(((((triple1) -> rule7)) -> rule6))] The dog is rough.[(((((triple3) -> rule2)) -> rule3))] @3: The cow visits the cow.[(((triple1 ((((triple1) -> rule7)) -> rule6)) -> rule4))]