create implication on_stool -> stoolcreate implication wooden_stool -> stoolcreate implication folding_stool -> stool