論理的にネガキャンマンがいないことがわかるみたいな