Most possibilities led to a contradiction, and the few remaining could be tested by hand.
Đa số khả năng sẽ dẫn đến mâu thuẫn, chỉ còn số ít còn lại có thể kiểm tra bằng tay được.