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 não ficou feliz, certamente fez a ginástica à noite.