Chaque personne ici a trois caractéristiques (être Papou, être papa, avoir des poux), d'où huit catégories de personnes :
- les Papous papas à poux (qu'on appelera la catégorie Une)
- les Papous papas pas à poux (catégorie Deux)
- les Papous pas papas à poux (Trois)
- les Papous pas papas pas à poux (Quatre)
- les pas Papous papas à poux (Cinq)
- les pas Papous papas pas à poux (Six)
- les pas Papous pas papas à poux (Sept)
- les pas Papous pas papas pas à poux (Huit)
On peut désormais traduire ainsi les hypothèses :
- il n'y a pas de papas Papous à poux ni de pas Papous pas papas à poux, autrement dit personne n'est dans la catégorie Une ni Sept (1)
- il y a 24 000 personnes à poux, ce qui regoupe les catégories Une - Trois - Cinq - Sept (2)
- il y a deux fois plus de pas Papous à poux (catégories Cinq et Sept) que de Papous à poux (catégories Une et Trois) (3)
(1) regroupé avec (2) nous dit qu'il y a 24 000 personnes dans les catégories Trois et Cinq. Mais en regroupant (1) avec (3), on obtient qu'il y a deux fois plus de monde dans Cinq que Trois. Dès lors Cinq représente deux tiers des 24 000 et Trois représente l'autre tiers :
il y a 16 000 personne dans Cinq et 8 000 dans Trois.
La question est de compter les papas pas Papous à poux : la catégorie Cinq. Il y en a donc 16 000.

Retour à l'énoncé