The bald eagle does not eat the dog. The bald eagle eats the lion. The bald eagle is big. The bald eagle is not kind. The bald eagle is rough. The bald eagle does not need the dog. The bald eagle needs the lion. The dog visits the lion. The lion eats the bald eagle. The lion is round. The lion does not need the dog. The lion visits the dog. If someone visits the lion and they do not visit the dog then they eat the dog. If someone visits the lion then they eat the dog. If someone is rough and they do not need the dog then the dog eats the bald eagle. If the lion does not visit the dog then the dog does not need the bald eagle. If someone visits the bald eagle and the bald eagle is rough then the bald eagle eats the lion. If someone is big then they eat the bald eagle. If someone needs the dog then they are not nice. If someone eats the bald eagle then they do not need the bald eagle.
The lion does not eat the dog.
@0: The bald eagle does not eat the dog.[(triple1)] The bald eagle does not need the dog.[(triple6)] The bald eagle eats the lion.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is not kind.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle needs the lion.[(triple7)] The dog visits the lion.[(triple8)] The lion does not need the dog.[(triple11)] The lion eats the bald eagle.[(triple9)] The lion is round.[(triple10)] The lion visits the dog.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple3) -> rule6))] The dog eats the bald eagle.[(((triple5 triple6) -> rule3))] The dog eats the dog.[(((triple8) -> rule2))] The lion does not need the bald eagle.[(((triple9) -> rule8))] @2: The bald eagle does not need the bald eagle.[(((((triple3) -> rule6)) -> rule8))] The dog does not need the bald eagle.[(((((triple5 triple6) -> rule3)) -> rule8))]