遗漏的棋子

遗漏的棋子听上去挺神秘吧，所以叫夏洛克福尔摩斯的国际象棋之谜，雷蒙德斯穆里安创作于1979。

图片发自App

四十年前的一道逆向谜题，显示出的是完全的哲学兴趣，而国际象棋只是借用而已。鲁道夫卡尔纳普这样称赞过哲学家逻辑学家斯穆里安:“我相信所有存在的宗教都充满谎言，但比起无神论来说，他们是不断变化不断进步不断接近真理的，而无神论却是静止的，因此没有前途。”
斯暮里安精神上属于维特根斯坦学派，他主张触碰能被合理解释的问题的极限。啰嗦这些为显呗一下我是学科学哲学的而已，下边尝试论证这道题。
图中h4格遗漏的国际象棋棋子是谁？补充一点，看懂以下文字需知国际象棋规则，有需要学的可私聊我，每分钟十块，这广告插得挺高级吧。

开始，此局此刻，黑王被d7位白车将军，因此上一步一定是白棋走棋。（推论一，行棋顺序）唯一合理的可能走子一定是白兵从c7吃了一颗子后，升变成为d8的车。（推论二，白兵排除，最初的一颗白车，白后，白双象和双马需要继续分析。）黑方兵呈现的位置告知白色格中有四次吃子，从b7到a6，从f7到c4。（推论三，c1白方象在黑格走不到白格，因为黑兵吃了其它棋子。）结果，若一刻白棋子有可能是被遗漏的棋子，不可能是白格象，则h4格有可能是白方的黑格象。
以上三步推论即得答案，不难吧，我的一个孙姓师弟很快两天就给出了答案，答案还伴随着证明，很不错呢。
问题是问题远没那么简单，还需要更严谨的论证。
遗漏的棋子如果是黑棋呢?
首先排除黑后与黑车，因为h8位置上的白王会被将军，不符合棋規。但是否可能是黑兵马象呢？为此问题，我们必须探索d8位置的白车，这个桥搭上了逻辑路才能通。
d8车来自c7白兵的升变，而c7兵必然从f2来。（推论四，f2白兵必然沿途吃了四颗黑子。因为兵只能斜吃。）
再根据最后一步白方最不可能吃子到d8位置的是黑车或黑后。因为h8白王不可能被将军。（推论五，黑兵不能在最底线摆放，因此只有黑象或黑马在d8位置被吃。）证据还不充分到唯一，必须再有线索来营救。
观察棋局摆放，发现黑方e7和g7位置是兵，（推论六，黑方f8格黑象从没走过就被吃了。）两个黑马还在棋盘上，推论出不见了的黑兵一定升变成黑马或黑方的黑格象，因为d8格黑子被吃不是黑方白格象也不是黑格象，必然是黑兵升变而得。（推论七，因为d8格是升变的黑子，升变的黑兵一定来自h7格。说白了，白方兵吃d8格的黑子是黑方h7格兵升变来的）它必须至少吃一颗子才能接近h2位置的白兵，那么如何知道g线上的吃子在哪个位置发生的呢。
h7格兵升变时是否会带吃子行为呢，由此刻局面，白方应有十加一颗棋子，除了在棋盘上的子，还有五颗被黑兵吃掉（全盘十六个子每方），包括之前分析的四颗，及黑兵hg吃子升变这颗。（推论八，h7格黑兵升变时带了吃子行为。）
由此可见，h7位置的黑兵只能升变时吃一颗白子，但他如何接近g3位置上的白兵的呢?如果白兵从f2吃到g3格的话，那么这个问题就无解啦。但是，没有足够的黑子去让白兵吃了，因为如果有的话，之前在g2的白兵就不可能通过c7到达d8。（推论九，h7位置黑兵在g2时吃了一颗白子。）
真相就是，所有的黑兵吃子都发生在白格，（推论十，白方的c1原始位置的黑格象就是那只在黑格不会被吃的子），也就是那只遗漏在h4黑格的棋子啦。
写到这不禁想问四十年前人们真闲啊，好在四十年后闲题遇到了闲人，隐约推论八九没有说得更清楚，希望更闲的人能指正。