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