論理学的にはそうなんだろうけど誘導推論では成り立つんだよ