The bald eagle chases the lion. The bald eagle is young. The bald eagle likes the lion. The bald eagle needs the lion. The lion chases the bald eagle. The lion is kind. The lion is nice. The lion is young. The lion likes the bald eagle. The lion needs the bald eagle. If someone is nice and rough then they are green. If the lion is kind then the lion likes the bald eagle. If the lion chases the bald eagle and the lion likes the bald eagle then the lion is nice. If someone chases the lion and they are nice then the lion likes the bald eagle. If someone is kind then they need the lion. If someone likes the bald eagle and they are green then the bald eagle is rough.
The lion is not green.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle needs the lion.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion is kind.[(triple6)] The lion is nice.[(triple7 OR ((triple5 triple9) -> rule3) OR ((triple5 ((triple6) -> rule2)) -> rule3))] The lion is young.[(triple8)] The lion likes the bald eagle.[(triple9 OR ((triple6) -> rule2))] The lion needs the bald eagle.[(triple10)] @1: The lion needs the lion.[(((triple6) -> rule5))]