Os agentes penitenciários Carlos, Jorge, Fabio, Antoni...

Os agentes penitenciários Carlos, Jorge, Fabio, Antonio e Guilherme fizeram exame médico e verificaram que possuem pesos diferentes. Carlos disse que é mais leve que Fábio, mas é mais pesado que Antônio. Guilherme afirma que só um dos outros agentes é mais pesado que ele. Antônio disse que ele não é o mais leve dos cinco.
Suponhamos que todos disseram a verdade.
Fazendo uma fila com esses cinco agentes, ordenando do mais leve para o mais pesado, é verdade que