The bald eagle is rough. The bald eagle is not young. The bald eagle does not like the lion. The lion likes the tiger. The lion needs the bald eagle. The tiger is rough. The tiger likes the bald eagle. If someone is young and they do not need the bald eagle then they are blue. If someone needs the bald eagle and the bald eagle is young then they are blue. If someone likes the lion and the lion needs the bald eagle then the lion needs the tiger. If someone needs the tiger then they do not like the bald eagle. If someone likes the tiger then the tiger likes the lion. If someone needs the bald eagle and the bald eagle likes the lion then they do not like the lion.
The lion does not like the bald eagle.
@0: The bald eagle does not like the lion.[(triple3)] The bald eagle is not young.[(triple2)] The bald eagle is rough.[(triple1)] The lion likes the tiger.[(triple4)] The lion needs the bald eagle.[(triple5)] The tiger is rough.[(triple6)] The tiger likes the bald eagle.[(triple7)] @1: The tiger likes the lion.[(((triple4) -> rule5))] @2: The lion needs the tiger.[(((((triple4) -> rule5) triple5) -> rule3))] @3: The lion does not like the bald eagle.[(((((((triple4) -> rule5) triple5) -> rule3)) -> rule4))]