The bald eagle needs the lion. The lion is young. The lion needs the bald eagle. If the bald eagle eats the lion and the bald eagle is not young then the bald eagle is cold. If the bald eagle eats the lion and the bald eagle is not rough then the lion needs the bald eagle. If someone eats the lion then the lion needs the bald eagle. If someone is cold then they do not need the lion. If someone is kind then they do not chase the lion. If someone eats the lion and the lion eats the bald eagle then the bald eagle eats the lion. If someone needs the lion then they are kind. If the lion is rough then the lion is kind.
The bald eagle does not eat the lion.
@0: The bald eagle needs the lion.[(triple1)] The lion is young.[(triple2)] The lion needs the bald eagle.[(triple3)] @1: The bald eagle is kind.[(((triple1) -> rule7))] @2: The bald eagle does not chase the lion.[(((((triple1) -> rule7)) -> rule5))]