2≠3⊃0=0
0=0⊃2≠3
は仮定も結論も真だから共に成立する
∴2≠3≡0=0