いや推理ゲート型ならあるだろ