Em uma investigação de fraude administrativa, um detetive colheu evidências que o convenceram de que as seguintes afirmações são verdadeiras:
- Se Epaminondas é culpado, então João é culpado.
- Se Epaminondas é inocente, então João ou Ariovaldo são culpados.
- Se Ariovaldo é inocente, então João é inocente.
- Se Ariovaldo é culpado, então Epaminondas é culpado. Assinale a alternativa que apresenta, corretamente, o que indicam as evidências do detetive.