「豚が4より大きいということは成立しない」でなんの不思議もありませんが?