太逗了，还反证法。我就用个顺希腊法吧：

仅从形式逻辑来说，你怎么能从1推出2？只能从2推出1。

你还是概念不清，把马是（一切有颜色的马的）集合，与集合里的元素（有颜色的马）混淆了（即你说的，把3带入2）。