The bald eagle eats the lion. The bald eagle does not need the lion. The lion eats the bald eagle. The lion is green. The lion is kind. The lion is rough. The lion is round. The lion is young. The lion needs the bald eagle. The lion visits the bald eagle. If someone eats the lion and the lion eats the bald eagle then the bald eagle visits the lion. All rough people are round.
The bald eagle is not round.
@0: The bald eagle does not need the lion.[(triple2)] The bald eagle eats the lion.[(triple1)] The lion eats the bald eagle.[(triple3)] The lion is green.[(triple4)] The lion is kind.[(triple5)] The lion is rough.[(triple6)] The lion is round.[(triple7 OR ((triple6) -> rule2))] The lion is young.[(triple8)] The lion needs the bald eagle.[(triple9)] The lion visits the bald eagle.[(triple10)] @1: The bald eagle visits the lion.[(((triple1 triple3) -> rule1))]