The bald eagle eats the lion. The bald eagle is green. The bald eagle needs the lion. The bald eagle visits the lion. The lion eats the bald eagle. The lion is nice. The lion does not need the bald eagle. If someone needs the lion then the lion is rough. If someone is rough then they eat the lion. If someone needs the bald eagle and they do not visit the bald eagle then the bald eagle does not visit the lion.
The bald eagle is rough.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle visits the lion.[(triple4)] The lion does not need the bald eagle.[(triple7)] The lion eats the bald eagle.[(triple5)] The lion is nice.[(triple6)] @1: The lion is rough.[(((triple3) -> rule1))] @2: The lion eats the lion.[(((((triple3) -> rule1)) -> rule2))]