※ 引述《MathTurtle (恩典)》之銘言：
: Case 1. x 可以代換任何同指涉的詞是合理的。
: →原條件可推得5.布瑪認為達爾善良 & 3.布瑪認為貝吉塔不善良
: 這裡沒有問題, 但在假設 x 可以代換任何同指涉的詞下,
: 我們可以把「布瑪認為達爾善良」代換為「布瑪認為貝吉塔善良」
: (即把 a 與 b 分別代入 F[Gx] 中, 而 a=b)
: 因此, 可以再從 5 與 4 推得 「布瑪認為貝吉塔善良」,而與 3 矛盾。
: 這就是說, 在假設「x 可以代換任何同指涉的詞是合理的」情況下,
: 這一組前提1*-4是彼此矛盾的。
: 我們因此不會再用它們推出的結果去推論出「x 可以代換任何同指涉的詞是不合理的」。
: (因為矛盾的前提可以推出任何結果, 所以嚴格說來這是對的,
: but it doesn't mean anything beyond its contradictoriness)
數龜理解的「直覺上合理」似乎和我不太一樣呢...
謬誤常分類為：不一致、不相干、不充分、不當預設，
我說我認為直覺上合理，是指這推理沒有謬誤，也就是說對於這樣的論證：
1.對於所有x，如果布瑪認為x是外星人，則布瑪認為x善良
2.布瑪認為達爾是外星人
3.布瑪認為貝吉塔不善良
4.達爾是貝吉塔