ｸｲｽﾞ大陸

2人(�@と�A、もしくは�@と�B)


�@が悪魔なら、その意見から、�A,�B共に悪魔であるということになり、
�Aの意見が嘘ではないことからこれは矛盾する、即ち�@は天使。

�@の意見が真であることから、�A,�Bのうち
［１］いずれかが天使、もしくは［２］両方天使ということになる。
［２］両方が天使とすると、�Aの意見も真ということになり、矛盾する。
よって［１］いずれかが天使。
�Aが天使であるとすると、その意見が真であることから�Bが悪魔、ということになりこれは条件に反しない。
�Bが天使であるとすると条件から�Aが悪魔となり、その意見が嘘であることからこれも成り立つ。

∴�@と�Aもしくは�@と�Bの二人が天使。