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: