The bald eagle is not nice. The bald eagle needs the bear. The bald eagle does not see the bear. The bear needs the lion. The bear sees the bald eagle. The bear visits the bald eagle. The cat sees the bear. The lion is not young. The lion needs the cat. The lion visits the cat. If someone visits the lion and they see the lion then they do not visit the bear. If someone is young and they need the bald eagle then they visit the cat. If the cat needs the bear then the bear sees the cat. If someone needs the bear then the bear does not see the cat. If someone needs the bald eagle and the bald eagle is not nice then the bald eagle sees the cat. If someone is green and kind then they visit the bald eagle. If someone visits the bear and they do not see the cat then the cat visits the bear. If the bald eagle is nice and the bald eagle does not visit the bear then the bear is green.
The bald eagle needs the bear.
@0: The bald eagle does not see the bear.[(triple3)] The bald eagle is not nice.[(triple1)] The bald eagle needs the bear.[(triple2)] The bear needs the lion.[(triple4)] The bear sees the bald eagle.[(triple5)] The bear visits the bald eagle.[(triple6)] The cat sees the bear.[(triple7)] The lion is not young.[(triple8)] The lion needs the cat.[(triple9)] The lion visits the cat.[(triple10)] @1: The bear does not see the cat.[(((triple2) -> rule4))]