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 not red. The bald eagle is young. The bald eagle likes 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 likes the bald eagle. The cow sees the bald eagle. If someone likes the cow then they are cold.
The bald eagle is green.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple7) -> rule1))] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is not red.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle likes 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 red.[(triple13)] The cow is young.[(triple14)] The cow likes the bald eagle.[(triple15)] The cow sees the bald eagle.[(triple16)]