The cow chases the dog. The cow is green. The cow visits the dog. The dog chases the cow. The dog is rough. The dog sees the cow. The dog visits the cow. If someone chases the dog then they are cold. If someone chases the dog then the dog visits the cow. If someone sees the dog and they are not young then they chase the dog. If someone chases the cow then they see the cow. If someone chases the cow then they see the cow. If someone is young and they see the cow then they visit the dog. If someone visits the dog and the dog is not big then the dog does not chase the cow. If the dog is not cold then the dog sees the cow.
The cow is not cold.
@0: The cow chases the dog.[(triple1)] The cow is green.[(triple2)] The cow visits the dog.[(triple3)] The dog chases the cow.[(triple4)] The dog is rough.[(triple5)] The dog sees the cow.[(triple6 OR ((triple4) -> rule4) OR ((triple4) -> rule5))] The dog visits the cow.[(triple7 OR ((triple1) -> rule2))] @1: The cow is cold.[(((triple1) -> rule1))]