Investigando uma fraude bancária, a polícia colheu evidências de que as seguintes afirmações são verdadeiras:

- Se Pedro é culpado, então João é culpado.

- Se Pedro é inocente, então João ou Carlos são culpados.

- Se Carlos é inocente, então João é inocente.

- Se Carlos é culpado, então Pedro é culpado.

As evidências colhidas pela polícia indicam, portanto, que: