パープレのR1とSonetの組み合わせ塞がれてるやん
推論が強制的にProサーチになっちゃう