>>668
>1行目で、Pは真だと確定させたんだよ

仮定したの間違いでは?