The bald eagle eats the cow. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle needs the cow. The bald eagle sees the cow. The cow eats the bald eagle. The cow is cold. The cow is green. The cow is kind. The cow is red. The cow is young. The cow needs the bald eagle. The cow sees the bald eagle. If the bald eagle needs the cow then the cow sees the bald eagle. If the bald eagle eats the cow then the bald eagle sees the cow. If someone sees the bald eagle then the bald eagle is cold.
The cow is not young.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple15) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle needs the cow.[(triple6)] The bald eagle sees the cow.[(triple7 OR ((triple1) -> rule2))] The cow eats the bald eagle.[(triple8)] The cow is cold.[(triple9)] The cow is green.[(triple10)] The cow is kind.[(triple11)] The cow is red.[(triple12)] The cow is young.[(triple13)] The cow needs the bald eagle.[(triple14)] The cow sees the bald eagle.[(triple15 OR ((triple6) -> rule1))]