Cinco pessoas (Arnaldo, Bernardo, Cláudio, Diógenes e Ernesto), suspeitas de determinada contravenção, são chamadas para acareação por uma autoridade policial. Exatamente dois deles são culpados, e as seguintes declarações foram feitas durante o depoimento:

I Arnaldo disse que os culpados não foram Ernesto nem Bernardo;

II Bernardo disse que os culpados não foram Arnaldo nem Cláudio;

III Cláudio disse que os culpados não foram Bernardo nem Diógenes.

A proposição “Se André é culpado então Bruno não é suspeito” é equivalente à