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
Fonte: TéCNICO DA RECEITA ESTADUAL - TECNOLOGIA DA INFORMAçãO / SEFAZ - SEGEP/MA / 2016 / FCC