The bear is kind. The bear is nice. The bear sees the squirrel. The lion needs the bear. The lion does not need the squirrel. The lion sees the bear. The squirrel is nice. The squirrel is young. The squirrel does not need the bear. The squirrel needs the lion. If the lion sees the bear then the bear does not need the squirrel.
The squirrel does not need the lion.
@0: The bear is kind.[(triple1)] The bear is nice.[(triple2)] The bear sees the squirrel.[(triple3)] The lion does not need the squirrel.[(triple5)] The lion needs the bear.[(triple4)] The lion sees the bear.[(triple6)] The squirrel does not need the bear.[(triple9)] The squirrel is nice.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the lion.[(triple10)] @1: The bear does not need the squirrel.[(((triple6) -> rule1))]