The bald eagle eats the cow. The bald eagle needs the cow. The bear eats the cow. The bear is blue. The bear needs the bald eagle. The bear visits the cow. The cow is big. The cow is blue. The cow needs the bald eagle. The cow visits the bald eagle. If something needs the bear then the bear is big. If the bear visits the cow and the bear eats the bald eagle then the cow eats the bear. If something needs the cow then it needs the bald eagle.
The bald eagle needs the bald eagle.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle needs the cow.[(triple2)] The bear eats the cow.[(triple3)] The bear is blue.[(triple4)] The bear needs the bald eagle.[(triple5)] The bear visits the cow.[(triple6)] The cow is big.[(triple7)] The cow is blue.[(triple8)] The cow needs the bald eagle.[(triple9)] The cow visits the bald eagle.[(triple10)] @1: The bald eagle needs the bald eagle.[(((triple2) -> rule3))]