The bear chases the lion. The bear is young. The bear needs the lion. The bear does not visit the lion. The lion chases the bear. The lion is not big. The lion is kind. The lion is red. The lion needs the bear. The lion does not visit the bear. If something is big and it does not chase the lion then it visits the lion. If the bear visits the lion and the bear chases the lion then the bear is not kind. If something is red and it does not need the bear then the bear needs the lion. If the lion is red and the lion is big then the lion visits the bear. If the lion does not visit the bear then the lion chases the bear. If something chases the bear then it is not young.
The lion does not visit the lion.
@0: The bear chases the lion.[(triple1)] The bear does not visit the lion.[(triple4)] The bear is young.[(triple2)] The bear needs the lion.[(triple3)] The lion chases the bear.[(triple5 OR ((triple10) -> rule5))] The lion does not visit the bear.[(triple10)] The lion is kind.[(triple7)] The lion is not big.[(triple6)] The lion is red.[(triple8)] The lion needs the bear.[(triple9)] @1: The lion is not young.[(((triple5) -> rule6) OR ((((triple10) -> rule5)) -> rule6))]