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: