The bald eagle eats the cow. The bald eagle is blue. The bald eagle is nice. The bald eagle is not rough. The bald eagle does not need the cow. The bald eagle does not see the cow. The cow eats the bald eagle. The cow is blue. The cow is kind. The cow is nice. The cow needs the bald eagle. The cow sees the bald eagle. If something sees the cow and it eats the bald eagle then the cow sees the bald eagle. If the cow does not eat the bald eagle then the cow is nice. If something eats the bald eagle then it needs the bald eagle. If something eats the bald eagle and the bald eagle does not need the cow then the bald eagle is blue. If the bald eagle needs the cow and the cow eats the bald eagle then the bald eagle sees the cow. If the cow does not need the bald eagle then the bald eagle eats the cow.
The bald eagle does not need the bald eagle.
@0: The bald eagle does not need the cow.[(triple5)] The bald eagle does not see the cow.[(triple6)] The bald eagle eats the cow.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple7 triple5) -> rule4))] The bald eagle is nice.[(triple3)] The bald eagle is not rough.[(triple4)] The cow eats the bald eagle.[(triple7)] The cow is blue.[(triple8)] The cow is kind.[(triple9)] The cow is nice.[(triple10)] The cow needs the bald eagle.[(triple11 OR ((triple7) -> rule3))] The cow sees the bald eagle.[(triple12)]