Se Roberta for promovida, então Antônio não será demitido.

Se Cláudia se aposentar, então Douglas não perderá o seu posto.

Se Douglas não perder seu posto, então Antônio será demitido.

Sabe-se que Cláudia se aposentou.

A partir dessas informações é correto concluir que