create implication pattern_thigh_socks (1485) -> thigh_socks (9011)
create implication green_thigh_socks (81) -> green_thigh_highs (600)
create implication green_thigh_socks (81) -> green_socks (519)
create implication green_thigh_socks (81) -> thigh_socks (9011)
create implication black_thigh_socks (963) -> black_thigh_highs (12501)
create implication black_thigh_socks (963) -> black_socks (3445)
create implication black_thigh_socks (963) -> thigh_socks (9011)
create implication yellow_thigh_socks (45) -> yellow_thigh_highs (272)
create implication yellow_thigh_socks (45) -> yellow_socks (333)
create implication yellow_thigh_socks (45) -> thigh_socks (9011)
create implication grey_thigh_socks (53) -> grey_thigh_highs (549)
create implication grey_thigh_socks (53) -> grey_socks (556)
create implication grey_thigh_socks (53) -> thigh_socks (9011)
create implication tan_thigh_socks (5) -> tan_thigh_highs (42)
create implication tan_thigh_socks (5) -> tan_socks (52)
create implication tan_thigh_socks (5) -> thigh_socks (9011)
create implication brown_thigh_socks (11) -> brown_thigh_highs (355)
create implication brown_thigh_socks (11) -> brown_socks (223)
create implication brown_thigh_socks (11) -> thigh_socks (9011)
create implication white_thigh_socks (772) -> white_thigh_highs (3767)
create implication white_thigh_socks (772) -> white_socks (6833)
create implication white_thigh_socks (772) -> thigh_socks (9011)
create implication blue_thigh_socks (231) -> blue_thigh_highs (1260)
create implication blue_thigh_socks (231) -> blue_socks (1183)
create implication blue_thigh_socks (231) -> thigh_socks (9011)
create implication orange_thigh_socks (22) -> orange_thigh_highs (302)
create implication orange_thigh_socks (22) -> orange_socks (196)
create implication orange_thigh_socks (22) -> thigh_socks (9011)
create implication red_thigh_socks (205) -> red_thigh_highs (1431)
create implication red_thigh_socks (205) -> red_socks (743)
create implication red_thigh_socks (205) -> thigh_socks (9011)
create implication pink_thigh_socks (378) -> pink_thigh_highs (1642)
create implication pink_thigh_socks (378) -> pink_socks (1370)
create implication pink_thigh_socks (378) -> thigh_socks (9011)
create implication purple_thigh_socks (170) -> purple_thigh_highs (1303)
create implication purple_thigh_socks (170) -> purple_socks (613)
create implication purple_thigh_socks (170) -> thigh_socks (9011)
create implication rainbow_thigh_socks (16) -> rainbow_thigh_highs (190)
create implication rainbow_thigh_socks (16) -> rainbow_socks (240)
create implication rainbow_thigh_socks (16) -> rainbow_socks (240)