The bald eagle is nice. The bear sees the bald eagle. The lion is round. If something sees the bald eagle and the bald eagle is round then the bald eagle sees the bear. All blue things are not red. If the lion is round then the lion needs the bald eagle.
The lion is not round.
@0: The bald eagle is nice.[(triple1)] The bear sees the bald eagle.[(triple2)] The lion is round.[(triple3)] @1: The lion needs the bald eagle.[(((triple3) -> rule3))]