王子为自己找新娘，公爵家有两个一样漂亮的双胞胎女儿，一个是只说真话的老大，一个是专讲假话的老二。王子觉得真实很重要，所以想娶老大。公爵让两个姑娘一左一右站立，叫王子自己来分辨。于是，王子问左边的姑娘“你们两个中有一个是老大？”左边的姑娘说：“没有。”王子略一思索，就知道了这两个姑娘的身份。

逻辑推理形式：

如果p，那么q；

如果q，那么r；

所以，如果非r，那么非p。