if | X_{1} is A_{11} | and | X_{2} is A_{12} | ⋯ | X_{ n } is A_{1n} | then | Y is B_{1} |
else if | X_{1} is A_{21} | and | X_{2} is A_{22} | ⋯ | X_{ n } is A_{2n} | then | Y is B_{2} |
⋮ | ⋮ | ||||||
else if | X_{1} is A_{m 1} | and | X_{2} is A_{m 2} | ⋯ | X_{ n } is A_{ mn } | then | Y is B_{ m } |
X_{1} is A_{1} | and | X_{2} is A_{2} | ⋯ | X_{ n } is A_{ n } | |||
Conclusion | Y is B |