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