Raciocínio Lógico — atos administrativos

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.