The bald eagle eats the lion. The bald eagle is blue. The bald eagle is kind. The bald eagle is nice. The bald eagle is round. The bald eagle is young. The bald eagle likes the lion. The bald eagle needs the lion. The lion eats the bald eagle. The lion is blue. The lion is kind. The lion is nice. The lion is round. The lion is young. The lion likes the bald eagle. The lion needs the bald eagle. If someone is round and they like the lion then they need the lion. If someone needs the bald eagle then they like the lion. If someone is nice and they need the bald eagle then the bald eagle is young. If someone likes the bald eagle and the bald eagle likes the lion then the lion is young. If someone eats the bald eagle then the bald eagle eats the lion. If the bald eagle needs the lion and the bald eagle likes the lion then the lion likes the bald eagle.
The bald eagle eats the lion.
@0: The bald eagle eats the lion.[(triple1 OR ((triple9) -> rule5))] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6 OR ((triple12 triple16) -> rule3))] The bald eagle likes the lion.[(triple7)] The bald eagle needs the lion.[(triple8 OR ((triple5 triple7) -> rule1))] The lion eats the bald eagle.[(triple9)] The lion is blue.[(triple10)] The lion is kind.[(triple11)] The lion is nice.[(triple12)] The lion is round.[(triple13)] The lion is young.[(triple14 OR ((triple15 triple7) -> rule4) OR ((((triple8 triple7) -> rule6) triple7) -> rule4) OR ((((((triple5 triple7) -> rule1) triple7) -> rule6) triple7) -> rule4))] The lion likes the bald eagle.[(triple15 OR ((triple8 triple7) -> rule6) OR ((((triple5 triple7) -> rule1) triple7) -> rule6))] The lion needs the bald eagle.[(triple16)] @1: The lion likes the lion.[(((triple16) -> rule2))] @2: The lion needs the lion.[(((triple13 ((triple16) -> rule2)) -> rule1))]