Considere como verdadeiras as afirmativas a seguir.

I. Se Carlos mentiu, então João é culpado.
II. Se João é culpado, então Carlos não mentiu.
III. Se Carlos não mentiu, então Pedro não é culpado.
IV. Se Pedro não é culpado, então João não é culpado.

Com base nas afirmativas acima, é correto concluir que