///
Carmen, Mauro, Alberto, Dimas e Nivaldo são funcionários públicos em uma mesma secretaria. Carmen trabalha lá há mais tempo que Mauro e há menos tempo que Alberto. Alberto trabalha nessa secretaria há mais tempo que Dimas, que não trabalha lá há mais tempo que Carmen. Se Nivaldo não trabalha nessa secretaria há mais tempo que Mauro, então pode-se concluir corretamente que