The bald eagle chases the cow. The bald eagle does not chase the dog. The bald eagle chases the squirrel. The bald eagle does not eat the squirrel. The bald eagle visits the cow. The bald eagle does not visit the squirrel. The cow does not chase the dog. The cow chases the squirrel. The cow visits the bald eagle. The cow visits the squirrel. The dog chases the bald eagle. The dog chases the cow. The dog eats the squirrel. The dog visits the squirrel. The squirrel is rough. The squirrel does not visit the cow. If someone chases the bald eagle and the bald eagle is young then the bald eagle is green. If someone is red and they do not chase the dog then they visit the dog. If someone is rough then they chase the cow. If someone visits the cow and they are blue then they do not eat the cow. If someone eats the cow then the cow is not green. If someone visits the bald eagle then they do not eat the dog.
The bald eagle does not visit the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the squirrel.[(triple3)] The bald eagle does not chase the dog.[(triple2)] The bald eagle does not eat the squirrel.[(triple4)] The bald eagle does not visit the squirrel.[(triple6)] The bald eagle visits the cow.[(triple5)] The cow chases the squirrel.[(triple8)] The cow does not chase the dog.[(triple7)] The cow visits the bald eagle.[(triple9)] The cow visits the squirrel.[(triple10)] The dog chases the bald eagle.[(triple11)] The dog chases the cow.[(triple12)] The dog eats the squirrel.[(triple13)] The dog visits the squirrel.[(triple14)] The squirrel does not visit the cow.[(triple16)] The squirrel is rough.[(triple15)] @1: The cow does not eat the dog.[(((triple9) -> rule6))] The squirrel chases the cow.[(((triple15) -> rule3))]