The bear needs the lion. The bear visits the lion. The lion visits the bear. If someone needs the bear and they visit the lion then the lion needs the bear. If someone needs the bear and they visit the bear then they are round. If someone visits the lion and they visit the bear then the lion needs the bear. If someone is big then they see the lion. If someone visits the bear then they visit the lion. If someone sees the lion then they need the bear.
The bear does not need the bear.
@0: The bear needs the lion.[(triple1)] The bear visits the lion.[(triple2)] The lion visits the bear.[(triple3)] @1: The lion visits the lion.[(((triple3) -> rule5))] @2: The lion needs the bear.[(((((triple3) -> rule5) triple3) -> rule3))] @3: The lion is round.[(((((((triple3) -> rule5) triple3) -> rule3) triple3) -> rule2))]