说说我的看法。这里的归纳推理的第二步有三个集合

A：N+1匹马。B：A-马1，N匹马。C：A-马2，N匹马。
由归纳假设，B，C里的马都同色。所以　A=B并C　里的马都同色。

这里的问题是，这一步推理需要一个充分必要条件：B交C非空。这样A中除了马1，马2外还至少要有一匹马。N+1至少是三，N至少是二。