Phá án bằng suy luận

Giải bằng constraint propagation: mỗi câu “không biết” phải biến thành một ràng buộc mới.