「哀说：本体是我。
「乐说：本体不是我。」
「嗯，对的。」
明珀示意她继续。
看来这孩子的记忆力还算及格。
「那如果喜说的是实话……」
廖汀兰尝试推理：「那就是说本体是怒或者哀。但是哀说「本体是我』，如果哀是本体那麽就同时有两个实话了，所以不成立。如果怒是本体的话，那麽乐说「本体不是我』就也是实话了，所以也不成………」「同理，如果怒说的是实话……那麽本体就是喜或者乐中的一个，那……」
她说到这里，突然卡壳了：「那就说明……说明……说明喜说的不是实话……」
她冥思苦想，却总感觉推不下去了。
明珀叹了口气，决定放过她：「假设法是对的，但你假设错前提了。你应该假设的是「谁是本体』，然後用「如果他是本体的话』去依次套用他们的逻辑。而不是「谁说了谎』，再用这个逻辑去判断他们的言论是不是谎言。
「但这个问题，根本不需要这麽麻烦。这里用矛盾律或者排中律就可以了。」
逻辑学有两个重要概念，就是矛盾律和排中律。