Raciocínio Lógico — ação declaratória de constitucionalidade adc

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: