ホイップ

対象候補を真と仮定し、鎖の先で候補切れになる矛盾から除外します。

この盤面での流れ

対象の2を真とすると、鎖の先で候補が尽きる

まだマークはありません現在地 0 / 2