create implication pattern_thigh_socks (1391) -> thigh_socks (8121)
create implication green_thigh_socks (74) -> green_thigh_highs (449)
create implication green_thigh_socks (74) -> green_socks (423)
create implication green_thigh_socks (74) -> thigh_socks (8121)
create implication black_thigh_socks (812) -> black_thigh_highs (9500)
create implication black_thigh_socks (812) -> black_socks (2783)
create implication black_thigh_socks (812) -> thigh_socks (8121)
create implication yellow_thigh_socks (41) -> yellow_thigh_highs (192)
create implication yellow_thigh_socks (41) -> yellow_socks (290)
create implication yellow_thigh_socks (41) -> thigh_socks (8121)
create implication grey_thigh_socks (48) -> grey_thigh_highs (418)
create implication grey_thigh_socks (48) -> grey_socks (456)
create implication grey_thigh_socks (48) -> thigh_socks (8121)
create implication tan_thigh_socks (4) -> tan_thigh_highs (37)
create implication tan_thigh_socks (4) -> tan_socks (43)
create implication tan_thigh_socks (4) -> thigh_socks (8121)
create implication brown_thigh_socks (11) -> brown_thigh_highs (272)
create implication brown_thigh_socks (11) -> brown_socks (204)
create implication brown_thigh_socks (11) -> thigh_socks (8121)
create implication white_thigh_socks (677) -> white_thigh_highs (3010)
create implication white_thigh_socks (677) -> white_socks (5399)
create implication white_thigh_socks (677) -> thigh_socks (8121)
create implication blue_thigh_socks (212) -> blue_thigh_highs (980)
create implication blue_thigh_socks (212) -> blue_socks (977)
create implication blue_thigh_socks (212) -> thigh_socks (8121)
create implication orange_thigh_socks (21) -> orange_thigh_highs (219)
create implication orange_thigh_socks (21) -> orange_socks (169)
create implication orange_thigh_socks (21) -> thigh_socks (8121)
create implication red_thigh_socks (187) -> red_thigh_highs (1129)
create implication red_thigh_socks (187) -> red_socks (633)
create implication red_thigh_socks (187) -> thigh_socks (8121)
create implication pink_thigh_socks (346) -> pink_thigh_highs (1203)
create implication pink_thigh_socks (346) -> pink_socks (1102)
create implication pink_thigh_socks (346) -> thigh_socks (8121)
create implication purple_thigh_socks (135) -> purple_thigh_highs (981)
create implication purple_thigh_socks (135) -> purple_socks (484)
create implication purple_thigh_socks (135) -> thigh_socks (8121)
create implication rainbow_thigh_socks (15) -> rainbow_thigh_highs (145)
create implication rainbow_thigh_socks (15) -> rainbow_socks (218)
create implication rainbow_thigh_socks (15) -> rainbow_socks (218)