Problema de Lógica

[sidd <sidd@xxxxxxxxxxxxxxxxxx>]

Em um país com um milhão de casais, 40 esposas são infiéis. Cada homem
sabe se as esposas dos outros são ou não infiéis, mas não sabe quanto à
própria. Certo dia, o rei do país publica o seguinte decreto:

(a) Sabe-se que ao menos uma mulher é infiél;
(b) Todo homem sabe se a mulher de outro homem é fiel ou não
(c) Toda noite, a partir dessa noite (chamaremos de noite 1), cada homem
deve tentar deduzir (a partir de seu conhecimento acumulado acerca das
mulheres dos demais e daquilo que ele pode supôr ou não que os demais
homens saibam) se sua esposa é fiel ou não;
(d) Cada homem que conseguir provar que sua esposa é infiel deve
assassiná-la;
(e) Toda noite cada homem deve verificar se as esposas dos outros homens
foram assassinadas;
(f) Até o presente momento nenhum homem sabe ou não se sua própria
esposa é infiel;

A pergunta é: o que acontece nessa situação?