(A and B and C) or (A and B and C and D) or (A and B and E and F)