そもそも証明されたらもう信じる必要ないよね。

ゆえにソクラテスは必ず死ぬ

何言ってんだ。つまりＡもＢもＣも宮野真守ってことだろ？

いや = ならA = BでB = Cのとき、A = Cになるよ お前が言いたいのは is だろ？ A is Bで B is Cだけど A is Cというわけではない、と

まあ、フィクションだから、オカリンは架空の名前だろう。つまり、反例になってない。