The bear visits the lion. The lion needs the bear. If someone visits the bear then they like the lion. If someone needs the bear then they visit the bear. If someone is nice and they need the bear then the bear needs the lion.
The lion visits the bear.
@0: The bear visits the lion.[(triple1)] The lion needs the bear.[(triple2)] @1: The lion visits the bear.[(((triple2) -> rule2))] @2: The lion likes the lion.[(((((triple2) -> rule2)) -> rule1))]