card(A∪B∪C),card(A),card(B),card(C),card(A∩B),card(B∩C),card