The bald eagle does not chase the cow. The bald eagle does not chase the dog. The bald eagle is not big. The bald eagle is nice. The bald eagle is red. The bald eagle is young. The bald eagle visits the cow. The bear eats the cow. The bear is not nice. The bear visits the dog. The cow does not chase the bear. The cow eats the bald eagle. The cow is young. The cow does not visit the bear. The dog chases the bear. The dog visits the bear. If something is young and it visits the bald eagle then it visits the cow. If the cow is young then the cow does not chase the bald eagle.
The bald eagle visits the cow.
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle does not chase the dog.[(triple2)] The bald eagle is nice.[(triple4)] The bald eagle is not big.[(triple3)] The bald eagle is red.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle visits the cow.[(triple7)] The bear eats the cow.[(triple8)] The bear is not nice.[(triple9)] The bear visits the dog.[(triple10)] The cow does not chase the bear.[(triple11)] The cow does not visit the bear.[(triple14)] The cow eats the bald eagle.[(triple12)] The cow is young.[(triple13)] The dog chases the bear.[(triple15)] The dog visits the bear.[(triple16)] @1: The cow does not chase the bald eagle.[(((triple13) -> rule2))]