The bald eagle does not eat the lion. The bald eagle is blue. The bald eagle is kind. The bald eagle needs the bear. The bald eagle does not visit the bear. The bald eagle visits the lion. The bear is blue. The bear is kind. The bear needs the bald eagle. The lion eats the bald eagle. The lion is young. The lion needs the bald eagle. The lion needs the bear. The lion does not visit the bald eagle. The lion visits the bear. If the bald eagle is big and the bald eagle does not need the bear then the bear eats the lion. If something eats the bear and it visits the bald eagle then the bald eagle eats the lion. If the lion needs the bald eagle then the lion is big. If the lion eats the bear then the bear does not need the bald eagle. If something eats the bald eagle and the bald eagle is young then it is not blue. If something visits the bear and the bear does not need the lion then the bear is young.
The bear visits the bear.
@0: The bald eagle does not eat the lion.[(triple1)] The bald eagle does not visit the bear.[(triple5)] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle visits the lion.[(triple6)] The bear is blue.[(triple7)] The bear is kind.[(triple8)] The bear needs the bald eagle.[(triple9)] The lion does not visit the bald eagle.[(triple14)] The lion eats the bald eagle.[(triple10)] The lion is young.[(triple11)] The lion needs the bald eagle.[(triple12)] The lion needs the bear.[(triple13)] The lion visits the bear.[(triple15)] @1: The lion is big.[(((triple12) -> rule3))]