create implication pattern_thigh_socks (1410) -> thigh_socks (8413)
create implication green_thigh_socks (76) -> green_thigh_highs (492)
create implication green_thigh_socks (76) -> green_socks (460)
create implication green_thigh_socks (76) -> thigh_socks (8413)
create implication black_thigh_socks (840) -> black_thigh_highs (10311)
create implication black_thigh_socks (840) -> black_socks (2952)
create implication black_thigh_socks (840) -> thigh_socks (8413)
create implication yellow_thigh_socks (43) -> yellow_thigh_highs (217)
create implication yellow_thigh_socks (43) -> yellow_socks (295)
create implication yellow_thigh_socks (43) -> thigh_socks (8413)
create implication grey_thigh_socks (50) -> grey_thigh_highs (439)
create implication grey_thigh_socks (50) -> grey_socks (487)
create implication grey_thigh_socks (50) -> thigh_socks (8413)
create implication tan_thigh_socks (4) -> tan_thigh_highs (39)
create implication tan_thigh_socks (4) -> tan_socks (45)
create implication tan_thigh_socks (4) -> thigh_socks (8413)
create implication brown_thigh_socks (11) -> brown_thigh_highs (298)
create implication brown_thigh_socks (11) -> brown_socks (210)
create implication brown_thigh_socks (11) -> thigh_socks (8413)
create implication white_thigh_socks (726) -> white_thigh_highs (3240)
create implication white_thigh_socks (726) -> white_socks (5848)
create implication white_thigh_socks (726) -> thigh_socks (8413)
create implication blue_thigh_socks (216) -> blue_thigh_highs (1061)
create implication blue_thigh_socks (216) -> blue_socks (1032)
create implication blue_thigh_socks (216) -> thigh_socks (8413)
create implication orange_thigh_socks (21) -> orange_thigh_highs (247)
create implication orange_thigh_socks (21) -> orange_socks (175)
create implication orange_thigh_socks (21) -> thigh_socks (8413)
create implication red_thigh_socks (190) -> red_thigh_highs (1195)
create implication red_thigh_socks (190) -> red_socks (656)
create implication red_thigh_socks (190) -> thigh_socks (8413)
create implication pink_thigh_socks (356) -> pink_thigh_highs (1310)
create implication pink_thigh_socks (356) -> pink_socks (1177)
create implication pink_thigh_socks (356) -> thigh_socks (8413)
create implication purple_thigh_socks (146) -> purple_thigh_highs (1073)
create implication purple_thigh_socks (146) -> purple_socks (517)
create implication purple_thigh_socks (146) -> thigh_socks (8413)
create implication rainbow_thigh_socks (15) -> rainbow_thigh_highs (166)
create implication rainbow_thigh_socks (15) -> rainbow_socks (221)
create implication rainbow_thigh_socks (15) -> rainbow_socks (221)