这个小故事，首先能提取出来的信息是：假设，诚实族总是说真话，说谎族总是说假话。这就相当于说明了命题的取值只有真或者假，没有第三种可能。
然后将三个外星人的回答转换成如下命题：
阿尔菲：贝蒂是说谎族的。
贝蒂：阿尔菲与杰玛是同一个种族的。
杰玛：贝蒂是诚实族的。
现在就可以进行判断了。首先可以看出阿尔菲与杰玛的回答明显矛盾，而贝蒂却说她们是同一个种族，所以，推论贝蒂的回答是谎话，她是说谎族的。既然已经确定了贝蒂是说谎族的，那么阿尔菲就说了真话，杰玛说了假话。阿尔菲是诚实族，贝蒂和杰玛是说谎族的。
原文：http://solitarycandle.blog.51cto.com/986280/1925386