>>660
>Aが天使だとすると、Pは真

以後は無駄だろう。