The cow chases the dog. The cow is blue. The cow is green. The cow is round. The cow needs the dog. The cow sees the dog. The dog chases the cow. The dog is round. The dog needs the cow. The dog sees the cow. If someone is green and they chase the dog then the dog is cold. If someone chases the dog and the dog chases the cow then the cow chases the dog. If someone needs the cow then they are round. If someone is cold then they see the dog. If the cow chases the dog then the dog is green. If someone needs the cow then the cow is round.
The cow does not need the cow.
@0: The cow chases the dog.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is round.[(triple4 OR ((triple9) -> rule6))] The cow needs the dog.[(triple5)] The cow sees the dog.[(triple6)] The dog chases the cow.[(triple7)] The dog is round.[(triple8 OR ((triple9) -> rule3))] The dog needs the cow.[(triple9)] The dog sees the cow.[(triple10)] @1: The dog is cold.[(((triple3 triple1) -> rule1))] The dog is green.[(((triple1) -> rule5))] @2: The dog sees the dog.[(((((triple3 triple1) -> rule1)) -> rule4))]