The bald eagle is big. The bald eagle is nice. The bald eagle needs the cat. The bald eagle needs the lion. The bald eagle does not see the bear. The bald eagle does not see the lion. The bear sees the bald eagle. The bear sees the lion. The bear visits the bald eagle. The bear visits the lion. The cat does not need the bear. The cat needs the lion. The cat visits the lion. The lion is not blue. The lion is nice. The lion does not see the cat. If the cat needs the bear then the bear does not see the cat. If someone is big then they see the bald eagle. If someone sees the cat and they are not big then the cat is nice. If someone is nice then they need the bear. If someone is nice and not cold then they do not visit the lion. If someone sees the bear and the bear sees the lion then they visit the lion.
The bear does not visit the lion.
@0: The bald eagle does not see the bear.[(triple5)] The bald eagle does not see the lion.[(triple6)] The bald eagle is big.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the lion.[(triple4)] The bear sees the bald eagle.[(triple7)] The bear sees the lion.[(triple8)] The bear visits the bald eagle.[(triple9)] The bear visits the lion.[(triple10)] The cat does not need the bear.[(triple11)] The cat needs the lion.[(triple12)] The cat visits the lion.[(triple13)] The lion does not see the cat.[(triple16)] The lion is nice.[(triple15)] The lion is not blue.[(triple14)] @1: The bald eagle needs the bear.[(((triple2) -> rule4))] The bald eagle sees the bald eagle.[(((triple1) -> rule2))] The lion needs the bear.[(((triple15) -> rule4))]