Relativamente a uma mesma prova de um concurso a que se submeteram, três amigos fizeram as seguintes declarações:
Ariovaldo: Benício foi reprovado no concurso e Corifeu foi aprovado. Benício: Se Ariovaldo foi reprovado no concurso, então Corifeu também o foi. Corifeu: Eu fui aprovado no concurso, mas pelo menos um dos outros dois não o foi.
Admitindo-se que as três declarações são verdadeiras, então