The bear is nice. The bear needs the squirrel. The bear does not visit the lion. The lion needs the squirrel. The lion sees the bear. The squirrel does not see the bear. The squirrel does not visit the lion. If something sees the bear then it visits the lion.
The squirrel does not see the lion.
@0: The bear does not visit the lion.[(triple3)] The bear is nice.[(triple1)] The bear needs the squirrel.[(triple2)] The lion needs the squirrel.[(triple4)] The lion sees the bear.[(triple5)] The squirrel does not see the bear.[(triple6)] The squirrel does not visit the lion.[(triple7)] @1: The lion visits the lion.[(((triple5) -> rule1))]