Em uma investigação de fraude administrativa, um detetive colheu evidências que o convenceram de que as seguintes afirmações são verdadeiras:

1. Se Epaminondas é culpado, então João é culpado.

2. Se Epaminondas é inocente, então João ou Ariovaldo são culpados.

3. Se Ariovaldo é inocente, então João é inocente.

4. Se Ariovaldo é culpado, então Epaminondas é culpado.

Assinale a alternativa que apresenta, corretamente, o que indicam as evidências do detetive.