create alias red_heels (3) -> red_high_heels (840)
create implication red_high_heels (840) -> high_heels (62319)
create implication red_high_heels (840) -> red_footwear (6881)
create alias orange_heels (1) -> orange_high_heels (27)
create implication orange_high_heels (27) -> high_heels (62319)
create implication orange_high_heels (27) -> orange_footwear (873)
create alias yellow_heels (1) -> yellow_high_heels (140)
create implication yellow_high_heels (140) -> high_heels (62319)
create implication yellow_high_heels (140) -> yellow_footwear (1533)
create alias green_heels (1) -> green_high_heels (108)
create implication green_high_heels (108) -> high_heels (62319)
create implication green_high_heels (108) -> green_footwear (1755)
create alias blue_heels (0) -> blue_high_heels (364)
create implication blue_high_heels (364) -> high_heels (62319)
create implication blue_high_heels (364) -> blue_footwear (3998)
create alias purple_heels (0) -> purple_high_heels (271)
create implication purple_high_heels (271) -> high_heels (62319)
create implication purple_high_heels (271) -> purple_footwear (1871)
create alias pink_heels (1) -> pink_high_heels (483)
create implication pink_high_heels (483) -> high_heels (62319)
create implication pink_high_heels (483) -> pink_footwear (3189)
create alias teal_heels (0) -> teal_high_heels (3)
create implication teal_high_heels (3) -> high_heels (62319)
create implication teal_high_heels (3) -> teal_footwear (56)