create implication leather_jacket -> leather
create implication leather_jacket -> jacket
create implication leather_gloves -> leather
create implication leather_boots -> boots
create implication leather_boots -> leather
If leather_pants imply both things (here: pants and leather) then the other ones should also imply both things.