論理的な思考とは
自玉に詰みははない
相手玉は1手では受からない
よって相手の指し手は王手による二手指しの受けに限られる
ところが相手の全ての候補手に対して1手で受かる状態に改善させない応手が存在する
以上より相手が詰めろを解くことができないことが証明されたため勝ちである
みたいなの