Uma empresa possui ginástica laboral de segunda a sexta-feira para seus funcionários, com as seguintes regras: quem faz a ginástica de manhã pode repeti-la à tarde; quem não faz a ginástica pela manhã é obrigado a fazê-la à tarde ou à noite; quem faz a ginástica à noite não a fez pela manhã nem à tarde; e quem faz a ginástica duas vezes no mesmo dia fica feliz. Com base nesse caso hipotético, julgue o item que se segue. Se um funcionário está fazendo a ginástica à tarde, então ele não a fará à noite e não ficará feliz.