也許我換一種寫法並多加些注釋會更清楚一些(另外我(3X.2)中有些筆誤))...

其實我每一步與前一步的差異隻有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)一定是唯一的可能性。