Se Alceu tira férias, então Brenda fica trabalhando. Se Brenda fica trabalhando, então Clóvis chega mais tarde ao trabalho. Se Clóvis chega mais tarde ao trabalho, então Dalva falta ao trabalho. Sabendo-se que Dalva não faltou ao trabalho, é correto concluir que