The bear is big. The bear is kind. The bear is red. The bear is not rough. The bear is young. The bear needs the lion. The bear sees the lion. The bear visits the lion. The lion is not big. The lion is red. The lion needs the bear. The lion visits the bear. If something visits the bear and it does not need the lion then it needs the bear. If something sees the lion then it does not see the bear. If something visits the bear and the bear is red then the bear is young.
The lion is kind.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear is not rough.[(triple4)] The bear is red.[(triple3)] The bear is young.[(triple5 OR ((triple12 triple3) -> rule3))] The bear needs the lion.[(triple6)] The bear sees the lion.[(triple7)] The bear visits the lion.[(triple8)] The lion is not big.[(triple9)] The lion is red.[(triple10)] The lion needs the bear.[(triple11)] The lion visits the bear.[(triple12)] @1: The bear does not see the bear.[(((triple7) -> rule2))]