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.

Com base nessas informações, julgue os itens que se seguem.

Se os três servidores trabalharem até o momento da aposentadoria e se aposentarem nos tempos previstos, então José ou Mário ainda estarão trabalhando quando Luís completar o tempo necessário para se aposentar.