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