create implication pattern_thigh_socks (1410) -> thigh_socks (8409)
create implication green_thigh_socks (76) -> green_thigh_highs (491)
create implication green_thigh_socks (76) -> green_socks (460)
create implication green_thigh_socks (76) -> thigh_socks (8409)
create implication black_thigh_socks (838) -> black_thigh_highs (10291)
create implication black_thigh_socks (838) -> black_socks (2946)
create implication black_thigh_socks (838) -> thigh_socks (8409)
create implication yellow_thigh_socks (43) -> yellow_thigh_highs (216)
create implication yellow_thigh_socks (43) -> yellow_socks (294)
create implication yellow_thigh_socks (43) -> thigh_socks (8409)
create implication grey_thigh_socks (50) -> grey_thigh_highs (437)
create implication grey_thigh_socks (50) -> grey_socks (484)
create implication grey_thigh_socks (50) -> thigh_socks (8409)
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 (8409)
create implication brown_thigh_socks (11) -> brown_thigh_highs (297)
create implication brown_thigh_socks (11) -> brown_socks (210)
create implication brown_thigh_socks (11) -> thigh_socks (8409)
create implication white_thigh_socks (726) -> white_thigh_highs (3239)
create implication white_thigh_socks (726) -> white_socks (5844)
create implication white_thigh_socks (726) -> thigh_socks (8409)
create implication blue_thigh_socks (216) -> blue_thigh_highs (1060)
create implication blue_thigh_socks (216) -> blue_socks (1031)
create implication blue_thigh_socks (216) -> thigh_socks (8409)
create implication orange_thigh_socks (21) -> orange_thigh_highs (243)
create implication orange_thigh_socks (21) -> orange_socks (175)
create implication orange_thigh_socks (21) -> thigh_socks (8409)
create implication red_thigh_socks (190) -> red_thigh_highs (1194)
create implication red_thigh_socks (190) -> red_socks (656)
create implication red_thigh_socks (190) -> thigh_socks (8409)
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 (8409)
create implication purple_thigh_socks (141) -> purple_thigh_highs (1068)
create implication purple_thigh_socks (141) -> purple_socks (512)
create implication purple_thigh_socks (141) -> thigh_socks (8409)
create implication rainbow_thigh_socks (15) -> rainbow_thigh_highs (169)
create implication rainbow_thigh_socks (15) -> rainbow_socks (221)
create implication rainbow_thigh_socks (15) -> rainbow_socks (221)