ABCD 不包含 C => X
ABCD 不包含 E => √
ABCD 不包含 C,E => X, 因为 ABCD 不包含 C => X, 所以整体来说依然是不符合的ABCD 包含于 C => X
A 包含于 A,B,C => √ A = A
D 包含于 A,B,C => X
ABCD 包含于 ABC,ABD,ACD => X
ABC 包含于 AC,AB,ABC => √ ABC = ABCABCD 不包含于 C => √
A 不包含于 A,B,C => X A = A
D 不包含于 A,B,C => √
ABCD 不包含于 ABC,ABD,ACD => √
ABC 不包含于 AC,AB,ABC => X ABC = ABC