AならばBは
Aが間違いならこの命題は正しい
私が天使なら相手も天使
私が悪魔ならこの命題は正しいので悪魔ではない
従って両方とも天使である