※ 引述《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.达尔是贝吉塔