create implication pattern_thigh_socks (1309) -> thigh_socks (7069)
create implication green_thigh_socks (64) -> green_thigh_highs (368)
create implication green_thigh_socks (64) -> green_socks (372)
create implication green_thigh_socks (64) -> thigh_socks (7069)
create implication black_thigh_socks (610) -> black_thigh_highs (7459)
create implication black_thigh_socks (610) -> black_socks (2287)
create implication black_thigh_socks (610) -> thigh_socks (7069)
create implication yellow_thigh_socks (33) -> yellow_thigh_highs (143)
create implication yellow_thigh_socks (33) -> yellow_socks (251)
create implication yellow_thigh_socks (33) -> thigh_socks (7069)
create implication grey_thigh_socks (38) -> grey_thigh_highs (331)
create implication grey_thigh_socks (38) -> grey_socks (367)
create implication grey_thigh_socks (38) -> thigh_socks (7069)
create implication tan_thigh_socks (4) -> tan_thigh_highs (33)
create implication tan_thigh_socks (4) -> tan_socks (29)
create implication tan_thigh_socks (4) -> thigh_socks (7069)
create implication brown_thigh_socks (7) -> brown_thigh_highs (205)
create implication brown_thigh_socks (7) -> brown_socks (183)
create implication brown_thigh_socks (7) -> thigh_socks (7069)
create implication white_thigh_socks (568) -> white_thigh_highs (2498)
create implication white_thigh_socks (568) -> white_socks (4464)
create implication white_thigh_socks (568) -> thigh_socks (7069)
create implication blue_thigh_socks (163) -> blue_thigh_highs (755)
create implication blue_thigh_socks (163) -> blue_socks (844)
create implication blue_thigh_socks (163) -> thigh_socks (7069)
create implication orange_thigh_socks (14) -> orange_thigh_highs (170)
create implication orange_thigh_socks (14) -> orange_socks (137)
create implication orange_thigh_socks (14) -> thigh_socks (7069)
create implication red_thigh_socks (131) -> red_thigh_highs (868)
create implication red_thigh_socks (131) -> red_socks (506)
create implication red_thigh_socks (131) -> thigh_socks (7069)
create implication pink_thigh_socks (321) -> pink_thigh_highs (1017)
create implication pink_thigh_socks (321) -> pink_socks (970)
create implication pink_thigh_socks (321) -> thigh_socks (7069)
create implication purple_thigh_socks (116) -> purple_thigh_highs (795)
create implication purple_thigh_socks (116) -> purple_socks (415)
create implication purple_thigh_socks (116) -> thigh_socks (7069)
create implication rainbow_thigh_socks (15) -> rainbow_thigh_highs (129)
create implication rainbow_thigh_socks (15) -> rainbow_socks (204)
create implication rainbow_thigh_socks (15) -> rainbow_socks (204)