The bald eagle does not need the rabbit. The bald eagle does not see the lion. The lion eats the rabbit. The lion is red. The lion sees the bald eagle. The rabbit eats the bald eagle. The rabbit sees the lion. If the rabbit eats the lion then the lion needs the bald eagle. If something needs the rabbit and it eats the lion then the rabbit sees the bald eagle. If something eats the rabbit then it is blue. If something is cold and it needs the rabbit then it does not eat the lion. If something sees the rabbit and it is not blue then it needs the lion. If something needs the lion and it does not see the rabbit then the rabbit eats the bald eagle.
The rabbit does not need the lion.
@0: The bald eagle does not need the rabbit.[(triple1)] The bald eagle does not see the lion.[(triple2)] The lion eats the rabbit.[(triple3)] The lion is red.[(triple4)] The lion sees the bald eagle.[(triple5)] The rabbit eats the bald eagle.[(triple6)] The rabbit sees the lion.[(triple7)] @1: The lion is blue.[(((triple3) -> rule3))]