The bald eagle chases the lion. The bald eagle is red. The bald eagle is round. The bald eagle needs the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion is green. The lion is nice. The lion is round. The lion needs the bald eagle. If something eats the bald eagle then it chases the lion. If something needs the lion and the lion is green then the lion is round. If something needs the bald eagle and it is round then it needs the lion. If something eats the bald eagle and it needs the lion then it chases the bald eagle. If something is nice then it eats the lion. If something needs the lion then it is red.
The bald eagle does not chase the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is red.[(triple2 OR ((triple4) -> rule6))] The bald eagle is round.[(triple3)] The bald eagle needs the lion.[(triple4)] The lion chases the bald eagle.[(triple5 OR ((triple6 ((triple10 triple9) -> rule3)) -> rule4) OR ((triple6 ((triple10 ((triple4 triple7) -> rule2)) -> rule3)) -> rule4))] The lion eats the bald eagle.[(triple6)] The lion is green.[(triple7)] The lion is nice.[(triple8)] The lion is round.[(triple9 OR ((triple4 triple7) -> rule2))] The lion needs the bald eagle.[(triple10)] @1: The lion chases the lion.[(((triple6) -> rule1))] The lion eats the lion.[(((triple8) -> rule5))] The lion needs the lion.[(((triple10 triple9) -> rule3) OR ((triple10 ((triple4 triple7) -> rule2)) -> rule3))] @2: The lion is red.[(((((triple10 triple9) -> rule3)) -> rule6) OR ((((triple10 ((triple4 triple7) -> rule2)) -> rule3)) -> rule6))]