Siedząca najwyżej wiedziałaby, jaki ma kapelusz, tylko w przypadku, kiedy obie pozostałe miały białe kapelusze. Sytuacja b<b<c nie może więc mieć miejsca.
Przejdźmy do środkowej kobiety i załóżmy, że widzi biały kapelusz - gdyby tak było, to na podstawie ~(b<b<c) wiedziałaby ona, że ma czarny kapelusz (b<c<b lub b<c<c).
Nie wprost udowodnione zatem zostało, że kobieta, która siedzi najniżej, musi mieć czarny kapelusz.
