The bald eagle eats the lion. The bald eagle is kind. The bald eagle is rough. The bald eagle needs the lion. The bald eagle sees the lion. The lion eats the bald eagle. The lion is big. The lion is nice. The lion is rough. The lion is young. The lion needs the bald eagle. The lion sees the bald eagle. If something needs the lion and it does not see the bald eagle then it is young. If something needs the bald eagle then it needs the lion.
The bald eagle does not eat the bald eagle.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle needs the lion.[(triple4)] The bald eagle sees the lion.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion is big.[(triple7)] The lion is nice.[(triple8)] The lion is rough.[(triple9)] The lion is young.[(triple10)] The lion needs the bald eagle.[(triple11)] The lion sees the bald eagle.[(triple12)] @1: The lion needs the lion.[(((triple11) -> rule2))]