create implication pattern_thigh_socks (1363) -> thigh_socks (7671)
create implication green_thigh_socks (69) -> green_thigh_highs (413)
create implication green_thigh_socks (69) -> green_socks (399)
create implication green_thigh_socks (69) -> thigh_socks (7671)
create implication black_thigh_socks (753) -> black_thigh_highs (8656)
create implication black_thigh_socks (753) -> black_socks (2560)
create implication black_thigh_socks (753) -> thigh_socks (7671)
create implication yellow_thigh_socks (38) -> yellow_thigh_highs (170)
create implication yellow_thigh_socks (38) -> yellow_socks (265)
create implication yellow_thigh_socks (38) -> thigh_socks (7671)
create implication grey_thigh_socks (41) -> grey_thigh_highs (385)
create implication grey_thigh_socks (41) -> grey_socks (426)
create implication grey_thigh_socks (41) -> thigh_socks (7671)
create implication tan_thigh_socks (4) -> tan_thigh_highs (34)
create implication tan_thigh_socks (4) -> tan_socks (32)
create implication tan_thigh_socks (4) -> thigh_socks (7671)
create implication brown_thigh_socks (10) -> brown_thigh_highs (247)
create implication brown_thigh_socks (10) -> brown_socks (196)
create implication brown_thigh_socks (10) -> thigh_socks (7671)
create implication white_thigh_socks (626) -> white_thigh_highs (2795)
create implication white_thigh_socks (626) -> white_socks (4944)
create implication white_thigh_socks (626) -> thigh_socks (7671)
create implication blue_thigh_socks (174) -> blue_thigh_highs (866)
create implication blue_thigh_socks (174) -> blue_socks (891)
create implication blue_thigh_socks (174) -> thigh_socks (7671)
create implication orange_thigh_socks (16) -> orange_thigh_highs (191)
create implication orange_thigh_socks (16) -> orange_socks (152)
create implication orange_thigh_socks (16) -> thigh_socks (7671)
create implication red_thigh_socks (158) -> red_thigh_highs (1015)
create implication red_thigh_socks (158) -> red_socks (577)
create implication red_thigh_socks (158) -> thigh_socks (7671)
create implication pink_thigh_socks (332) -> pink_thigh_highs (1108)
create implication pink_thigh_socks (332) -> pink_socks (1036)
create implication pink_thigh_socks (332) -> thigh_socks (7671)
create implication purple_thigh_socks (130) -> purple_thigh_highs (887)
create implication purple_thigh_socks (130) -> purple_socks (453)
create implication purple_thigh_socks (130) -> thigh_socks (7671)
create implication rainbow_thigh_socks (15) -> rainbow_thigh_highs (131)
create implication rainbow_thigh_socks (15) -> rainbow_socks (214)
create implication rainbow_thigh_socks (15) -> rainbow_socks (214)