The bear is big. The bear is green. The bear is kind. The bear is nice. The bear is red. The bear needs the lion. The bear sees the lion. The bear does not visit the lion. The lion is big. The lion is green. The lion is kind. The lion is not nice. The lion is not red. The lion needs the bear. The lion sees the bear. The lion visits the bear. If someone is red and they need the lion then they do not visit the bear. If the lion sees the bear then the bear does not visit the lion. If someone visits the bear and the bear sees the lion then they see the bear. If someone visits the lion then they are not red. If someone needs the lion then they are red. If someone is nice and they visit the bear then the bear is not kind. If someone visits the lion then they see the lion. If someone sees the bear then they are not nice.
The bear does not see the lion.
@0: The bear does not visit the lion.[(triple8 OR ((triple15) -> rule2) OR ((((triple16 triple7) -> rule3)) -> rule2))] The bear is big.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5 OR ((triple6) -> rule5))] The bear needs the lion.[(triple6)] The bear sees the lion.[(triple7)] The lion is big.[(triple9)] The lion is green.[(triple10)] The lion is kind.[(triple11)] The lion is not nice.[(triple12 OR ((triple15) -> rule8) OR ((((triple16 triple7) -> rule3)) -> rule8))] The lion is not red.[(triple13)] The lion needs the bear.[(triple14)] The lion sees the bear.[(triple15 OR ((triple16 triple7) -> rule3))] The lion visits the bear.[(triple16)] @1: The bear does not visit the bear.[(((triple5 triple6) -> rule1) OR ((((triple6) -> rule5) triple6) -> rule1))]