>>592
Aのセリフを命題Pとする

Aが天使だとすると、Pは真なので、Bは天使。
このことから、「Aが天使だとするとBも天使である」ことが導けた。
今導いたのはまさに命題P。つまり命題Pは真。よってAは天使。