Uma empresa mantém a seguinte regra em relação a seus funcionários:

Se um funcionário tem mais de 45 anos de idade, então ele deverá, todo ano, realizar pelo menos um exame médico e tomar a vacina contra a gripe.

Considerando que essa regra seja sempre cumprida, é correto concluir que, necessariamente, se um funcionário dessa empresa