謬在第二步。

不同數目的馬集合中，雖各自同色，卻不一定同於同一種色。譬如，K集的馬都是白色，J集的馬都是黑色。因此第二步中N與（N+1）之間的推斷是不成立的。通俗地說，當N變成了(N+1)，就不能再假設馬還是原來的馬了。