Es gibt folgende mögliche Kombinationen:
(x/y)
(Wa/Wa), (Wa/Fa), (Fa/Wa) und (Fa/Fa)
X sagt: Wir sind beide Fas. Wenn das stimmten würde, würde er lügen, weil er dann ein Fa ist und zwangsläufig die Unwahrheit sagt. Wäre er ein Wa, könnte er nicht behaupten, dass beide Fas sind, weil er sonst lügen müsste.
Daraus ergibt sich das er ein Fa ist und Y ein Wa, weil er mit der ersten Aussage die Kombination (Fa/Fa) ausschließt und es dann nur noch eine Kombination mit ihm als Fa gibt.
Prüft man die wahre Kombination (Fa/Wa) in Verbindung mit den anderen Aussagen, kommts auch hin.