The bear is blue. The bear is cold. The bear is kind. The bear is not nice. The bear is young. The bear likes the lion. The bear needs the lion. The bear does not see the lion. The lion is blue. The lion is cold. The lion is kind. The lion is nice. The lion is young. The lion likes the bear. The lion does not need the bear. The lion sees the bear. If the lion needs the bear then the bear is nice. If someone is young and they like the bear then they see the bear. If the lion sees the bear and the lion is not nice then the lion does not like the bear. If someone sees the lion then they do not need the lion. If someone needs the bear and the bear needs the lion then the lion is not young. If the lion needs the bear and the bear sees the lion then the lion does not see the bear.
The bear does not see the bear.
@0: The bear does not see the lion.[(triple8)] The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is not nice.[(triple4)] The bear is young.[(triple5)] The bear likes the lion.[(triple6)] The bear needs the lion.[(triple7)] The lion does not need the bear.[(triple15)] The lion is blue.[(triple9)] The lion is cold.[(triple10)] The lion is kind.[(triple11)] The lion is nice.[(triple12)] The lion is young.[(triple13)] The lion likes the bear.[(triple14)] The lion sees the bear.[(triple16 OR ((triple13 triple14) -> rule2))]