The bald eagle eats the lion. The bald eagle is nice. The bald eagle likes the lion. The bald eagle visits the lion. The lion is big. The lion is nice. The lion visits the bald eagle. If someone visits the lion then the lion does not eat the bald eagle. If someone likes the lion then they eat the bald eagle. If someone visits the bald eagle then they do not eat the bald eagle. If someone visits the bald eagle then the bald eagle likes the lion. If someone is green and they eat the bald eagle then the bald eagle likes the lion. If someone visits the bald eagle and they are nice then the bald eagle visits the lion. If someone is kind and they eat the lion then they visit the bald eagle. If someone eats the bald eagle then they are big.
The lion is kind.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the lion.[(triple3 OR ((triple7) -> rule4))] The bald eagle visits the lion.[(triple4 OR ((triple7 triple6) -> rule6))] The lion is big.[(triple5)] The lion is nice.[(triple6)] The lion visits the bald eagle.[(triple7)] @1: The bald eagle eats the bald eagle.[(((triple3) -> rule2) OR ((((triple7) -> rule4)) -> rule2))] The lion does not eat the bald eagle.[(((triple4) -> rule1) OR ((triple7) -> rule3) OR ((((triple7 triple6) -> rule6)) -> rule1))] @2: The bald eagle is big.[(((((triple3) -> rule2)) -> rule8) OR ((((((triple7) -> rule4)) -> rule2)) -> rule8))]