The bald eagle eats the lion. The bald eagle needs the bear. The bear is not round. The bear needs the lion. The lion likes the bald eagle. The lion likes the bear. The lion needs the bear. If the lion does not eat the bald eagle then the bald eagle is cold. If something needs the lion then it likes the lion. If something likes the lion then it is not blue.
The bald eagle does not like the bald eagle.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle needs the bear.[(triple2)] The bear is not round.[(triple3)] The bear needs the lion.[(triple4)] The lion likes the bald eagle.[(triple5)] The lion likes the bear.[(triple6)] The lion needs the bear.[(triple7)] @1: The bear likes the lion.[(((triple4) -> rule2))] @2: The bear is not blue.[(((((triple4) -> rule2)) -> rule3))]