其實我每一步與前一步的差異隻有1~2項,而且肯定隻關於一種素質,所以應該是容易讀懂的。
為表述方便令1=富有,2=聰明,3=藝術才華,4=漂亮
由於A窮或B窮都會推出矛盾,而且這兩部分沒有什麽異議故不再贅述。所以有:
(1) A+1 B+1 C-1 (A富有 B富有 C窮 )
(2) A+1+3 B+1 C-1 (因為A富有,所以A有才華(A+3))
(3X) A+1+3 B+1+3 C-1 (這裏為了能繼續賦值下去隻好先假設B有才華(B+3))
(3X.1) A+1+3 B+1+3 C-1-3 (因為A和B都有才華,所以C隻能是無才華(C-3))
(3X.2) A+1+3 B+1+3 C-1-3-4 (因為C無才華,所以C一定不漂亮(C-4))
(3X.3) A+1+3+4 B+1+3+4 C-1-3-4 (C不漂亮當然就意味著A和B都漂亮(A+4 B+4))
至此A和B都已經是+1+3+4,再往下推意味著兩人中必然至少有一人會是+1+3+4+2,而這與已知“沒有人會擁有所有4種素質”是不符的。所以(3X)的假設(B+3)是不成立的,所以必然有B-3,即:
(3) A+1+3 B+1-3 C-1 (B無才華(B-3))
(4) A+1+3 B+1-3 C-1+3 (所以C有才華(C+3))
(5) A+1+3 B+1-3-4 C-1+3 (因為B無才華,所以B一定不漂亮(B-4))
(6) A+1+3+4 B+1-3-4 C-1+3+4 (B不漂亮意味著A和C都漂亮(A+4 C+4))
(7) A+1+3+4-2 B+1-3-4 C-1+3+4 (A+1+3+4 意味著A隻能-2 (不聰明))
(8) A+1+3+4-2 B+1-3-4+2 C-1+3+4+2 (A不聰明意味著B和C都聰明(B+2 C+2))
所以(8)一定是唯一的可能性。