The bear chases the lion. The bear is big. The bear is cold. The bear is nice. The bear is round. The bear is young. The bear does not need the lion. The bear sees the lion. The lion chases the bear. The lion is big. The lion is cold. The lion is nice. The lion is round. The lion is young. The lion does not need the bear. The lion does not see the bear. If someone needs the bear and the bear does not need the lion then the bear sees the lion. Young people are nice. If someone sees the bear and the bear is round then they need the bear. If someone needs the lion then they are not big. If the lion sees the bear then the lion chases the bear. If someone needs the lion and they are not nice then the lion does not chase the bear.
The bear does not need the bear.
@0: The bear chases the lion.[(triple1)] The bear does not need the lion.[(triple7)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is nice.[(triple4 OR ((triple6) -> rule2))] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear sees the lion.[(triple8)] The lion chases the bear.[(triple9)] The lion does not need the bear.[(triple15)] The lion does not see the bear.[(triple16)] The lion is big.[(triple10)] The lion is cold.[(triple11)] The lion is nice.[(triple12 OR ((triple14) -> rule2))] The lion is round.[(triple13)] The lion is young.[(triple14)]