The bald eagle chases the cow. The cat does not chase the bald eagle. The cat is cold. The cat visits the bald eagle. The cat visits the dog. The cow chases the bald eagle. The cow chases the cat. The cow is cold. The cow visits the cat. The dog does not chase the cat. The dog chases the cow. The dog is blue. The dog is green. The dog is rough. The dog likes the bald eagle. If someone visits the cat then the cat visits the dog. If someone visits the cat and the cat does not like the cow then the cat likes the bald eagle. If the dog visits the bald eagle and the dog is not green then the dog visits the cow.
The dog does not visit the cow.
@0: The bald eagle chases the cow.[(triple1)] The cat does not chase the bald eagle.[(triple2)] The cat is cold.[(triple3)] The cat visits the bald eagle.[(triple4)] The cat visits the dog.[(triple5 OR ((triple9) -> rule1))] The cow chases the bald eagle.[(triple6)] The cow chases the cat.[(triple7)] The cow is cold.[(triple8)] The cow visits the cat.[(triple9)] The dog chases the cow.[(triple11)] The dog does not chase the cat.[(triple10)] The dog is blue.[(triple12)] The dog is green.[(triple13)] The dog is rough.[(triple14)] The dog likes the bald eagle.[(triple15)]