The bald eagle chases the cow. The bald eagle is cold. The bald eagle is not green. The bald eagle is nice. The bald eagle is red. The bald eagle is not young. The bald eagle needs the cow. The bald eagle sees the cow. The cow does not chase the bald eagle. The cow is cold. The cow is green. The cow is nice. The cow is red. The cow is young. The cow needs the bald eagle. The cow does not see the bald eagle. If something chases the cow then the cow needs the bald eagle. If something needs the cow then the cow needs the bald eagle. If something needs the cow and the cow is green then it is not young. If something sees the bald eagle and it is not green then it does not need the bald eagle. If the bald eagle chases the cow and the bald eagle does not need the cow then the cow sees the bald eagle. If something chases the bald eagle and it does not need the bald eagle then it is not nice.
The cow is red.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple4)] The bald eagle is not green.[(triple3)] The bald eagle is not young.[(triple6 OR ((triple7 triple11) -> rule3))] The bald eagle is red.[(triple5)] The bald eagle needs the cow.[(triple7)] The bald eagle sees the cow.[(triple8)] The cow does not chase the bald eagle.[(triple9)] The cow does not see the bald eagle.[(triple16)] The cow is cold.[(triple10)] The cow is green.[(triple11)] The cow is nice.[(triple12)] The cow is red.[(triple13)] The cow is young.[(triple14)] The cow needs the bald eagle.[(triple15 OR ((triple1) -> rule1) OR ((triple7) -> rule2))]