The bald eagle eats the bear. The bald eagle is red. The bald eagle is round. The bald eagle likes the bear. The bear eats the bald eagle. The bear is big. The bear is red. The bear is round. The bear likes the bald eagle. The bear needs the bald eagle. If something needs the bear and the bear eats the bald eagle then it needs the bald eagle. If something needs the bear then it likes the bear. If something is big then it needs the bear.
The bear does not eat the bald eagle.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the bear.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is big.[(triple6)] The bear is red.[(triple7)] The bear is round.[(triple8)] The bear likes the bald eagle.[(triple9)] The bear needs the bald eagle.[(triple10 OR ((((triple6) -> rule3) triple5) -> rule1))] @1: The bear needs the bear.[(((triple6) -> rule3))] @2: The bear likes the bear.[(((((triple6) -> rule3)) -> rule2))]