仮定が偽であれば、結論は全て真。これは論理学の常識。
だから >>1 は論理的に正しい。