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
