成り立たない例を見つけました。
仮説によると、青マス３つから、赤マスも２値マスになるはず。
36 → 62 → 24 から、残りは 43 に違いない。
つまり、赤枠マス（行１列６）から候補２が除去されるはず。
https://i.imgur.com/GEMBpKE.png
実際には、この局面はＸＹウィングを使って解決する。
青マス３つの位置関係から、翼の両端のどちらかが６になるはずなので、
翼の両端から共通して見える赤マスから、それぞれ候補６が除去される。
これを解き進めると、赤枠マス（行１列６）は２に決定する。
https://i.imgur.com/73IdBkw.png