create implication pattern_thigh_socks (1316) -> thigh_socks (7142)
create implication green_thigh_socks (66) -> green_thigh_highs (374)
create implication green_thigh_socks (66) -> green_socks (378)
create implication green_thigh_socks (66) -> thigh_socks (7142)
create implication black_thigh_socks (636) -> black_thigh_highs (7634)
create implication black_thigh_socks (636) -> black_socks (2332)
create implication black_thigh_socks (636) -> thigh_socks (7142)
create implication yellow_thigh_socks (33) -> yellow_thigh_highs (146)
create implication yellow_thigh_socks (33) -> yellow_socks (252)
create implication yellow_thigh_socks (33) -> thigh_socks (7142)
create implication grey_thigh_socks (38) -> grey_thigh_highs (341)
create implication grey_thigh_socks (38) -> grey_socks (369)
create implication grey_thigh_socks (38) -> thigh_socks (7142)
create implication tan_thigh_socks (4) -> tan_thigh_highs (33)
create implication tan_thigh_socks (4) -> tan_socks (30)
create implication tan_thigh_socks (4) -> thigh_socks (7142)
create implication brown_thigh_socks (7) -> brown_thigh_highs (209)
create implication brown_thigh_socks (7) -> brown_socks (183)
create implication brown_thigh_socks (7) -> thigh_socks (7142)
create implication white_thigh_socks (570) -> white_thigh_highs (2549)
create implication white_thigh_socks (570) -> white_socks (4516)
create implication white_thigh_socks (570) -> thigh_socks (7142)
create implication blue_thigh_socks (165) -> blue_thigh_highs (768)
create implication blue_thigh_socks (165) -> blue_socks (852)
create implication blue_thigh_socks (165) -> thigh_socks (7142)
create implication orange_thigh_socks (14) -> orange_thigh_highs (172)
create implication orange_thigh_socks (14) -> orange_socks (139)
create implication orange_thigh_socks (14) -> thigh_socks (7142)
create implication red_thigh_socks (133) -> red_thigh_highs (878)
create implication red_thigh_socks (133) -> red_socks (511)
create implication red_thigh_socks (133) -> thigh_socks (7142)
create implication pink_thigh_socks (325) -> pink_thigh_highs (1041)
create implication pink_thigh_socks (325) -> pink_socks (981)
create implication pink_thigh_socks (325) -> thigh_socks (7142)
create implication purple_thigh_socks (118) -> purple_thigh_highs (806)
create implication purple_thigh_socks (118) -> purple_socks (420)
create implication purple_thigh_socks (118) -> thigh_socks (7142)
create implication rainbow_thigh_socks (15) -> rainbow_thigh_highs (129)
create implication rainbow_thigh_socks (15) -> rainbow_socks (207)
create implication rainbow_thigh_socks (15) -> rainbow_socks (207)