The bald eagle eats the cow. The bald eagle is not green. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle sees the cow. The bald eagle visits the cow. The cow eats the bald eagle. The cow is not green. The cow is kind. The cow is not red. The cow is rough. The cow is round. The cow sees the bald eagle. The cow does not visit the bald eagle. If the cow sees the bald eagle and the cow visits the bald eagle then the bald eagle is red. If someone is kind then they eat the bald eagle. If someone sees the cow and they see the bald eagle then the bald eagle does not eat the cow.
The cow sees the cow.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is kind.[(triple3)] The bald eagle is not green.[(triple2)] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle sees the cow.[(triple7)] The bald eagle visits the cow.[(triple8)] The cow does not visit the bald eagle.[(triple16)] The cow eats the bald eagle.[(triple9 OR ((triple11) -> rule2))] The cow is kind.[(triple11)] The cow is not green.[(triple10)] The cow is not red.[(triple12)] The cow is rough.[(triple13)] The cow is round.[(triple14)] The cow sees the bald eagle.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple3) -> rule2))]