The bald eagle does not eat the cow. The bald eagle is green. The bald eagle is kind. The bald eagle is young. The bald eagle likes the cow. The bald eagle does not visit the cow. The cow does not eat the bald eagle. The cow is not green. The cow is not kind. The cow is nice. The cow is red. The cow does not like the bald eagle. If the bald eagle is nice then the bald eagle visits the cow. If the bald eagle likes the cow and the bald eagle is kind then the bald eagle does not visit the cow. If the bald eagle likes the cow and the bald eagle visits the cow then the bald eagle is kind. If something likes the cow and the cow is not red then it is green. If something eats the cow and it is not green then the cow likes the bald eagle. If the cow visits the bald eagle and the cow does not like the bald eagle then the cow eats the bald eagle. If the bald eagle eats the cow then the cow eats the bald eagle. If the cow likes the bald eagle and the cow does not eat the bald eagle then the cow is young.
The cow is not young.
@0: The bald eagle does not eat the cow.[(triple1)] The bald eagle does not visit the cow.[(triple6 OR ((triple5 triple3) -> rule2))] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the cow.[(triple5)] The cow does not eat the bald eagle.[(triple7)] The cow does not like the bald eagle.[(triple12)] The cow is nice.[(triple10)] The cow is not green.[(triple8)] The cow is not kind.[(triple9)] The cow is red.[(triple11)]