create implication pattern_thigh_socks (1401) -> thigh_socks (8324)
create implication green_thigh_socks (75) -> green_thigh_highs (472)
create implication green_thigh_socks (75) -> green_socks (448)
create implication green_thigh_socks (75) -> thigh_socks (8324)
create implication black_thigh_socks (829) -> black_thigh_highs (10009)
create implication black_thigh_socks (829) -> black_socks (2893)
create implication black_thigh_socks (829) -> thigh_socks (8324)
create implication yellow_thigh_socks (43) -> yellow_thigh_highs (205)
create implication yellow_thigh_socks (43) -> yellow_socks (294)
create implication yellow_thigh_socks (43) -> thigh_socks (8324)
create implication grey_thigh_socks (50) -> grey_thigh_highs (431)
create implication grey_thigh_socks (50) -> grey_socks (473)
create implication grey_thigh_socks (50) -> thigh_socks (8324)
create implication tan_thigh_socks (4) -> tan_thigh_highs (38)
create implication tan_thigh_socks (4) -> tan_socks (44)
create implication tan_thigh_socks (4) -> thigh_socks (8324)
create implication brown_thigh_socks (11) -> brown_thigh_highs (288)
create implication brown_thigh_socks (11) -> brown_socks (209)
create implication brown_thigh_socks (11) -> thigh_socks (8324)
create implication white_thigh_socks (721) -> white_thigh_highs (3162)
create implication white_thigh_socks (721) -> white_socks (5710)
create implication white_thigh_socks (721) -> thigh_socks (8324)
create implication blue_thigh_socks (216) -> blue_thigh_highs (1031)
create implication blue_thigh_socks (216) -> blue_socks (1015)
create implication blue_thigh_socks (216) -> thigh_socks (8324)
create implication orange_thigh_socks (21) -> orange_thigh_highs (236)
create implication orange_thigh_socks (21) -> orange_socks (175)
create implication orange_thigh_socks (21) -> thigh_socks (8324)
create implication red_thigh_socks (190) -> red_thigh_highs (1174)
create implication red_thigh_socks (190) -> red_socks (648)
create implication red_thigh_socks (190) -> thigh_socks (8324)
create implication pink_thigh_socks (354) -> pink_thigh_highs (1282)
create implication pink_thigh_socks (354) -> pink_socks (1139)
create implication pink_thigh_socks (354) -> thigh_socks (8324)
create implication purple_thigh_socks (139) -> purple_thigh_highs (1032)
create implication purple_thigh_socks (139) -> purple_socks (506)
create implication purple_thigh_socks (139) -> thigh_socks (8324)
create implication rainbow_thigh_socks (15) -> rainbow_thigh_highs (157)
create implication rainbow_thigh_socks (15) -> rainbow_socks (220)
create implication rainbow_thigh_socks (15) -> rainbow_socks (220)