The bear is green. The lion needs the bear. If someone needs the bear then they visit the lion. If someone sees the lion and they visit the lion then they need the bear. If someone visits the lion then they are kind.
The lion is kind.
@0: The bear is green.[(triple1)] The lion needs the bear.[(triple2)] @1: The lion visits the lion.[(((triple2) -> rule1))] @2: The lion is kind.[(((((triple2) -> rule1)) -> rule3))]