The bald eagle eats the cow. The bald eagle is green. The bald eagle is kind. 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 cow eats the bald eagle. The cow is green. The cow is nice. The cow is round. The cow is young. The cow likes the bald eagle. The cow sees the bald eagle. If someone eats the bald eagle then they eat the cow.
The cow does not see the bald eagle.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is round.[(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 green.[(triple10)] The cow is nice.[(triple11)] The cow is round.[(triple12)] The cow is young.[(triple13)] The cow likes the bald eagle.[(triple14)] The cow sees the bald eagle.[(triple15)] @1: The cow eats the cow.[(((triple9) -> rule1))]