The cow does not chase the dog. The cow is blue. The cow is green. The cow is nice. The cow is red. The cow is not young. The cow likes the dog. The cow sees the dog. The dog chases the cow. The dog is blue. The dog is green. The dog is not nice. The dog is red. The dog is young. The dog likes the cow. The dog does not see the cow. If someone chases the dog and they chase the cow then the dog is not blue. If the cow likes the dog and the dog does not chase the cow then the cow does not chase the dog. If the dog chases the cow and the dog is not young then the dog does not see the cow. If someone is green then they do not see the cow. If someone chases the dog then the dog is not red. If someone sees the cow then they chase the dog.
The dog likes the cow.
@0: The cow does not chase the dog.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is nice.[(triple4)] The cow is not young.[(triple6)] The cow is red.[(triple5)] The cow likes the dog.[(triple7)] The cow sees the dog.[(triple8)] The dog chases the cow.[(triple9)] The dog does not see the cow.[(triple16 OR ((triple11) -> rule4))] The dog is blue.[(triple10)] The dog is green.[(triple11)] The dog is not nice.[(triple12)] The dog is red.[(triple13)] The dog is young.[(triple14)] The dog likes the cow.[(triple15)] @1: The cow does not see the cow.[(((triple3) -> rule4))]