The cow chases the dog. The cow is blue. The cow is not cold. The cow is nice. The cow is round. The cow is young. The cow likes the dog. The cow visits the dog. The dog chases the cow. The dog is blue. The dog is cold. The dog is not nice. The dog is round. The dog is not young. The dog likes the cow. The dog does not visit the cow. If the dog likes the cow and the dog does not visit the cow then the cow visits the dog. If someone likes the cow then the cow chases the dog. If the cow is round then the cow is young. If someone likes the dog then the dog chases the cow. If someone is young and they visit the cow then the cow does not like the dog. If the cow does not chase the dog then the cow does not like the dog.
The dog does not like the dog.
@0: The cow chases the dog.[(triple1 OR ((triple15) -> rule2))] The cow is blue.[(triple2)] The cow is nice.[(triple4)] The cow is not cold.[(triple3)] The cow is round.[(triple5)] The cow is young.[(triple6 OR ((triple5) -> rule3))] The cow likes the dog.[(triple7)] The cow visits the dog.[(triple8 OR ((triple15 triple16) -> rule1))] The dog chases the cow.[(triple9 OR ((triple7) -> rule4))] The dog does not visit the cow.[(triple16)] The dog is blue.[(triple10)] The dog is cold.[(triple11)] The dog is not nice.[(triple12)] The dog is not young.[(triple14)] The dog is round.[(triple13)] The dog likes the cow.[(triple15)]