The bald eagle needs the lion. The dog is green. The lion is rough. If something needs the dog then it is nice. If something eats the lion then it eats the dog. If something is rough and nice then it eats the dog. If something needs the lion then the lion is nice. If something is cold and rough then it chases the bald eagle. If the lion eats the bald eagle then the lion does not chase the dog. If the lion eats the dog and the lion needs the dog then the lion does not chase the bald eagle. If something eats the dog then it does not need the bald eagle.
The lion does not eat the lion.
@0: The bald eagle needs the lion.[(triple1)] The dog is green.[(triple2)] The lion is rough.[(triple3)] @1: The lion is nice.[(((triple1) -> rule4))] @2: The lion eats the dog.[(((triple3 ((triple1) -> rule4)) -> rule3))] @3: The lion does not need the bald eagle.[(((((triple3 ((triple1) -> rule4)) -> rule3)) -> rule8))]