Investigando uma fraude bancária, um famoso detetive colheu evidências que o convenceram da verdade das seguintes afirmações

1) Se Homero é culpado, então João é culpado.

2) Se Homero é inocente, então João ou Adolfo são culpados.

3) Se Adolfo é inocente, então João é inocente.

4) Se Adolfo é culpado, então Homero é culpado.

As evidências colhidas pelo famoso detetive indicam, portanto, que: