Zagadka nie ma rozwiązania. Każda dowolna suma zmiennych oprócz sum: X + W oraz Z + Y są mniejsze od C, w szczególności mamy X + Z < C i W + Y < C. Z drugiej jednak strony mamy:
X + W ≥ C oraz Z + Y ≥ C, więc dodając stronami mamy X + W + Z + Y ≥ 2C, ale z założenia mamy też, że dowolne sumy różne od wyżej przytoczonych są mniejsze od C. Stąd X + Z < C oraz W + Y < C, więc otrzymujemy ciąg nierówności:
C + C > X + W + Z + Y ≥ 2C, a więc 2C > 2C, co jest oczywiście sprzeczne.
Można też użyć innego założenia, które masz tutaj wypisane: X + Y + W + Z < C. Lewa strona jest większa bądź równa 2C.