The bear chases the lion. The bear is kind. The lion needs the bear. If something chases the lion and the lion needs the bear then the bear needs the lion. If something needs the lion then it needs the bear. If something needs the bear and the bear is kind then it sees the bear.
The bear sees the bear.
@0: The bear chases the lion.[(triple1)] The bear is kind.[(triple2)] The lion needs the bear.[(triple3)] @1: The bear needs the lion.[(((triple1 triple3) -> rule1))] The lion sees the bear.[(((triple3 triple2) -> rule3))] @2: The bear needs the bear.[(((((triple1 triple3) -> rule1)) -> rule2))] @3: The bear sees the bear.[(((((((triple1 triple3) -> rule1)) -> rule2) triple2) -> rule3))]