create implication smoking_gun -> gun

create implication smoking_gun -> smoke

reason: both are required elements for the former.

Doen