The bald eagle eats the lion. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle sees the lion. The bald eagle visits the lion. The lion eats the bald eagle. The lion is round. The lion sees the bald eagle. The lion visits the bald eagle. All big people are blue. If the bald eagle sees the lion then the bald eagle eats the lion. If someone sees the lion then they are blue. If someone eats the bald eagle and they are round then the bald eagle sees the lion. If someone is big and they eat the lion then the lion is round. If someone is round then they eat the lion. If someone visits the lion then they eat the bald eagle. If someone is round then they eat the lion.
The bald eagle does not eat the lion.
@0: The bald eagle eats the lion.[(triple1 OR ((triple4) -> rule6) OR ((triple4) -> rule8) OR ((triple5) -> rule2) OR ((((triple7 triple8) -> rule4)) -> rule2) OR ((((((triple6) -> rule7) triple4) -> rule4)) -> rule2))] The bald eagle is kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle sees the lion.[(triple5 OR ((triple7 triple8) -> rule4) OR ((((triple6) -> rule7) triple4) -> rule4))] The bald eagle visits the lion.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion is round.[(triple8)] The lion sees the bald eagle.[(triple9)] The lion visits the bald eagle.[(triple10)] @1: The bald eagle eats the bald eagle.[(((triple6) -> rule7))] The bald eagle is blue.[(((triple5) -> rule3) OR ((((triple7 triple8) -> rule4)) -> rule3) OR ((((((triple6) -> rule7) triple4) -> rule4)) -> rule3))] The lion eats the lion.[(((triple8) -> rule6) OR ((triple8) -> rule8))]