The bear visits the lion. The lion needs the bear. The lion sees the bear. If something is nice and it sees the bear then it is green. If something sees the bear then the bear needs the lion.
The lion is cold.
@0: The bear visits the lion.[(triple1)] The lion needs the bear.[(triple2)] The lion sees the bear.[(triple3)] @1: The bear needs the lion.[(((triple3) -> rule2))]