BUG+n追加候補のどれかが真になるため、そのすべてと両立しない候補を消せます。この盤面での流れ純粋なBUGは2解になるため、追加候補の少なくとも1つが真になる514362168754695126417127467463195828316261329259631まだマークはありません現在地 0 / 258