The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is round. The bald eagle is young. The bald eagle likes the cow. The bald eagle sees the cow. The bald eagle does not visit the cow. The cow is cold. The cow is green. The cow is nice. The cow is round. The cow is young. The cow does not like the bald eagle. The cow sees the bald eagle. The cow visits the bald eagle. If someone visits the bald eagle and they are not green then they are cold. If someone visits the bald eagle then they see the cow.
The cow visits the bald eagle.
@0: The bald eagle does not visit the cow.[(triple8)] The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the cow.[(triple6)] The bald eagle sees the cow.[(triple7)] The cow does not like the bald eagle.[(triple14)] The cow is cold.[(triple9)] The cow is green.[(triple10)] The cow is nice.[(triple11)] The cow is round.[(triple12)] The cow is young.[(triple13)] The cow sees the bald eagle.[(triple15)] The cow visits the bald eagle.[(triple16)] @1: The cow sees the cow.[(((triple16) -> rule2))]