The bald eagle does not eat the lion. The bald eagle is big. The bald eagle does not see the lion. The bald eagle sees the rabbit. The bald eagle visits the lion. The bald eagle visits the rabbit. The lion eats the rabbit. The lion is big. The lion is round. The lion is not young. The lion visits the rabbit. The rabbit does not see the bald eagle. If someone is big then they do not eat the lion. If someone eats the bald eagle and they are big then they do not eat the rabbit. If the lion eats the bald eagle then the bald eagle is young. If the lion does not eat the rabbit and the rabbit is not big then the lion does not see the bald eagle. If someone is big and they do not eat the rabbit then the rabbit visits the bald eagle. If someone sees the rabbit and the rabbit is round then the rabbit visits the bald eagle.
The bald eagle is not young.
@0: The bald eagle does not eat the lion.[(triple1 OR ((triple2) -> rule1))] The bald eagle does not see the lion.[(triple3)] The bald eagle is big.[(triple2)] The bald eagle sees the rabbit.[(triple4)] The bald eagle visits the lion.[(triple5)] The bald eagle visits the rabbit.[(triple6)] The lion eats the rabbit.[(triple7)] The lion is big.[(triple8)] The lion is not young.[(triple10)] The lion is round.[(triple9)] The lion visits the rabbit.[(triple11)] The rabbit does not see the bald eagle.[(triple12)] @1: The lion does not eat the lion.[(((triple8) -> rule1))]