The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is kind. The bald eagle sees the lion. The lion chases the bald eagle. The lion is kind. The lion sees the bald eagle. If something sees the lion then the lion chases the bald eagle. If something eats the lion and the lion eats the bald eagle then it chases the lion. If the bald eagle chases the lion then the bald eagle is kind. If something sees the lion then the lion eats the bald eagle. If the bald eagle sees the lion then the bald eagle chases the lion. Red things are nice. If something eats the bald eagle then it eats the lion. If the lion sees the bald eagle and the bald eagle chases the lion then the bald eagle sees the lion.
The bald eagle is young.
@0: The bald eagle chases the lion.[(triple1 OR ((triple4) -> rule5) OR ((triple2 ((triple4) -> rule4)) -> rule2))] The bald eagle eats the lion.[(triple2)] The bald eagle is kind.[(triple3 OR ((triple1) -> rule3) OR ((((triple4) -> rule5)) -> rule3) OR ((((triple2 ((triple4) -> rule4)) -> rule2)) -> rule3))] The bald eagle sees the lion.[(triple4 OR ((triple7 triple1) -> rule8))] The lion chases the bald eagle.[(triple5 OR ((triple4) -> rule1) OR ((((triple7 triple1) -> rule8)) -> rule1))] The lion is kind.[(triple6)] The lion sees the bald eagle.[(triple7)] @1: The lion eats the bald eagle.[(((triple4) -> rule4) OR ((((triple7 triple1) -> rule8)) -> rule4))] @2: The lion eats the lion.[(((((triple4) -> rule4)) -> rule7) OR ((((((triple7 triple1) -> rule8)) -> rule4)) -> rule7))] @3: The lion chases the lion.[(((((((triple4) -> rule4)) -> rule7) ((triple4) -> rule4)) -> rule2) OR ((((((triple4) -> rule4)) -> rule7) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple7 triple1) -> rule8)) -> rule4)) -> rule7) ((triple4) -> rule4)) -> rule2) OR ((((((((triple7 triple1) -> rule8)) -> rule4)) -> rule7) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule2))]