A: Zhao va, B Qian va, C Sun va, D Li va, E Zhou va
(1) Si Zhao va, Qian también va, A→B＝┐ A∨B
(2) Li, uno de Zhou debe ir a D∨E
(3) Qian, solo uno de Sun irá (B∧ ┐C)∨(┐ B∧C)
(4) Sun y Li van juntos o no (┐C∧┐D)∨(C∧D)
(5) Si Zhou va, entonces Zhao y Qian también va E→A∧B＝┐E∨(A∧B)
Se obtiene la intersección de los cinco
Zhao Qianzhou, o Sun Li