José, Luís e Mário são funcionários públicos nas funções...

José, Luís e Mário são funcionários públicos nas funções de auditor, analista e técnico, não necessariamente nessa ordem. Sabe-se que José não é analista, que o técnico será o primeiro dos três a se aposentar e que o analista se aposentará antes de Mário. Todo ano os três tiram um mês de férias e, no ano passado, no mesmo mês que José saiu de férias, ou Luís ou Mário também saiu.