create implication pattern_thigh_socks (1445) -> thigh_socks (8854)
create implication green_thigh_socks (77) -> green_thigh_highs (557)
create implication green_thigh_socks (77) -> green_socks (497)
create implication green_thigh_socks (77) -> thigh_socks (8854)
create implication black_thigh_socks (899) -> black_thigh_highs (11576)
create implication black_thigh_socks (899) -> black_socks (3229)
create implication black_thigh_socks (899) -> thigh_socks (8854)
create implication yellow_thigh_socks (44) -> yellow_thigh_highs (245)
create implication yellow_thigh_socks (44) -> yellow_socks (319)
create implication yellow_thigh_socks (44) -> thigh_socks (8854)
create implication grey_thigh_socks (52) -> grey_thigh_highs (504)
create implication grey_thigh_socks (52) -> grey_socks (523)
create implication grey_thigh_socks (52) -> thigh_socks (8854)
create implication tan_thigh_socks (4) -> tan_thigh_highs (44)
create implication tan_thigh_socks (4) -> tan_socks (49)
create implication tan_thigh_socks (4) -> thigh_socks (8854)
create implication brown_thigh_socks (11) -> brown_thigh_highs (335)
create implication brown_thigh_socks (11) -> brown_socks (215)
create implication brown_thigh_socks (11) -> thigh_socks (8854)
create implication white_thigh_socks (755) -> white_thigh_highs (3548)
create implication white_thigh_socks (755) -> white_socks (6388)
create implication white_thigh_socks (755) -> thigh_socks (8854)
create implication blue_thigh_socks (222) -> blue_thigh_highs (1166)
create implication blue_thigh_socks (222) -> blue_socks (1126)
create implication blue_thigh_socks (222) -> thigh_socks (8854)
create implication orange_thigh_socks (22) -> orange_thigh_highs (289)
create implication orange_thigh_socks (22) -> orange_socks (189)
create implication orange_thigh_socks (22) -> thigh_socks (8854)
create implication red_thigh_socks (197) -> red_thigh_highs (1311)
create implication red_thigh_socks (197) -> red_socks (693)
create implication red_thigh_socks (197) -> thigh_socks (8854)
create implication pink_thigh_socks (367) -> pink_thigh_highs (1444)
create implication pink_thigh_socks (367) -> pink_socks (1298)
create implication pink_thigh_socks (367) -> thigh_socks (8854)
create implication purple_thigh_socks (164) -> purple_thigh_highs (1224)
create implication purple_thigh_socks (164) -> purple_socks (580)
create implication purple_thigh_socks (164) -> thigh_socks (8854)
create implication rainbow_thigh_socks (16) -> rainbow_thigh_highs (183)
create implication rainbow_thigh_socks (16) -> rainbow_socks (236)
create implication rainbow_thigh_socks (16) -> rainbow_socks (236)