太逗了，還反證法。我就用個順希臘法吧：

僅從形式邏輯來說，你怎麽能從1推出2？隻能從2推出1。

你還是概念不清，把馬是（一切有顏色的馬的）集合，與集合裏的元素（有顏色的馬）混淆了（即你說的，把3帶入2）。