Это ситуация рассматривается на одних только четверках? В этом случае же возможен расклад для указанной четверки:
Синее - заполненные клетки судоку или клетки, в которых не может быть 4;
Красный - рассматриваемый кандидат;
Светло-красный - исключенные клетки;
Зеленым в конце выделено X-крыло - четверки могут быть в двух разных положениях.
Так что такая комбинация существует. Тут нужна какая-нибудь более мощная аналитика...
Светло-красный - исключенные