邏輯試題一

有１２名惡棍同聚一室談判，後來因為談不攏，引發一陣兇殘。

根據搜證資料，得到以下四條線索：

１ (甄大殺了郝小而且吳一殺了劉二)以及(張三沒殺李四而且蘇五沒殺勞六)

　　這兩者至少有一方面是事實。

２如果(張三殺了李四而且甄大殺了郝小)，那麼便可進一步斷定：

　　如果吳一殺了劉二，則白七沒殺王八。

３如果不是(白七殺了王八或者賈九殺了程十)，那麼吳一就沒殺劉二。

４事實上，賈九沒殺程十。

法官據此斷定：張三沒殺李四。

若您覺得法官推論正確，請逐步證明

　　否則請您舉出一個反例