The cow sees the dog. The dog sees the cow. If someone visits the dog then the dog chases the cow. If someone visits the cow and they chase the cow then they visit the dog. If someone is round and they chase the cow then they do not visit the dog. If someone is blue then they do not see the dog. If someone sees the dog then the dog is cold. If someone sees the dog then the dog visits the cow. If someone visits the dog and the dog chases the cow then they are not blue. If the cow visits the dog and the cow does not see the dog then the cow is not big.
The dog sees the cow.
@0: The cow sees the dog.[(triple1)] The dog sees the cow.[(triple2)] @1: The dog is cold.[(((triple1) -> rule5))] The dog visits the cow.[(((triple1) -> rule6))]