Em busca de evidências de uma fraude, um perito contábil analisou as quatro afirmações a seguir:

• se Abel é culpado, então Beto é culpado;
• se Caio é culpado, então Abel é culpado;
• se Caio é inocente, então Beto é inocente;
• se Abel é inocente, Beto e Caio são culpados.

Após apurar que todas as afirmações são verdadeiras, foi possível concluir que