Em Poços de Caldas, todo funcionário do IBGE é feliz. Todo Matemático, se não for Agente Censitário, ou é feliz ou é Recenseador. Ora, não há Agente Censitário e não há Recenseador que não seja feliz. Desta forma, em Poços de Caldas, necessariamente: