The bald eagle eats the lion. The bear needs the bald eagle. The cow does not chase the bear. The lion eats the bear. If something eats the bear then it is blue. If the bald eagle does not chase the bear then the bald eagle needs the bear. If the bear chases the bald eagle and the bear eats the cow then the bald eagle does not need the bear. If something chases the bear then the bear needs the bald eagle. If something is green then it is nice. If something needs the bear then it eats the cow. If something chases the lion and the lion chases the bald eagle then the lion is not green. If the lion needs the bald eagle and the lion is not green then the lion is blue.
The bald eagle is not blue.
@0: The bald eagle eats the lion.[(triple1)] The bear needs the bald eagle.[(triple2)] The cow does not chase the bear.[(triple3)] The lion eats the bear.[(triple4)] @1: The lion is blue.[(((triple4) -> rule1))]