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