É necessário que Beatriz durma para que Sérgio fique feliz. Quando Beatriz dorme, então Romério faz uma visita. É necessário e suficiente que Romério faça uma visita para que Amélia descanse. Logo, quando Sérgio fica feliz, então
- A Amélia descansa e Beatriz dorme.
- B Amélia não descansa ou Beatriz não dorme.
- C Beatriz não dorme e Romério faz uma visita.
- D Beatriz não dorme e Romério não faz uma visita.