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