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