Certo dia, cinco Agentes de um mesmo setor do Tribunal de Contas do Estado de São Paulo ? Amarilis, Benivaldo, Corifeu, Divino e Esmeralda ? foram convocados para uma reunião em que se discutiria a implantação de um novo serviço de telefonia. Após a realização dessa reunião, alguns funcionários do setor fizeram os seguintes comentários:
- "Se Divino participou da reunião, então Esmeralda também participou";
- "Se Divino não participou da reunião, então Corifeu participou";
- "Se Benivaldo ou Corifeu participaram, então Amarilis não participou";
- "Esmeralda não participou da reunião".
Considerando que as afirmações contidas nos quatro comentários eram verdadeiras, pode-se concluir com certeza que, além de Esmeralda, não participaram de tal reunião