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 rough. The bald eagle is young. 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 rough. The cow needs the bald eagle. The cow sees the bald eagle. If the bald eagle needs the cow then the bald eagle eats the cow. If someone needs the cow and the cow sees the bald eagle then they are young.
The bald eagle is cold.
@0: The bald eagle eats the cow.[(triple1 OR ((triple7) -> rule1))] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is young.[(triple6 OR ((triple7 triple15) -> rule2))] The bald eagle needs the cow.[(triple7)] The bald eagle sees the cow.[(triple8)] The cow eats the bald eagle.[(triple9)] The cow is cold.[(triple10)] The cow is green.[(triple11)] The cow is kind.[(triple12)] The cow is rough.[(triple13)] The cow needs the bald eagle.[(triple14)] The cow sees the bald eagle.[(triple15)]