J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 3 | 1 2 3 | 1 2 3 | 1 2 3 | | | 1 | A | 5 | | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 | | | | 8 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 | | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 1 2 3 | | 1 2 3 | 1 2 3 | 3 | | B | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | | | | 7 8 9 | 7 8 9 | 9 | 7 8 9 | 7 | 7 8 9 | 7 8 9 | | 8 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 3 | | | | | 1 2 3 | C | 4 5 6 | 4 5 6 | | | 4 | | | 5 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 | | | 8 | 9 | | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 1 2 3 | | | | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 6 | 4 5 6 | | | 5 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | | 7 8 9 | 8 | 7 | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | | 1 2 3 | 3 | 1 2 3 | | | 1 2 3 | E | 4 5 6 | | 5 | 4 5 6 | | 4 5 6 | | | 4 5 6 | | 7 8 9 | 7 | | 7 8 9 | | 7 8 9 | 8 | 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 2 | | | | 1 2 3 | 1 | 1 2 3 | 1 2 3 | F | 4 5 6 | | | 4 | 5 | 4 5 6 | | 4 5 6 | 4 5 6 | | 7 8 9 | | 8 | | | 7 8 9 | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 2 | | 1 2 3 | | 3 | 1 2 3 | 1 2 3 | G | 6 | 5 | | | 4 5 6 | 4 | | 4 5 6 | 4 5 6 | | | | | 8 | 7 8 9 | | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | 3 | 1 | 1 2 3 | 2 | 1 2 3 | | | 1 2 3 | H | | | | 4 5 6 | | 4 5 6 | 4 | | 4 5 6 | | 7 | | | 7 8 9 | | 7 8 9 | | 8 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | I | | | 4 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 5 | | 8 | 9 | | 7 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ 156 Deductions found: 1. Since {(There is something in AJ)} we know 1 of {5AJ} are true. But those are a subset of {(There is a 5 in row A)}. Therefore, we know that none of {5AM or 5AN or 5AO} are true. 2. Since {(There is something in AJ)} we know 1 of {5AJ} are true. But those are a subset of {(There is a 5 in column J)}. Therefore, we know that none of {5BJ or 5CJ or 5DJ or 5EJ or 5FJ} are true. 3. Since {(There is something in AJ)} we know 1 of {5AJ} are true. But those are a subset of {(There is a 5 in box 1)}. Therefore, we know that none of {5BJ or 5BK or 5CJ or 5CK} are true. 4. Since {(There is something in AK)} we know 1 of {8AK} are true. But those are a subset of {(There is a 8 in row A)}. Therefore, we know that none of {8AM or 8AN or 8AO} are true. 5. Since {(There is something in AK)} we know 1 of {8AK} are true. But those are a subset of {(There is a 8 in column K)}. Therefore, we know that none of {8BK or 8CK or 8DK} are true. 6. Since {(There is something in AK)} we know 1 of {8AK} are true. But those are a subset of {(There is a 8 in box 1)}. Therefore, we know that none of {8BJ or 8BK or 8CJ or 8CK} are true. 7. Since {(There is something in AL)} we know 1 of {3AL} are true. But those are a subset of {(There is a 3 in row A)}. Therefore, we know that none of {3AM or 3AN or 3AO} are true. 8. Since {(There is something in AL)} we know 1 of {3AL} are true. But those are a subset of {(There is a 3 in box 1)}. Therefore, we know that none of {3BJ or 3BK or 3CJ or 3CK} are true. 9. Since {(There is something in AP)} we know 1 of {7AP} are true. But those are a subset of {(There is a 7 in row A)}. Therefore, we know that none of {7AM or 7AN or 7AO} are true. 10. Since {(There is something in AP)} we know 1 of {7AP} are true. But those are a subset of {(There is a 7 in column P)}. Therefore, we know that none of {7BP or 7IP} are true. 11. Since {(There is something in AP)} we know 1 of {7AP} are true. But those are a subset of {(There is a 7 in box 3)}. Therefore, we know that none of {7BP or 7CR} are true. 12. Since {(There is something in AQ)} we know 1 of {4AQ} are true. But those are a subset of {(There is a 4 in row A)}. Therefore, we know that none of {4AM or 4AN or 4AO} are true. 13. Since {(There is something in AQ)} we know 1 of {4AQ} are true. But those are a subset of {(There is a 4 in column Q)}. Therefore, we know that none of {4DQ or 4FQ or 4GQ or 4IQ} are true. 14. Since {(There is something in AQ)} we know 1 of {4AQ} are true. But those are a subset of {(There is a 4 in box 3)}. Therefore, we know that none of {4BP or 4CR} are true. 15. Since {(There is something in AR)} we know 1 of {1AR} are true. But those are a subset of {(There is a 1 in row A)}. Therefore, we know that none of {1AM or 1AN or 1AO} are true. 16. Since {(There is something in AR)} we know 1 of {1AR} are true. But those are a subset of {(There is a 1 in column R)}. Therefore, we know that none of {1CR or 1DR or 1ER or 1FR or 1GR or 1HR} are true. 17. Since {(There is something in AR)} we know 1 of {1AR} are true. But those are a subset of {(There is a 1 in box 3)}. Therefore, we know that none of {1BP or 1CR} are true. 18. Since {(There is something in BL)} we know 1 of {9BL} are true. But those are a subset of {(There is a 9 in row B)}. Therefore, we know that none of {9BJ or 9BK or 9BM or 9BO or 9BP} are true. 19. Since {(There is something in BL)} we know 1 of {9BL} are true. But those are a subset of {(There is a 9 in box 1)}. Therefore, we know that none of {9BJ or 9BK or 9CJ or 9CK} are true. 20. Since {(There is something in BN)} we know 1 of {7BN} are true. But those are a subset of {(There is a 7 in row B)}. Therefore, we know that none of {7BJ or 7BK or 7BM or 7BO or 7BP} are true. 21. Since {(There is something in BN)} we know 1 of {7BN} are true. But those are a subset of {(There is a 7 in column N)}. Therefore, we know that none of {7AN or 7GN or 7IN} are true. 22. Since {(There is something in BN)} we know 1 of {7BN} are true. But those are a subset of {(There is a 7 in box 2)}. Therefore, we know that none of {7AM or 7AN or 7AO or 7BM or 7BO} are true. 23. Since {(There is something in BQ)} we know 1 of {3BQ} are true. But those are a subset of {(There is a 3 in row B)}. Therefore, we know that none of {3BJ or 3BK or 3BM or 3BO or 3BP} are true. 24. Since {(There is something in BQ)} we know 1 of {3BQ} are true. But those are a subset of {(There is a 3 in column Q)}. Therefore, we know that none of {3DQ or 3FQ or 3GQ or 3IQ} are true. 25. Since {(There is something in BQ)} we know 1 of {3BQ} are true. But those are a subset of {(There is a 3 in box 3)}. Therefore, we know that none of {3BP or 3CR} are true. 26. Since {(There is something in BR)} we know 1 of {8BR} are true. But those are a subset of {(There is a 8 in row B)}. Therefore, we know that none of {8BJ or 8BK or 8BM or 8BO or 8BP} are true. 27. Since {(There is something in BR)} we know 1 of {8BR} are true. But those are a subset of {(There is a 8 in column R)}. Therefore, we know that none of {8CR or 8DR or 8ER or 8FR or 8GR or 8HR} are true. 28. Since {(There is something in BR)} we know 1 of {8BR} are true. But those are a subset of {(There is a 8 in box 3)}. Therefore, we know that none of {8BP or 8CR} are true. 29. Since {(There is something in CL)} we know 1 of {7CL} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CK or 7CR} are true. 30. Since {(There is something in CL)} we know 1 of {7CL} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7BJ or 7BK or 7CJ or 7CK} are true. 31. Since {(There is something in CM)} we know 1 of {3CM} are true. But those are a subset of {(There is a 3 in row C)}. Therefore, we know that none of {3CJ or 3CK or 3CR} are true. 32. Since {(There is something in CM)} we know 1 of {3CM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3AM or 3BM or 3DM or 3EM or 3HM} are true. 33. Since {(There is something in CM)} we know 1 of {3CM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AM or 3AN or 3AO or 3BM or 3BO} are true. 34. Since {(There is something in CN)} we know 1 of {4CN} are true. But those are a subset of {(There is a 4 in row C)}. Therefore, we know that none of {4CJ or 4CK or 4CR} are true. 35. Since {(There is something in CN)} we know 1 of {4CN} are true. But those are a subset of {(There is a 4 in column N)}. Therefore, we know that none of {4AN or 4GN or 4IN} are true. 36. Since {(There is something in CN)} we know 1 of {4CN} are true. But those are a subset of {(There is a 4 in box 2)}. Therefore, we know that none of {4AM or 4AN or 4AO or 4BM or 4BO} are true. 37. Since {(There is something in CO)} we know 1 of {8CO} are true. But those are a subset of {(There is a 8 in row C)}. Therefore, we know that none of {8CJ or 8CK or 8CR} are true. 38. Since {(There is something in CO)} we know 1 of {8CO} are true. But those are a subset of {(There is a 8 in column O)}. Therefore, we know that none of {8AO or 8BO or 8EO or 8FO or 8HO or 8IO} are true. 39. Since {(There is something in CO)} we know 1 of {8CO} are true. But those are a subset of {(There is a 8 in box 2)}. Therefore, we know that none of {8AM or 8AN or 8AO or 8BM or 8BO} are true. 40. Since {(There is something in CP)} we know 1 of {9CP} are true. But those are a subset of {(There is a 9 in row C)}. Therefore, we know that none of {9CJ or 9CK or 9CR} are true. 41. Since {(There is something in CP)} we know 1 of {9CP} are true. But those are a subset of {(There is a 9 in column P)}. Therefore, we know that none of {9BP or 9IP} are true. 42. Since {(There is something in CP)} we know 1 of {9CP} are true. But those are a subset of {(There is a 9 in box 3)}. Therefore, we know that none of {9BP or 9CR} are true. 43. Since {(There is something in CQ)} we know 1 of {5CQ} are true. But those are a subset of {(There is a 5 in row C)}. Therefore, we know that none of {5CJ or 5CK or 5CR} are true. 44. Since {(There is something in CQ)} we know 1 of {5CQ} are true. But those are a subset of {(There is a 5 in column Q)}. Therefore, we know that none of {5DQ or 5FQ or 5GQ or 5IQ} are true. 45. Since {(There is something in CQ)} we know 1 of {5CQ} are true. But those are a subset of {(There is a 5 in box 3)}. Therefore, we know that none of {5BP or 5CR} are true. 46. Since {(There is something in DL)} we know 1 of {6DL} are true. But those are a subset of {(There is a 6 in row D)}. Therefore, we know that none of {6DJ or 6DK or 6DM or 6DQ or 6DR} are true. 47. Since {(There is something in DL)} we know 1 of {6DL} are true. But those are a subset of {(There is a 6 in box 4)}. Therefore, we know that none of {6DJ or 6DK or 6EJ or 6FJ} are true. 48. Since {(There is something in DN)} we know 1 of {8DN} are true. But those are a subset of {(There is a 8 in row D)}. Therefore, we know that none of {8DJ or 8DK or 8DM or 8DQ or 8DR} are true. 49. Since {(There is something in DN)} we know 1 of {8DN} are true. But those are a subset of {(There is a 8 in column N)}. Therefore, we know that none of {8AN or 8GN or 8IN} are true. 50. Since {(There is something in DN)} we know 1 of {8DN} are true. But those are a subset of {(There is a 8 in box 5)}. Therefore, we know that none of {8DM or 8EM or 8EO or 8FO} are true. 51. Since {(There is something in DO)} we know 1 of {7DO} are true. But those are a subset of {(There is a 7 in row D)}. Therefore, we know that none of {7DJ or 7DK or 7DM or 7DQ or 7DR} are true. 52. Since {(There is something in DO)} we know 1 of {7DO} are true. But those are a subset of {(There is a 7 in column O)}. Therefore, we know that none of {7AO or 7BO or 7EO or 7FO or 7HO or 7IO} are true. 53. Since {(There is something in DO)} we know 1 of {7DO} are true. But those are a subset of {(There is a 7 in box 5)}. Therefore, we know that none of {7DM or 7EM or 7EO or 7FO} are true. 54. Since {(There is something in DP)} we know 1 of {5DP} are true. But those are a subset of {(There is a 5 in row D)}. Therefore, we know that none of {5DJ or 5DK or 5DM or 5DQ or 5DR} are true. 55. Since {(There is something in DP)} we know 1 of {5DP} are true. But those are a subset of {(There is a 5 in column P)}. Therefore, we know that none of {5BP or 5IP} are true. 56. Since {(There is something in DP)} we know 1 of {5DP} are true. But those are a subset of {(There is a 5 in box 6)}. Therefore, we know that none of {5DQ or 5DR or 5ER or 5FQ or 5FR} are true. 57. Since {(There is something in EK)} we know 1 of {7EK} are true. But those are a subset of {(There is a 7 in row E)}. Therefore, we know that none of {7EJ or 7EM or 7EO or 7ER} are true. 58. Since {(There is something in EK)} we know 1 of {7EK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7BK or 7CK or 7DK} are true. 59. Since {(There is something in EK)} we know 1 of {7EK} are true. But those are a subset of {(There is a 7 in box 4)}. Therefore, we know that none of {7DJ or 7DK or 7EJ or 7FJ} are true. 60. Since {(There is something in EL)} we know 1 of {5EL} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EJ or 5EM or 5EO or 5ER} are true. 61. Since {(There is something in EL)} we know 1 of {5EL} are true. But those are a subset of {(There is a 5 in box 4)}. Therefore, we know that none of {5DJ or 5DK or 5EJ or 5FJ} are true. 62. Since {(There is something in EN)} we know 1 of {3EN} are true. But those are a subset of {(There is a 3 in row E)}. Therefore, we know that none of {3EJ or 3EM or 3EO or 3ER} are true. 63. Since {(There is something in EN)} we know 1 of {3EN} are true. But those are a subset of {(There is a 3 in column N)}. Therefore, we know that none of {3AN or 3GN or 3IN} are true. 64. Since {(There is something in EN)} we know 1 of {3EN} are true. But those are a subset of {(There is a 3 in box 5)}. Therefore, we know that none of {3DM or 3EM or 3EO or 3FO} are true. 65. Since {(There is something in EP)} we know 1 of {8EP} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EJ or 8EM or 8EO or 8ER} are true. 66. Since {(There is something in EP)} we know 1 of {8EP} are true. But those are a subset of {(There is a 8 in column P)}. Therefore, we know that none of {8BP or 8IP} are true. 67. Since {(There is something in EP)} we know 1 of {8EP} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DQ or 8DR or 8ER or 8FQ or 8FR} are true. 68. Since {(There is something in EQ)} we know 1 of {9EQ} are true. But those are a subset of {(There is a 9 in row E)}. Therefore, we know that none of {9EJ or 9EM or 9EO or 9ER} are true. 69. Since {(There is something in EQ)} we know 1 of {9EQ} are true. But those are a subset of {(There is a 9 in column Q)}. Therefore, we know that none of {9DQ or 9FQ or 9GQ or 9IQ} are true. 70. Since {(There is something in EQ)} we know 1 of {9EQ} are true. But those are a subset of {(There is a 9 in box 6)}. Therefore, we know that none of {9DQ or 9DR or 9ER or 9FQ or 9FR} are true. 71. Since {(There is something in FK)} we know 1 of {2FK} are true. But those are a subset of {(There is a 2 in row F)}. Therefore, we know that none of {2FJ or 2FO or 2FQ or 2FR} are true. 72. Since {(There is something in FK)} we know 1 of {2FK} are true. But those are a subset of {(There is a 2 in column K)}. Therefore, we know that none of {2BK or 2CK or 2DK} are true. 73. Since {(There is something in FK)} we know 1 of {2FK} are true. But those are a subset of {(There is a 2 in box 4)}. Therefore, we know that none of {2DJ or 2DK or 2EJ or 2FJ} are true. 74. Since {(There is something in FL)} we know 1 of {8FL} are true. But those are a subset of {(There is a 8 in row F)}. Therefore, we know that none of {8FJ or 8FO or 8FQ or 8FR} are true. 75. Since {(There is something in FL)} we know 1 of {8FL} are true. But those are a subset of {(There is a 8 in box 4)}. Therefore, we know that none of {8DJ or 8DK or 8EJ or 8FJ} are true. 76. Since {(There is something in FM)} we know 1 of {4FM} are true. But those are a subset of {(There is a 4 in row F)}. Therefore, we know that none of {4FJ or 4FO or 4FQ or 4FR} are true. 77. Since {(There is something in FM)} we know 1 of {4FM} are true. But those are a subset of {(There is a 4 in column M)}. Therefore, we know that none of {4AM or 4BM or 4DM or 4EM or 4HM} are true. 78. Since {(There is something in FM)} we know 1 of {4FM} are true. But those are a subset of {(There is a 4 in box 5)}. Therefore, we know that none of {4DM or 4EM or 4EO or 4FO} are true. 79. Since {(There is something in FN)} we know 1 of {5FN} are true. But those are a subset of {(There is a 5 in row F)}. Therefore, we know that none of {5FJ or 5FO or 5FQ or 5FR} are true. 80. Since {(There is something in FN)} we know 1 of {5FN} are true. But those are a subset of {(There is a 5 in column N)}. Therefore, we know that none of {5AN or 5GN or 5IN} are true. 81. Since {(There is something in FN)} we know 1 of {5FN} are true. But those are a subset of {(There is a 5 in box 5)}. Therefore, we know that none of {5DM or 5EM or 5EO or 5FO} are true. 82. Since {(There is something in FP)} we know 1 of {1FP} are true. But those are a subset of {(There is a 1 in row F)}. Therefore, we know that none of {1FJ or 1FO or 1FQ or 1FR} are true. 83. Since {(There is something in FP)} we know 1 of {1FP} are true. But those are a subset of {(There is a 1 in column P)}. Therefore, we know that none of {1BP or 1IP} are true. 84. Since {(There is something in FP)} we know 1 of {1FP} are true. But those are a subset of {(There is a 1 in box 6)}. Therefore, we know that none of {1DQ or 1DR or 1ER or 1FQ or 1FR} are true. 85. Since {(There is something in GJ)} we know 1 of {6GJ} are true. But those are a subset of {(There is a 6 in row G)}. Therefore, we know that none of {6GN or 6GQ or 6GR} are true. 86. Since {(There is something in GJ)} we know 1 of {6GJ} are true. But those are a subset of {(There is a 6 in column J)}. Therefore, we know that none of {6BJ or 6CJ or 6DJ or 6EJ or 6FJ} are true. 87. Since {(There is something in GK)} we know 1 of {5GK} are true. But those are a subset of {(There is a 5 in row G)}. Therefore, we know that none of {5GN or 5GQ or 5GR} are true. 88. Since {(There is something in GK)} we know 1 of {5GK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5BK or 5CK or 5DK} are true. 89. Since {(There is something in GL)} we know 1 of {2GL} are true. But those are a subset of {(There is a 2 in row G)}. Therefore, we know that none of {2GN or 2GQ or 2GR} are true. 90. Since {(There is something in GM)} we know 1 of {8GM} are true. But those are a subset of {(There is a 8 in row G)}. Therefore, we know that none of {8GN or 8GQ or 8GR} are true. 91. Since {(There is something in GM)} we know 1 of {8GM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8AM or 8BM or 8DM or 8EM or 8HM} are true. 92. Since {(There is something in GM)} we know 1 of {8GM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8HM or 8HO or 8IN or 8IO} are true. 93. Since {(There is something in GO)} we know 1 of {4GO} are true. But those are a subset of {(There is a 4 in row G)}. Therefore, we know that none of {4GN or 4GQ or 4GR} are true. 94. Since {(There is something in GO)} we know 1 of {4GO} are true. But those are a subset of {(There is a 4 in column O)}. Therefore, we know that none of {4AO or 4BO or 4EO or 4FO or 4HO or 4IO} are true. 95. Since {(There is something in GO)} we know 1 of {4GO} are true. But those are a subset of {(There is a 4 in box 8)}. Therefore, we know that none of {4GN or 4HM or 4HO or 4IN or 4IO} are true. 96. Since {(There is something in GP)} we know 1 of {3GP} are true. But those are a subset of {(There is a 3 in row G)}. Therefore, we know that none of {3GN or 3GQ or 3GR} are true. 97. Since {(There is something in GP)} we know 1 of {3GP} are true. But those are a subset of {(There is a 3 in column P)}. Therefore, we know that none of {3BP or 3IP} are true. 98. Since {(There is something in GP)} we know 1 of {3GP} are true. But those are a subset of {(There is a 3 in box 9)}. Therefore, we know that none of {3GQ or 3GR or 3HR or 3IP or 3IQ} are true. 99. Since {(There is something in HJ)} we know 1 of {7HJ} are true. But those are a subset of {(There is a 7 in row H)}. Therefore, we know that none of {7HM or 7HO or 7HR} are true. 100. Since {(There is something in HJ)} we know 1 of {7HJ} are true. But those are a subset of {(There is a 7 in column J)}. Therefore, we know that none of {7BJ or 7CJ or 7DJ or 7EJ or 7FJ} are true. 101. Since {(There is something in HK)} we know 1 of {3HK} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HM or 3HO or 3HR} are true. 102. Since {(There is something in HK)} we know 1 of {3HK} are true. But those are a subset of {(There is a 3 in column K)}. Therefore, we know that none of {3BK or 3CK or 3DK} are true. 103. Since {(There is something in HL)} we know 1 of {1HL} are true. But those are a subset of {(There is a 1 in row H)}. Therefore, we know that none of {1HM or 1HO or 1HR} are true. 104. Since {(There is something in HN)} we know 1 of {2HN} are true. But those are a subset of {(There is a 2 in row H)}. Therefore, we know that none of {2HM or 2HO or 2HR} are true. 105. Since {(There is something in HN)} we know 1 of {2HN} are true. But those are a subset of {(There is a 2 in column N)}. Therefore, we know that none of {2AN or 2GN or 2IN} are true. 106. Since {(There is something in HN)} we know 1 of {2HN} are true. But those are a subset of {(There is a 2 in box 8)}. Therefore, we know that none of {2GN or 2HM or 2HO or 2IN or 2IO} are true. 107. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in row H)}. Therefore, we know that none of {4HM or 4HO or 4HR} are true. 108. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in column P)}. Therefore, we know that none of {4BP or 4IP} are true. 109. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in box 9)}. Therefore, we know that none of {4GQ or 4GR or 4HR or 4IP or 4IQ} are true. 110. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HM or 8HO or 8HR} are true. 111. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8DQ or 8FQ or 8GQ or 8IQ} are true. 112. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in box 9)}. Therefore, we know that none of {8GQ or 8GR or 8HR or 8IP or 8IQ} are true. 113. Since {(There is something in IJ)} we know 1 of {8IJ} are true. But those are a subset of {(There is a 8 in row I)}. Therefore, we know that none of {8IN or 8IO or 8IP or 8IQ} are true. 114. Since {(There is something in IJ)} we know 1 of {8IJ} are true. But those are a subset of {(There is a 8 in column J)}. Therefore, we know that none of {8BJ or 8CJ or 8DJ or 8EJ or 8FJ} are true. 115. Since {(There is something in IK)} we know 1 of {9IK} are true. But those are a subset of {(There is a 9 in row I)}. Therefore, we know that none of {9IN or 9IO or 9IP or 9IQ} are true. 116. Since {(There is something in IK)} we know 1 of {9IK} are true. But those are a subset of {(There is a 9 in column K)}. Therefore, we know that none of {9BK or 9CK or 9DK} are true. 117. Since {(There is something in IL)} we know 1 of {4IL} are true. But those are a subset of {(There is a 4 in row I)}. Therefore, we know that none of {4IN or 4IO or 4IP or 4IQ} are true. 118. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in row I)}. Therefore, we know that none of {7IN or 7IO or 7IP or 7IQ} are true. 119. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in column M)}. Therefore, we know that none of {7AM or 7BM or 7DM or 7EM or 7HM} are true. 120. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in box 8)}. Therefore, we know that none of {7GN or 7HM or 7HO or 7IN or 7IO} are true. 121. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in row I)}. Therefore, we know that none of {5IN or 5IO or 5IP or 5IQ} are true. 122. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in column R)}. Therefore, we know that none of {5CR or 5DR or 5ER or 5FR or 5GR or 5HR} are true. 123. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in box 9)}. Therefore, we know that none of {5GQ or 5GR or 5HR or 5IP or 5IQ} are true. 124. Since {(There is a 2 in row A)} we know 1 of {2AM or 2AN or 2AO} are true. But those are a subset of {(There is a 2 in box 2)}. Therefore, we know that none of {2BM or 2BO} are true. 125. Since {(There is a 6 in row A)} we know 1 of {6AM or 6AN or 6AO} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BM or 6BO} are true. 126. Since {(There is a 9 in row A)} we know 1 of {9AM or 9AN or 9AO} are true. But those are a subset of {(There is a 9 in box 2)}. Therefore, we know that none of {9BM or 9BO} are true. 127. Since {(There is a 1 in column L)} we know 1 of {1HL} are true. But those are a subset of {(There is a 1 in row H)}. Therefore, we know that none of {1HM or 1HO or 1HR} are true. 128. Since {(There is a 2 in column L)} we know 1 of {2GL} are true. But those are a subset of {(There is a 2 in row G)}. Therefore, we know that none of {2GN or 2GQ or 2GR} are true. 129. Since {(There is a 3 in column L)} we know 1 of {3AL} are true. But those are a subset of {(There is a 3 in row A)}. Therefore, we know that none of {3AM or 3AN or 3AO} are true. 130. Since {(There is a 3 in column L)} we know 1 of {3AL} are true. But those are a subset of {(There is a 3 in box 1)}. Therefore, we know that none of {3BJ or 3BK or 3CJ or 3CK} are true. 131. Since {(There is a 4 in column L)} we know 1 of {4IL} are true. But those are a subset of {(There is a 4 in row I)}. Therefore, we know that none of {4IN or 4IO or 4IP or 4IQ} are true. 132. Since {(There is a 5 in column L)} we know 1 of {5EL} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EJ or 5EM or 5EO or 5ER} are true. 133. Since {(There is a 5 in column L)} we know 1 of {5EL} are true. But those are a subset of {(There is a 5 in box 4)}. Therefore, we know that none of {5DJ or 5DK or 5EJ or 5FJ} are true. 134. Since {(There is a 6 in column L)} we know 1 of {6DL} are true. But those are a subset of {(There is a 6 in row D)}. Therefore, we know that none of {6DJ or 6DK or 6DM or 6DQ or 6DR} are true. 135. Since {(There is a 6 in column L)} we know 1 of {6DL} are true. But those are a subset of {(There is a 6 in box 4)}. Therefore, we know that none of {6DJ or 6DK or 6EJ or 6FJ} are true. 136. Since {(There is a 7 in column L)} we know 1 of {7CL} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CK or 7CR} are true. 137. Since {(There is a 7 in column L)} we know 1 of {7CL} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7BJ or 7BK or 7CJ or 7CK} are true. 138. Since {(There is a 8 in column L)} we know 1 of {8FL} are true. But those are a subset of {(There is a 8 in row F)}. Therefore, we know that none of {8FJ or 8FO or 8FQ or 8FR} are true. 139. Since {(There is a 8 in column L)} we know 1 of {8FL} are true. But those are a subset of {(There is a 8 in box 4)}. Therefore, we know that none of {8DJ or 8DK or 8EJ or 8FJ} are true. 140. Since {(There is a 9 in column L)} we know 1 of {9BL} are true. But those are a subset of {(There is a 9 in row B)}. Therefore, we know that none of {9BJ or 9BK or 9BM or 9BO or 9BP} are true. 141. Since {(There is a 9 in column L)} we know 1 of {9BL} are true. But those are a subset of {(There is a 9 in box 1)}. Therefore, we know that none of {9BJ or 9BK or 9CJ or 9CK} are true. 142. Since {(There is a 1 in box 7)} we know 1 of {1HL} are true. But those are a subset of {(There is a 1 in row H)}. Therefore, we know that none of {1HM or 1HO or 1HR} are true. 143. Since {(There is a 2 in box 7)} we know 1 of {2GL} are true. But those are a subset of {(There is a 2 in row G)}. Therefore, we know that none of {2GN or 2GQ or 2GR} are true. 144. Since {(There is a 3 in box 7)} we know 1 of {3HK} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HM or 3HO or 3HR} are true. 145. Since {(There is a 3 in box 7)} we know 1 of {3HK} are true. But those are a subset of {(There is a 3 in column K)}. Therefore, we know that none of {3BK or 3CK or 3DK} are true. 146. Since {(There is a 4 in box 7)} we know 1 of {4IL} are true. But those are a subset of {(There is a 4 in row I)}. Therefore, we know that none of {4IN or 4IO or 4IP or 4IQ} are true. 147. Since {(There is a 5 in box 7)} we know 1 of {5GK} are true. But those are a subset of {(There is a 5 in row G)}. Therefore, we know that none of {5GN or 5GQ or 5GR} are true. 148. Since {(There is a 5 in box 7)} we know 1 of {5GK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5BK or 5CK or 5DK} are true. 149. Since {(There is a 6 in box 7)} we know 1 of {6GJ} are true. But those are a subset of {(There is a 6 in row G)}. Therefore, we know that none of {6GN or 6GQ or 6GR} are true. 150. Since {(There is a 6 in box 7)} we know 1 of {6GJ} are true. But those are a subset of {(There is a 6 in column J)}. Therefore, we know that none of {6BJ or 6CJ or 6DJ or 6EJ or 6FJ} are true. 151. Since {(There is a 7 in box 7)} we know 1 of {7HJ} are true. But those are a subset of {(There is a 7 in row H)}. Therefore, we know that none of {7HM or 7HO or 7HR} are true. 152. Since {(There is a 7 in box 7)} we know 1 of {7HJ} are true. But those are a subset of {(There is a 7 in column J)}. Therefore, we know that none of {7BJ or 7CJ or 7DJ or 7EJ or 7FJ} are true. 153. Since {(There is a 8 in box 7)} we know 1 of {8IJ} are true. But those are a subset of {(There is a 8 in row I)}. Therefore, we know that none of {8IN or 8IO or 8IP or 8IQ} are true. 154. Since {(There is a 8 in box 7)} we know 1 of {8IJ} are true. But those are a subset of {(There is a 8 in column J)}. Therefore, we know that none of {8BJ or 8CJ or 8DJ or 8EJ or 8FJ} are true. 155. Since {(There is a 9 in box 7)} we know 1 of {9IK} are true. But those are a subset of {(There is a 9 in row I)}. Therefore, we know that none of {9IN or 9IO or 9IP or 9IQ} are true. 156. Since {(There is a 9 in box 7)} we know 1 of {9IK} are true. But those are a subset of {(There is a 9 in column K)}. Therefore, we know that none of {9BK or 9CK or 9DK} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 3 | 1 2 3 | 1 2 3 | 1 2 3 | | | 1 | A | 5 | | | 4 6 | 4 6 | 4 6 | | 4 | | | | 8 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 | | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 1 2 3 | | 1 2 3 | 1 2 3 | 3 | | B | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | | | | 7 8 9 | 7 8 9 | 9 | 7 8 9 | 7 | 7 8 9 | 7 8 9 | | 8 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 3 | | | | | 1 2 3 | C | 4 5 6 | 4 5 6 | | | 4 | | | 5 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 | | | 8 | 9 | | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 1 2 3 | | | | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 6 | 4 5 6 | | | 5 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | | 7 8 9 | 8 | 7 | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | | 1 2 3 | 3 | 1 2 3 | | | 1 2 3 | E | 4 5 6 | | 5 | 4 5 6 | | 4 5 6 | | | 4 5 6 | | 7 8 9 | 7 | | 7 8 9 | | 7 8 9 | 8 | 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 2 | | | | 1 2 3 | 1 | 1 2 3 | 1 2 3 | F | 4 5 6 | | | 4 | 5 | 4 5 6 | | 4 5 6 | 4 5 6 | | 7 8 9 | | 8 | | | 7 8 9 | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 2 | | 1 2 3 | | 3 | 1 2 3 | 1 2 3 | G | 6 | 5 | | | 4 5 6 | 4 | | 4 5 6 | 4 5 6 | | | | | 8 | 7 8 9 | | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | 3 | 1 | 1 2 3 | 2 | 1 2 3 | | | 1 2 3 | H | | | | 4 5 6 | | 4 5 6 | 4 | | 4 5 6 | | 7 | | | 7 8 9 | | 7 8 9 | | 8 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | I | | | 4 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 5 | | 8 | 9 | | 7 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in AJ) will enslave (There is a 5 in row A) (There is something in AL) will enslave (There is a 3 in column L) (There is something in BL) will enslave (There is a 9 in column L) (There is something in CL) will enslave (There is a 7 in column L) (There is something in DL) will enslave (There is a 6 in column L) (There is something in EL) will enslave (There is a 5 in column L) (There is something in FL) will enslave (There is a 8 in column L) (There is something in GJ) will enslave (There is a 6 in box 7) (There is something in GK) will enslave (There is a 5 in box 7) (There is something in GL) will enslave (There is a 2 in column L) (There is something in GL) will enslave (There is a 2 in box 7) (There is something in HJ) will enslave (There is a 7 in box 7) (There is something in HK) will enslave (There is a 3 in box 7) (There is something in HL) will enslave (There is a 1 in column L) (There is something in HL) will enslave (There is a 1 in box 7) (There is something in IJ) will enslave (There is a 8 in box 7) (There is something in IK) will enslave (There is a 9 in box 7) (There is something in IL) will enslave (There is a 4 in column L) (There is something in IL) will enslave (There is a 4 in box 7) ...stopped looking for slaves... 126 Deductions found: 1. Since {(There is a 5 in box 2)} we know 1 of {5BM or 5BO} are true. But those are a subset of {(There is a 5 in row B)}. Therefore, we know that none of {5BJ or 5BK or 5BP} are true. 2. Since {(There is a 9 in row A)} we know 1 of {9AM or 9AN or 9AO} are true. But those are a subset of {(There is a 9 in box 2)}. Therefore, we know that none of {9BM or 9BO} are true. 3. Since {(There is a 6 in row A)} we know 1 of {6AM or 6AN or 6AO} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BM or 6BO} are true. 4. Since {(There is a 2 in row A)} we know 1 of {2AM or 2AN or 2AO} are true. But those are a subset of {(There is a 2 in box 2)}. Therefore, we know that none of {2BM or 2BO} are true. 5. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in box 9)}. Therefore, we know that none of {5GQ or 5GR or 5HR or 5IP or 5IQ} are true. 6. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in column R)}. Therefore, we know that none of {5CR or 5DR or 5ER or 5FR or 5GR or 5HR} are true. 7. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in row I)}. Therefore, we know that none of {5IN or 5IO or 5IP or 5IQ} are true. 8. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in box 8)}. Therefore, we know that none of {7GN or 7HM or 7HO or 7IN or 7IO} are true. 9. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in column M)}. Therefore, we know that none of {7AM or 7BM or 7DM or 7EM or 7HM} are true. 10. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in row I)}. Therefore, we know that none of {7IN or 7IO or 7IP or 7IQ} are true. 11. Since {(There is something in IL)} we know 1 of {4IL} are true. But those are a subset of {(There is a 4 in row I)}. Therefore, we know that none of {4IN or 4IO or 4IP or 4IQ} are true. 12. Since {(There is something in IK)} we know 1 of {9IK} are true. But those are a subset of {(There is a 9 in column K)}. Therefore, we know that none of {9BK or 9CK or 9DK} are true. 13. Since {(There is something in IK)} we know 1 of {9IK} are true. But those are a subset of {(There is a 9 in row I)}. Therefore, we know that none of {9IN or 9IO or 9IP or 9IQ} are true. 14. Since {(There is something in IJ)} we know 1 of {8IJ} are true. But those are a subset of {(There is a 8 in column J)}. Therefore, we know that none of {8BJ or 8CJ or 8DJ or 8EJ or 8FJ} are true. 15. Since {(There is something in IJ)} we know 1 of {8IJ} are true. But those are a subset of {(There is a 8 in row I)}. Therefore, we know that none of {8IN or 8IO or 8IP or 8IQ} are true. 16. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in box 9)}. Therefore, we know that none of {8GQ or 8GR or 8HR or 8IP or 8IQ} are true. 17. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8DQ or 8FQ or 8GQ or 8IQ} are true. 18. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HM or 8HO or 8HR} are true. 19. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in box 9)}. Therefore, we know that none of {4GQ or 4GR or 4HR or 4IP or 4IQ} are true. 20. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in column P)}. Therefore, we know that none of {4BP or 4IP} are true. 21. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in row H)}. Therefore, we know that none of {4HM or 4HO or 4HR} are true. 22. Since {(There is something in HN)} we know 1 of {2HN} are true. But those are a subset of {(There is a 2 in box 8)}. Therefore, we know that none of {2GN or 2HM or 2HO or 2IN or 2IO} are true. 23. Since {(There is something in HN)} we know 1 of {2HN} are true. But those are a subset of {(There is a 2 in column N)}. Therefore, we know that none of {2AN or 2GN or 2IN} are true. 24. Since {(There is something in HN)} we know 1 of {2HN} are true. But those are a subset of {(There is a 2 in row H)}. Therefore, we know that none of {2HM or 2HO or 2HR} are true. 25. Since {(There is something in HL)} we know 1 of {1HL} are true. But those are a subset of {(There is a 1 in row H)}. Therefore, we know that none of {1HM or 1HO or 1HR} are true. 26. Since {(There is something in HK)} we know 1 of {3HK} are true. But those are a subset of {(There is a 3 in column K)}. Therefore, we know that none of {3BK or 3CK or 3DK} are true. 27. Since {(There is something in HK)} we know 1 of {3HK} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HM or 3HO or 3HR} are true. 28. Since {(There is something in HJ)} we know 1 of {7HJ} are true. But those are a subset of {(There is a 7 in column J)}. Therefore, we know that none of {7BJ or 7CJ or 7DJ or 7EJ or 7FJ} are true. 29. Since {(There is something in HJ)} we know 1 of {7HJ} are true. But those are a subset of {(There is a 7 in row H)}. Therefore, we know that none of {7HM or 7HO or 7HR} are true. 30. Since {(There is something in GP)} we know 1 of {3GP} are true. But those are a subset of {(There is a 3 in box 9)}. Therefore, we know that none of {3GQ or 3GR or 3HR or 3IP or 3IQ} are true. 31. Since {(There is something in GP)} we know 1 of {3GP} are true. But those are a subset of {(There is a 3 in column P)}. Therefore, we know that none of {3BP or 3IP} are true. 32. Since {(There is something in GP)} we know 1 of {3GP} are true. But those are a subset of {(There is a 3 in row G)}. Therefore, we know that none of {3GN or 3GQ or 3GR} are true. 33. Since {(There is something in GO)} we know 1 of {4GO} are true. But those are a subset of {(There is a 4 in box 8)}. Therefore, we know that none of {4GN or 4HM or 4HO or 4IN or 4IO} are true. 34. Since {(There is something in GO)} we know 1 of {4GO} are true. But those are a subset of {(There is a 4 in column O)}. Therefore, we know that none of {4AO or 4BO or 4EO or 4FO or 4HO or 4IO} are true. 35. Since {(There is something in GO)} we know 1 of {4GO} are true. But those are a subset of {(There is a 4 in row G)}. Therefore, we know that none of {4GN or 4GQ or 4GR} are true. 36. Since {(There is something in GM)} we know 1 of {8GM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8HM or 8HO or 8IN or 8IO} are true. 37. Since {(There is something in GM)} we know 1 of {8GM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8AM or 8BM or 8DM or 8EM or 8HM} are true. 38. Since {(There is something in GM)} we know 1 of {8GM} are true. But those are a subset of {(There is a 8 in row G)}. Therefore, we know that none of {8GN or 8GQ or 8GR} are true. 39. Since {(There is something in GL)} we know 1 of {2GL} are true. But those are a subset of {(There is a 2 in row G)}. Therefore, we know that none of {2GN or 2GQ or 2GR} are true. 40. Since {(There is something in GK)} we know 1 of {5GK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5BK or 5CK or 5DK} are true. 41. Since {(There is something in GK)} we know 1 of {5GK} are true. But those are a subset of {(There is a 5 in row G)}. Therefore, we know that none of {5GN or 5GQ or 5GR} are true. 42. Since {(There is something in GJ)} we know 1 of {6GJ} are true. But those are a subset of {(There is a 6 in column J)}. Therefore, we know that none of {6BJ or 6CJ or 6DJ or 6EJ or 6FJ} are true. 43. Since {(There is something in GJ)} we know 1 of {6GJ} are true. But those are a subset of {(There is a 6 in row G)}. Therefore, we know that none of {6GN or 6GQ or 6GR} are true. 44. Since {(There is something in FP)} we know 1 of {1FP} are true. But those are a subset of {(There is a 1 in box 6)}. Therefore, we know that none of {1DQ or 1DR or 1ER or 1FQ or 1FR} are true. 45. Since {(There is something in FP)} we know 1 of {1FP} are true. But those are a subset of {(There is a 1 in column P)}. Therefore, we know that none of {1BP or 1IP} are true. 46. Since {(There is something in FP)} we know 1 of {1FP} are true. But those are a subset of {(There is a 1 in row F)}. Therefore, we know that none of {1FJ or 1FO or 1FQ or 1FR} are true. 47. Since {(There is something in FN)} we know 1 of {5FN} are true. But those are a subset of {(There is a 5 in box 5)}. Therefore, we know that none of {5DM or 5EM or 5EO or 5FO} are true. 48. Since {(There is something in FN)} we know 1 of {5FN} are true. But those are a subset of {(There is a 5 in column N)}. Therefore, we know that none of {5GN or 5IN} are true. 49. Since {(There is something in FN)} we know 1 of {5FN} are true. But those are a subset of {(There is a 5 in row F)}. Therefore, we know that none of {5FJ or 5FO or 5FQ or 5FR} are true. 50. Since {(There is something in FM)} we know 1 of {4FM} are true. But those are a subset of {(There is a 4 in box 5)}. Therefore, we know that none of {4DM or 4EM or 4EO or 4FO} are true. 51. Since {(There is something in FM)} we know 1 of {4FM} are true. But those are a subset of {(There is a 4 in column M)}. Therefore, we know that none of {4AM or 4BM or 4DM or 4EM or 4HM} are true. 52. Since {(There is something in FM)} we know 1 of {4FM} are true. But those are a subset of {(There is a 4 in row F)}. Therefore, we know that none of {4FJ or 4FO or 4FQ or 4FR} are true. 53. Since {(There is something in FL)} we know 1 of {8FL} are true. But those are a subset of {(There is a 8 in box 4)}. Therefore, we know that none of {8DJ or 8DK or 8EJ or 8FJ} are true. 54. Since {(There is something in FL)} we know 1 of {8FL} are true. But those are a subset of {(There is a 8 in row F)}. Therefore, we know that none of {8FJ or 8FO or 8FQ or 8FR} are true. 55. Since {(There is something in FK)} we know 1 of {2FK} are true. But those are a subset of {(There is a 2 in box 4)}. Therefore, we know that none of {2DJ or 2DK or 2EJ or 2FJ} are true. 56. Since {(There is something in FK)} we know 1 of {2FK} are true. But those are a subset of {(There is a 2 in column K)}. Therefore, we know that none of {2BK or 2CK or 2DK} are true. 57. Since {(There is something in FK)} we know 1 of {2FK} are true. But those are a subset of {(There is a 2 in row F)}. Therefore, we know that none of {2FJ or 2FO or 2FQ or 2FR} are true. 58. Since {(There is something in EQ)} we know 1 of {9EQ} are true. But those are a subset of {(There is a 9 in box 6)}. Therefore, we know that none of {9DQ or 9DR or 9ER or 9FQ or 9FR} are true. 59. Since {(There is something in EQ)} we know 1 of {9EQ} are true. But those are a subset of {(There is a 9 in column Q)}. Therefore, we know that none of {9DQ or 9FQ or 9GQ or 9IQ} are true. 60. Since {(There is something in EQ)} we know 1 of {9EQ} are true. But those are a subset of {(There is a 9 in row E)}. Therefore, we know that none of {9EJ or 9EM or 9EO or 9ER} are true. 61. Since {(There is something in EP)} we know 1 of {8EP} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DQ or 8DR or 8ER or 8FQ or 8FR} are true. 62. Since {(There is something in EP)} we know 1 of {8EP} are true. But those are a subset of {(There is a 8 in column P)}. Therefore, we know that none of {8BP or 8IP} are true. 63. Since {(There is something in EP)} we know 1 of {8EP} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EJ or 8EM or 8EO or 8ER} are true. 64. Since {(There is something in EN)} we know 1 of {3EN} are true. But those are a subset of {(There is a 3 in box 5)}. Therefore, we know that none of {3DM or 3EM or 3EO or 3FO} are true. 65. Since {(There is something in EN)} we know 1 of {3EN} are true. But those are a subset of {(There is a 3 in column N)}. Therefore, we know that none of {3AN or 3GN or 3IN} are true. 66. Since {(There is something in EN)} we know 1 of {3EN} are true. But those are a subset of {(There is a 3 in row E)}. Therefore, we know that none of {3EJ or 3EM or 3EO or 3ER} are true. 67. Since {(There is something in EL)} we know 1 of {5EL} are true. But those are a subset of {(There is a 5 in box 4)}. Therefore, we know that none of {5DJ or 5DK or 5EJ or 5FJ} are true. 68. Since {(There is something in EL)} we know 1 of {5EL} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EJ or 5EM or 5EO or 5ER} are true. 69. Since {(There is something in EK)} we know 1 of {7EK} are true. But those are a subset of {(There is a 7 in box 4)}. Therefore, we know that none of {7DJ or 7DK or 7EJ or 7FJ} are true. 70. Since {(There is something in EK)} we know 1 of {7EK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7BK or 7CK or 7DK} are true. 71. Since {(There is something in EK)} we know 1 of {7EK} are true. But those are a subset of {(There is a 7 in row E)}. Therefore, we know that none of {7EJ or 7EM or 7EO or 7ER} are true. 72. Since {(There is something in DP)} we know 1 of {5DP} are true. But those are a subset of {(There is a 5 in box 6)}. Therefore, we know that none of {5DQ or 5DR or 5ER or 5FQ or 5FR} are true. 73. Since {(There is something in DP)} we know 1 of {5DP} are true. But those are a subset of {(There is a 5 in column P)}. Therefore, we know that none of {5BP or 5IP} are true. 74. Since {(There is something in DP)} we know 1 of {5DP} are true. But those are a subset of {(There is a 5 in row D)}. Therefore, we know that none of {5DJ or 5DK or 5DM or 5DQ or 5DR} are true. 75. Since {(There is something in DO)} we know 1 of {7DO} are true. But those are a subset of {(There is a 7 in box 5)}. Therefore, we know that none of {7DM or 7EM or 7EO or 7FO} are true. 76. Since {(There is something in DO)} we know 1 of {7DO} are true. But those are a subset of {(There is a 7 in column O)}. Therefore, we know that none of {7AO or 7BO or 7EO or 7FO or 7HO or 7IO} are true. 77. Since {(There is something in DO)} we know 1 of {7DO} are true. But those are a subset of {(There is a 7 in row D)}. Therefore, we know that none of {7DJ or 7DK or 7DM or 7DQ or 7DR} are true. 78. Since {(There is something in DN)} we know 1 of {8DN} are true. But those are a subset of {(There is a 8 in box 5)}. Therefore, we know that none of {8DM or 8EM or 8EO or 8FO} are true. 79. Since {(There is something in DN)} we know 1 of {8DN} are true. But those are a subset of {(There is a 8 in column N)}. Therefore, we know that none of {8AN or 8GN or 8IN} are true. 80. Since {(There is something in DN)} we know 1 of {8DN} are true. But those are a subset of {(There is a 8 in row D)}. Therefore, we know that none of {8DJ or 8DK or 8DM or 8DQ or 8DR} are true. 81. Since {(There is something in DL)} we know 1 of {6DL} are true. But those are a subset of {(There is a 6 in box 4)}. Therefore, we know that none of {6DJ or 6DK or 6EJ or 6FJ} are true. 82. Since {(There is something in DL)} we know 1 of {6DL} are true. But those are a subset of {(There is a 6 in row D)}. Therefore, we know that none of {6DJ or 6DK or 6DM or 6DQ or 6DR} are true. 83. Since {(There is something in CQ)} we know 1 of {5CQ} are true. But those are a subset of {(There is a 5 in box 3)}. Therefore, we know that none of {5BP or 5CR} are true. 84. Since {(There is something in CQ)} we know 1 of {5CQ} are true. But those are a subset of {(There is a 5 in column Q)}. Therefore, we know that none of {5DQ or 5FQ or 5GQ or 5IQ} are true. 85. Since {(There is something in CQ)} we know 1 of {5CQ} are true. But those are a subset of {(There is a 5 in row C)}. Therefore, we know that none of {5CJ or 5CK or 5CR} are true. 86. Since {(There is something in CP)} we know 1 of {9CP} are true. But those are a subset of {(There is a 9 in box 3)}. Therefore, we know that none of {9BP or 9CR} are true. 87. Since {(There is something in CP)} we know 1 of {9CP} are true. But those are a subset of {(There is a 9 in column P)}. Therefore, we know that none of {9BP or 9IP} are true. 88. Since {(There is something in CP)} we know 1 of {9CP} are true. But those are a subset of {(There is a 9 in row C)}. Therefore, we know that none of {9CJ or 9CK or 9CR} are true. 89. Since {(There is something in CO)} we know 1 of {8CO} are true. But those are a subset of {(There is a 8 in box 2)}. Therefore, we know that none of {8AM or 8AN or 8AO or 8BM or 8BO} are true. 90. Since {(There is something in CO)} we know 1 of {8CO} are true. But those are a subset of {(There is a 8 in column O)}. Therefore, we know that none of {8AO or 8BO or 8EO or 8FO or 8HO or 8IO} are true. 91. Since {(There is something in CO)} we know 1 of {8CO} are true. But those are a subset of {(There is a 8 in row C)}. Therefore, we know that none of {8CJ or 8CK or 8CR} are true. 92. Since {(There is something in CN)} we know 1 of {4CN} are true. But those are a subset of {(There is a 4 in box 2)}. Therefore, we know that none of {4AM or 4AN or 4AO or 4BM or 4BO} are true. 93. Since {(There is something in CN)} we know 1 of {4CN} are true. But those are a subset of {(There is a 4 in column N)}. Therefore, we know that none of {4AN or 4GN or 4IN} are true. 94. Since {(There is something in CN)} we know 1 of {4CN} are true. But those are a subset of {(There is a 4 in row C)}. Therefore, we know that none of {4CJ or 4CK or 4CR} are true. 95. Since {(There is something in CM)} we know 1 of {3CM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AM or 3AN or 3AO or 3BM or 3BO} are true. 96. Since {(There is something in CM)} we know 1 of {3CM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3AM or 3BM or 3DM or 3EM or 3HM} are true. 97. Since {(There is something in CM)} we know 1 of {3CM} are true. But those are a subset of {(There is a 3 in row C)}. Therefore, we know that none of {3CJ or 3CK or 3CR} are true. 98. Since {(There is something in CL)} we know 1 of {7CL} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7BJ or 7BK or 7CJ or 7CK} are true. 99. Since {(There is something in CL)} we know 1 of {7CL} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CK or 7CR} are true. 100. Since {(There is something in BR)} we know 1 of {8BR} are true. But those are a subset of {(There is a 8 in box 3)}. Therefore, we know that none of {8BP or 8CR} are true. 101. Since {(There is something in BR)} we know 1 of {8BR} are true. But those are a subset of {(There is a 8 in column R)}. Therefore, we know that none of {8CR or 8DR or 8ER or 8FR or 8GR or 8HR} are true. 102. Since {(There is something in BR)} we know 1 of {8BR} are true. But those are a subset of {(There is a 8 in row B)}. Therefore, we know that none of {8BJ or 8BK or 8BM or 8BO or 8BP} are true. 103. Since {(There is something in BQ)} we know 1 of {3BQ} are true. But those are a subset of {(There is a 3 in box 3)}. Therefore, we know that none of {3BP or 3CR} are true. 104. Since {(There is something in BQ)} we know 1 of {3BQ} are true. But those are a subset of {(There is a 3 in column Q)}. Therefore, we know that none of {3DQ or 3FQ or 3GQ or 3IQ} are true. 105. Since {(There is something in BQ)} we know 1 of {3BQ} are true. But those are a subset of {(There is a 3 in row B)}. Therefore, we know that none of {3BJ or 3BK or 3BM or 3BO or 3BP} are true. 106. Since {(There is something in BN)} we know 1 of {7BN} are true. But those are a subset of {(There is a 7 in box 2)}. Therefore, we know that none of {7AM or 7AN or 7AO or 7BM or 7BO} are true. 107. Since {(There is something in BN)} we know 1 of {7BN} are true. But those are a subset of {(There is a 7 in column N)}. Therefore, we know that none of {7AN or 7GN or 7IN} are true. 108. Since {(There is something in BN)} we know 1 of {7BN} are true. But those are a subset of {(There is a 7 in row B)}. Therefore, we know that none of {7BJ or 7BK or 7BM or 7BO or 7BP} are true. 109. Since {(There is something in BL)} we know 1 of {9BL} are true. But those are a subset of {(There is a 9 in box 1)}. Therefore, we know that none of {9BJ or 9BK or 9CJ or 9CK} are true. 110. Since {(There is something in BL)} we know 1 of {9BL} are true. But those are a subset of {(There is a 9 in row B)}. Therefore, we know that none of {9BJ or 9BK or 9BM or 9BO or 9BP} are true. 111. Since {(There is something in AR)} we know 1 of {1AR} are true. But those are a subset of {(There is a 1 in box 3)}. Therefore, we know that none of {1BP or 1CR} are true. 112. Since {(There is something in AR)} we know 1 of {1AR} are true. But those are a subset of {(There is a 1 in column R)}. Therefore, we know that none of {1CR or 1DR or 1ER or 1FR or 1GR or 1HR} are true. 113. Since {(There is something in AR)} we know 1 of {1AR} are true. But those are a subset of {(There is a 1 in row A)}. Therefore, we know that none of {1AM or 1AN or 1AO} are true. 114. Since {(There is something in AQ)} we know 1 of {4AQ} are true. But those are a subset of {(There is a 4 in box 3)}. Therefore, we know that none of {4BP or 4CR} are true. 115. Since {(There is something in AQ)} we know 1 of {4AQ} are true. But those are a subset of {(There is a 4 in column Q)}. Therefore, we know that none of {4DQ or 4FQ or 4GQ or 4IQ} are true. 116. Since {(There is something in AQ)} we know 1 of {4AQ} are true. But those are a subset of {(There is a 4 in row A)}. Therefore, we know that none of {4AM or 4AN or 4AO} are true. 117. Since {(There is something in AP)} we know 1 of {7AP} are true. But those are a subset of {(There is a 7 in box 3)}. Therefore, we know that none of {7BP or 7CR} are true. 118. Since {(There is something in AP)} we know 1 of {7AP} are true. But those are a subset of {(There is a 7 in column P)}. Therefore, we know that none of {7BP or 7IP} are true. 119. Since {(There is something in AP)} we know 1 of {7AP} are true. But those are a subset of {(There is a 7 in row A)}. Therefore, we know that none of {7AM or 7AN or 7AO} are true. 120. Since {(There is something in AL)} we know 1 of {3AL} are true. But those are a subset of {(There is a 3 in box 1)}. Therefore, we know that none of {3BJ or 3BK or 3CJ or 3CK} are true. 121. Since {(There is something in AL)} we know 1 of {3AL} are true. But those are a subset of {(There is a 3 in row A)}. Therefore, we know that none of {3AM or 3AN or 3AO} are true. 122. Since {(There is something in AK)} we know 1 of {8AK} are true. But those are a subset of {(There is a 8 in box 1)}. Therefore, we know that none of {8BJ or 8BK or 8CJ or 8CK} are true. 123. Since {(There is something in AK)} we know 1 of {8AK} are true. But those are a subset of {(There is a 8 in column K)}. Therefore, we know that none of {8BK or 8CK or 8DK} are true. 124. Since {(There is something in AK)} we know 1 of {8AK} are true. But those are a subset of {(There is a 8 in row A)}. Therefore, we know that none of {8AM or 8AN or 8AO} are true. 125. Since {(There is something in AJ)} we know 1 of {5AJ} are true. But those are a subset of {(There is a 5 in box 1)}. Therefore, we know that none of {5BJ or 5BK or 5CJ or 5CK} are true. 126. Since {(There is something in AJ)} we know 1 of {5AJ} are true. But those are a subset of {(There is a 5 in column J)}. Therefore, we know that none of {5BJ or 5CJ or 5DJ or 5EJ or 5FJ} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 3 | 1 2 3 | 1 2 3 | 1 2 3 | | | 1 | A | 5 | | | 4 6 | 4 6 | 4 6 | | 4 | | | | 8 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 | | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 1 2 3 | | 1 2 3 | 1 2 3 | 3 | | B | 4 6 | 4 6 | | 4 5 6 | | 4 5 6 | 4 6 | | | | 7 8 9 | 7 8 9 | 9 | 7 8 9 | 7 | 7 8 9 | 7 8 9 | | 8 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 3 | | | | | 1 2 3 | C | 4 5 6 | 4 5 6 | | | 4 | | | 5 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 | | | 8 | 9 | | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 1 2 3 | | | | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 6 | 4 5 6 | | | 5 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | | 7 8 9 | 8 | 7 | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | | 1 2 3 | 3 | 1 2 3 | | | 1 2 3 | E | 4 5 6 | | 5 | 4 5 6 | | 4 5 6 | | | 4 5 6 | | 7 8 9 | 7 | | 7 8 9 | | 7 8 9 | 8 | 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 2 | | | | 1 2 3 | 1 | 1 2 3 | 1 2 3 | F | 4 5 6 | | | 4 | 5 | 4 5 6 | | 4 5 6 | 4 5 6 | | 7 8 9 | | 8 | | | 7 8 9 | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 2 | | 1 2 3 | | 3 | 1 2 3 | 1 2 3 | G | 6 | 5 | | | 4 5 6 | 4 | | 4 5 6 | 4 5 6 | | | | | 8 | 7 8 9 | | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | 3 | 1 | 1 2 3 | 2 | 1 2 3 | | | 1 2 3 | H | | | | 4 5 6 | | 4 5 6 | 4 | | 4 5 6 | | 7 | | | 7 8 9 | | 7 8 9 | | 8 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | I | | | 4 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 5 | | 8 | 9 | | 7 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is a 5 in row B) will enslave (There is a 5 in box 2) ...stopped looking for slaves... 126 Deductions found: 1. Since {(There is a 5 in box 3)} we know 1 of {5CQ or 5CR} are true. But those are a subset of {(There is a 5 in row C)}. Therefore, we know that none of {5CJ or 5CK} are true. 2. Since {(There is a 9 in row A)} we know 1 of {9AM or 9AN or 9AO} are true. But those are a subset of {(There is a 9 in box 2)}. Therefore, we know that none of {9BM or 9BO} are true. 3. Since {(There is a 6 in row A)} we know 1 of {6AM or 6AN or 6AO} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BM or 6BO} are true. 4. Since {(There is a 2 in row A)} we know 1 of {2AM or 2AN or 2AO} are true. But those are a subset of {(There is a 2 in box 2)}. Therefore, we know that none of {2BM or 2BO} are true. 5. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in box 9)}. Therefore, we know that none of {5GQ or 5GR or 5HR or 5IP or 5IQ} are true. 6. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in column R)}. Therefore, we know that none of {5CR or 5DR or 5ER or 5FR or 5GR or 5HR} are true. 7. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in row I)}. Therefore, we know that none of {5IN or 5IO or 5IP or 5IQ} are true. 8. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in box 8)}. Therefore, we know that none of {7GN or 7HM or 7HO or 7IN or 7IO} are true. 9. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in column M)}. Therefore, we know that none of {7AM or 7BM or 7DM or 7EM or 7HM} are true. 10. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in row I)}. Therefore, we know that none of {7IN or 7IO or 7IP or 7IQ} are true. 11. Since {(There is something in IL)} we know 1 of {4IL} are true. But those are a subset of {(There is a 4 in row I)}. Therefore, we know that none of {4IN or 4IO or 4IP or 4IQ} are true. 12. Since {(There is something in IK)} we know 1 of {9IK} are true. But those are a subset of {(There is a 9 in column K)}. Therefore, we know that none of {9BK or 9CK or 9DK} are true. 13. Since {(There is something in IK)} we know 1 of {9IK} are true. But those are a subset of {(There is a 9 in row I)}. Therefore, we know that none of {9IN or 9IO or 9IP or 9IQ} are true. 14. Since {(There is something in IJ)} we know 1 of {8IJ} are true. But those are a subset of {(There is a 8 in column J)}. Therefore, we know that none of {8BJ or 8CJ or 8DJ or 8EJ or 8FJ} are true. 15. Since {(There is something in IJ)} we know 1 of {8IJ} are true. But those are a subset of {(There is a 8 in row I)}. Therefore, we know that none of {8IN or 8IO or 8IP or 8IQ} are true. 16. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in box 9)}. Therefore, we know that none of {8GQ or 8GR or 8HR or 8IP or 8IQ} are true. 17. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8DQ or 8FQ or 8GQ or 8IQ} are true. 18. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HM or 8HO or 8HR} are true. 19. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in box 9)}. Therefore, we know that none of {4GQ or 4GR or 4HR or 4IP or 4IQ} are true. 20. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in column P)}. Therefore, we know that none of {4BP or 4IP} are true. 21. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in row H)}. Therefore, we know that none of {4HM or 4HO or 4HR} are true. 22. Since {(There is something in HN)} we know 1 of {2HN} are true. But those are a subset of {(There is a 2 in box 8)}. Therefore, we know that none of {2GN or 2HM or 2HO or 2IN or 2IO} are true. 23. Since {(There is something in HN)} we know 1 of {2HN} are true. But those are a subset of {(There is a 2 in column N)}. Therefore, we know that none of {2AN or 2GN or 2IN} are true. 24. Since {(There is something in HN)} we know 1 of {2HN} are true. But those are a subset of {(There is a 2 in row H)}. Therefore, we know that none of {2HM or 2HO or 2HR} are true. 25. Since {(There is something in HL)} we know 1 of {1HL} are true. But those are a subset of {(There is a 1 in row H)}. Therefore, we know that none of {1HM or 1HO or 1HR} are true. 26. Since {(There is something in HK)} we know 1 of {3HK} are true. But those are a subset of {(There is a 3 in column K)}. Therefore, we know that none of {3BK or 3CK or 3DK} are true. 27. Since {(There is something in HK)} we know 1 of {3HK} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HM or 3HO or 3HR} are true. 28. Since {(There is something in HJ)} we know 1 of {7HJ} are true. But those are a subset of {(There is a 7 in column J)}. Therefore, we know that none of {7BJ or 7CJ or 7DJ or 7EJ or 7FJ} are true. 29. Since {(There is something in HJ)} we know 1 of {7HJ} are true. But those are a subset of {(There is a 7 in row H)}. Therefore, we know that none of {7HM or 7HO or 7HR} are true. 30. Since {(There is something in GP)} we know 1 of {3GP} are true. But those are a subset of {(There is a 3 in box 9)}. Therefore, we know that none of {3GQ or 3GR or 3HR or 3IP or 3IQ} are true. 31. Since {(There is something in GP)} we know 1 of {3GP} are true. But those are a subset of {(There is a 3 in column P)}. Therefore, we know that none of {3BP or 3IP} are true. 32. Since {(There is something in GP)} we know 1 of {3GP} are true. But those are a subset of {(There is a 3 in row G)}. Therefore, we know that none of {3GN or 3GQ or 3GR} are true. 33. Since {(There is something in GO)} we know 1 of {4GO} are true. But those are a subset of {(There is a 4 in box 8)}. Therefore, we know that none of {4GN or 4HM or 4HO or 4IN or 4IO} are true. 34. Since {(There is something in GO)} we know 1 of {4GO} are true. But those are a subset of {(There is a 4 in column O)}. Therefore, we know that none of {4AO or 4BO or 4EO or 4FO or 4HO or 4IO} are true. 35. Since {(There is something in GO)} we know 1 of {4GO} are true. But those are a subset of {(There is a 4 in row G)}. Therefore, we know that none of {4GN or 4GQ or 4GR} are true. 36. Since {(There is something in GM)} we know 1 of {8GM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8HM or 8HO or 8IN or 8IO} are true. 37. Since {(There is something in GM)} we know 1 of {8GM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8AM or 8BM or 8DM or 8EM or 8HM} are true. 38. Since {(There is something in GM)} we know 1 of {8GM} are true. But those are a subset of {(There is a 8 in row G)}. Therefore, we know that none of {8GN or 8GQ or 8GR} are true. 39. Since {(There is something in GL)} we know 1 of {2GL} are true. But those are a subset of {(There is a 2 in row G)}. Therefore, we know that none of {2GN or 2GQ or 2GR} are true. 40. Since {(There is something in GK)} we know 1 of {5GK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5CK or 5DK} are true. 41. Since {(There is something in GK)} we know 1 of {5GK} are true. But those are a subset of {(There is a 5 in row G)}. Therefore, we know that none of {5GN or 5GQ or 5GR} are true. 42. Since {(There is something in GJ)} we know 1 of {6GJ} are true. But those are a subset of {(There is a 6 in column J)}. Therefore, we know that none of {6BJ or 6CJ or 6DJ or 6EJ or 6FJ} are true. 43. Since {(There is something in GJ)} we know 1 of {6GJ} are true. But those are a subset of {(There is a 6 in row G)}. Therefore, we know that none of {6GN or 6GQ or 6GR} are true. 44. Since {(There is something in FP)} we know 1 of {1FP} are true. But those are a subset of {(There is a 1 in box 6)}. Therefore, we know that none of {1DQ or 1DR or 1ER or 1FQ or 1FR} are true. 45. Since {(There is something in FP)} we know 1 of {1FP} are true. But those are a subset of {(There is a 1 in column P)}. Therefore, we know that none of {1BP or 1IP} are true. 46. Since {(There is something in FP)} we know 1 of {1FP} are true. But those are a subset of {(There is a 1 in row F)}. Therefore, we know that none of {1FJ or 1FO or 1FQ or 1FR} are true. 47. Since {(There is something in FN)} we know 1 of {5FN} are true. But those are a subset of {(There is a 5 in box 5)}. Therefore, we know that none of {5DM or 5EM or 5EO or 5FO} are true. 48. Since {(There is something in FN)} we know 1 of {5FN} are true. But those are a subset of {(There is a 5 in column N)}. Therefore, we know that none of {5GN or 5IN} are true. 49. Since {(There is something in FN)} we know 1 of {5FN} are true. But those are a subset of {(There is a 5 in row F)}. Therefore, we know that none of {5FJ or 5FO or 5FQ or 5FR} are true. 50. Since {(There is something in FM)} we know 1 of {4FM} are true. But those are a subset of {(There is a 4 in box 5)}. Therefore, we know that none of {4DM or 4EM or 4EO or 4FO} are true. 51. Since {(There is something in FM)} we know 1 of {4FM} are true. But those are a subset of {(There is a 4 in column M)}. Therefore, we know that none of {4AM or 4BM or 4DM or 4EM or 4HM} are true. 52. Since {(There is something in FM)} we know 1 of {4FM} are true. But those are a subset of {(There is a 4 in row F)}. Therefore, we know that none of {4FJ or 4FO or 4FQ or 4FR} are true. 53. Since {(There is something in FL)} we know 1 of {8FL} are true. But those are a subset of {(There is a 8 in box 4)}. Therefore, we know that none of {8DJ or 8DK or 8EJ or 8FJ} are true. 54. Since {(There is something in FL)} we know 1 of {8FL} are true. But those are a subset of {(There is a 8 in row F)}. Therefore, we know that none of {8FJ or 8FO or 8FQ or 8FR} are true. 55. Since {(There is something in FK)} we know 1 of {2FK} are true. But those are a subset of {(There is a 2 in box 4)}. Therefore, we know that none of {2DJ or 2DK or 2EJ or 2FJ} are true. 56. Since {(There is something in FK)} we know 1 of {2FK} are true. But those are a subset of {(There is a 2 in column K)}. Therefore, we know that none of {2BK or 2CK or 2DK} are true. 57. Since {(There is something in FK)} we know 1 of {2FK} are true. But those are a subset of {(There is a 2 in row F)}. Therefore, we know that none of {2FJ or 2FO or 2FQ or 2FR} are true. 58. Since {(There is something in EQ)} we know 1 of {9EQ} are true. But those are a subset of {(There is a 9 in box 6)}. Therefore, we know that none of {9DQ or 9DR or 9ER or 9FQ or 9FR} are true. 59. Since {(There is something in EQ)} we know 1 of {9EQ} are true. But those are a subset of {(There is a 9 in column Q)}. Therefore, we know that none of {9DQ or 9FQ or 9GQ or 9IQ} are true. 60. Since {(There is something in EQ)} we know 1 of {9EQ} are true. But those are a subset of {(There is a 9 in row E)}. Therefore, we know that none of {9EJ or 9EM or 9EO or 9ER} are true. 61. Since {(There is something in EP)} we know 1 of {8EP} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DQ or 8DR or 8ER or 8FQ or 8FR} are true. 62. Since {(There is something in EP)} we know 1 of {8EP} are true. But those are a subset of {(There is a 8 in column P)}. Therefore, we know that none of {8BP or 8IP} are true. 63. Since {(There is something in EP)} we know 1 of {8EP} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EJ or 8EM or 8EO or 8ER} are true. 64. Since {(There is something in EN)} we know 1 of {3EN} are true. But those are a subset of {(There is a 3 in box 5)}. Therefore, we know that none of {3DM or 3EM or 3EO or 3FO} are true. 65. Since {(There is something in EN)} we know 1 of {3EN} are true. But those are a subset of {(There is a 3 in column N)}. Therefore, we know that none of {3AN or 3GN or 3IN} are true. 66. Since {(There is something in EN)} we know 1 of {3EN} are true. But those are a subset of {(There is a 3 in row E)}. Therefore, we know that none of {3EJ or 3EM or 3EO or 3ER} are true. 67. Since {(There is something in EL)} we know 1 of {5EL} are true. But those are a subset of {(There is a 5 in box 4)}. Therefore, we know that none of {5DJ or 5DK or 5EJ or 5FJ} are true. 68. Since {(There is something in EL)} we know 1 of {5EL} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EJ or 5EM or 5EO or 5ER} are true. 69. Since {(There is something in EK)} we know 1 of {7EK} are true. But those are a subset of {(There is a 7 in box 4)}. Therefore, we know that none of {7DJ or 7DK or 7EJ or 7FJ} are true. 70. Since {(There is something in EK)} we know 1 of {7EK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7BK or 7CK or 7DK} are true. 71. Since {(There is something in EK)} we know 1 of {7EK} are true. But those are a subset of {(There is a 7 in row E)}. Therefore, we know that none of {7EJ or 7EM or 7EO or 7ER} are true. 72. Since {(There is something in DP)} we know 1 of {5DP} are true. But those are a subset of {(There is a 5 in box 6)}. Therefore, we know that none of {5DQ or 5DR or 5ER or 5FQ or 5FR} are true. 73. Since {(There is something in DP)} we know 1 of {5DP} are true. But those are a subset of {(There is a 5 in column P)}. Therefore, we know that none of {5IP} are true. 74. Since {(There is something in DP)} we know 1 of {5DP} are true. But those are a subset of {(There is a 5 in row D)}. Therefore, we know that none of {5DJ or 5DK or 5DM or 5DQ or 5DR} are true. 75. Since {(There is something in DO)} we know 1 of {7DO} are true. But those are a subset of {(There is a 7 in box 5)}. Therefore, we know that none of {7DM or 7EM or 7EO or 7FO} are true. 76. Since {(There is something in DO)} we know 1 of {7DO} are true. But those are a subset of {(There is a 7 in column O)}. Therefore, we know that none of {7AO or 7BO or 7EO or 7FO or 7HO or 7IO} are true. 77. Since {(There is something in DO)} we know 1 of {7DO} are true. But those are a subset of {(There is a 7 in row D)}. Therefore, we know that none of {7DJ or 7DK or 7DM or 7DQ or 7DR} are true. 78. Since {(There is something in DN)} we know 1 of {8DN} are true. But those are a subset of {(There is a 8 in box 5)}. Therefore, we know that none of {8DM or 8EM or 8EO or 8FO} are true. 79. Since {(There is something in DN)} we know 1 of {8DN} are true. But those are a subset of {(There is a 8 in column N)}. Therefore, we know that none of {8AN or 8GN or 8IN} are true. 80. Since {(There is something in DN)} we know 1 of {8DN} are true. But those are a subset of {(There is a 8 in row D)}. Therefore, we know that none of {8DJ or 8DK or 8DM or 8DQ or 8DR} are true. 81. Since {(There is something in DL)} we know 1 of {6DL} are true. But those are a subset of {(There is a 6 in box 4)}. Therefore, we know that none of {6DJ or 6DK or 6EJ or 6FJ} are true. 82. Since {(There is something in DL)} we know 1 of {6DL} are true. But those are a subset of {(There is a 6 in row D)}. Therefore, we know that none of {6DJ or 6DK or 6DM or 6DQ or 6DR} are true. 83. Since {(There is something in CQ)} we know 1 of {5CQ} are true. But those are a subset of {(There is a 5 in box 3)}. Therefore, we know that none of {5CR} are true. 84. Since {(There is something in CQ)} we know 1 of {5CQ} are true. But those are a subset of {(There is a 5 in column Q)}. Therefore, we know that none of {5DQ or 5FQ or 5GQ or 5IQ} are true. 85. Since {(There is something in CQ)} we know 1 of {5CQ} are true. But those are a subset of {(There is a 5 in row C)}. Therefore, we know that none of {5CJ or 5CK or 5CR} are true. 86. Since {(There is something in CP)} we know 1 of {9CP} are true. But those are a subset of {(There is a 9 in box 3)}. Therefore, we know that none of {9BP or 9CR} are true. 87. Since {(There is something in CP)} we know 1 of {9CP} are true. But those are a subset of {(There is a 9 in column P)}. Therefore, we know that none of {9BP or 9IP} are true. 88. Since {(There is something in CP)} we know 1 of {9CP} are true. But those are a subset of {(There is a 9 in row C)}. Therefore, we know that none of {9CJ or 9CK or 9CR} are true. 89. Since {(There is something in CO)} we know 1 of {8CO} are true. But those are a subset of {(There is a 8 in box 2)}. Therefore, we know that none of {8AM or 8AN or 8AO or 8BM or 8BO} are true. 90. Since {(There is something in CO)} we know 1 of {8CO} are true. But those are a subset of {(There is a 8 in column O)}. Therefore, we know that none of {8AO or 8BO or 8EO or 8FO or 8HO or 8IO} are true. 91. Since {(There is something in CO)} we know 1 of {8CO} are true. But those are a subset of {(There is a 8 in row C)}. Therefore, we know that none of {8CJ or 8CK or 8CR} are true. 92. Since {(There is something in CN)} we know 1 of {4CN} are true. But those are a subset of {(There is a 4 in box 2)}. Therefore, we know that none of {4AM or 4AN or 4AO or 4BM or 4BO} are true. 93. Since {(There is something in CN)} we know 1 of {4CN} are true. But those are a subset of {(There is a 4 in column N)}. Therefore, we know that none of {4AN or 4GN or 4IN} are true. 94. Since {(There is something in CN)} we know 1 of {4CN} are true. But those are a subset of {(There is a 4 in row C)}. Therefore, we know that none of {4CJ or 4CK or 4CR} are true. 95. Since {(There is something in CM)} we know 1 of {3CM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AM or 3AN or 3AO or 3BM or 3BO} are true. 96. Since {(There is something in CM)} we know 1 of {3CM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3AM or 3BM or 3DM or 3EM or 3HM} are true. 97. Since {(There is something in CM)} we know 1 of {3CM} are true. But those are a subset of {(There is a 3 in row C)}. Therefore, we know that none of {3CJ or 3CK or 3CR} are true. 98. Since {(There is something in CL)} we know 1 of {7CL} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7BJ or 7BK or 7CJ or 7CK} are true. 99. Since {(There is something in CL)} we know 1 of {7CL} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CK or 7CR} are true. 100. Since {(There is something in BR)} we know 1 of {8BR} are true. But those are a subset of {(There is a 8 in box 3)}. Therefore, we know that none of {8BP or 8CR} are true. 101. Since {(There is something in BR)} we know 1 of {8BR} are true. But those are a subset of {(There is a 8 in column R)}. Therefore, we know that none of {8CR or 8DR or 8ER or 8FR or 8GR or 8HR} are true. 102. Since {(There is something in BR)} we know 1 of {8BR} are true. But those are a subset of {(There is a 8 in row B)}. Therefore, we know that none of {8BJ or 8BK or 8BM or 8BO or 8BP} are true. 103. Since {(There is something in BQ)} we know 1 of {3BQ} are true. But those are a subset of {(There is a 3 in box 3)}. Therefore, we know that none of {3BP or 3CR} are true. 104. Since {(There is something in BQ)} we know 1 of {3BQ} are true. But those are a subset of {(There is a 3 in column Q)}. Therefore, we know that none of {3DQ or 3FQ or 3GQ or 3IQ} are true. 105. Since {(There is something in BQ)} we know 1 of {3BQ} are true. But those are a subset of {(There is a 3 in row B)}. Therefore, we know that none of {3BJ or 3BK or 3BM or 3BO or 3BP} are true. 106. Since {(There is something in BN)} we know 1 of {7BN} are true. But those are a subset of {(There is a 7 in box 2)}. Therefore, we know that none of {7AM or 7AN or 7AO or 7BM or 7BO} are true. 107. Since {(There is something in BN)} we know 1 of {7BN} are true. But those are a subset of {(There is a 7 in column N)}. Therefore, we know that none of {7AN or 7GN or 7IN} are true. 108. Since {(There is something in BN)} we know 1 of {7BN} are true. But those are a subset of {(There is a 7 in row B)}. Therefore, we know that none of {7BJ or 7BK or 7BM or 7BO or 7BP} are true. 109. Since {(There is something in BL)} we know 1 of {9BL} are true. But those are a subset of {(There is a 9 in box 1)}. Therefore, we know that none of {9BJ or 9BK or 9CJ or 9CK} are true. 110. Since {(There is something in BL)} we know 1 of {9BL} are true. But those are a subset of {(There is a 9 in row B)}. Therefore, we know that none of {9BJ or 9BK or 9BM or 9BO or 9BP} are true. 111. Since {(There is something in AR)} we know 1 of {1AR} are true. But those are a subset of {(There is a 1 in box 3)}. Therefore, we know that none of {1BP or 1CR} are true. 112. Since {(There is something in AR)} we know 1 of {1AR} are true. But those are a subset of {(There is a 1 in column R)}. Therefore, we know that none of {1CR or 1DR or 1ER or 1FR or 1GR or 1HR} are true. 113. Since {(There is something in AR)} we know 1 of {1AR} are true. But those are a subset of {(There is a 1 in row A)}. Therefore, we know that none of {1AM or 1AN or 1AO} are true. 114. Since {(There is something in AQ)} we know 1 of {4AQ} are true. But those are a subset of {(There is a 4 in box 3)}. Therefore, we know that none of {4BP or 4CR} are true. 115. Since {(There is something in AQ)} we know 1 of {4AQ} are true. But those are a subset of {(There is a 4 in column Q)}. Therefore, we know that none of {4DQ or 4FQ or 4GQ or 4IQ} are true. 116. Since {(There is something in AQ)} we know 1 of {4AQ} are true. But those are a subset of {(There is a 4 in row A)}. Therefore, we know that none of {4AM or 4AN or 4AO} are true. 117. Since {(There is something in AP)} we know 1 of {7AP} are true. But those are a subset of {(There is a 7 in box 3)}. Therefore, we know that none of {7BP or 7CR} are true. 118. Since {(There is something in AP)} we know 1 of {7AP} are true. But those are a subset of {(There is a 7 in column P)}. Therefore, we know that none of {7BP or 7IP} are true. 119. Since {(There is something in AP)} we know 1 of {7AP} are true. But those are a subset of {(There is a 7 in row A)}. Therefore, we know that none of {7AM or 7AN or 7AO} are true. 120. Since {(There is something in AL)} we know 1 of {3AL} are true. But those are a subset of {(There is a 3 in box 1)}. Therefore, we know that none of {3BJ or 3BK or 3CJ or 3CK} are true. 121. Since {(There is something in AL)} we know 1 of {3AL} are true. But those are a subset of {(There is a 3 in row A)}. Therefore, we know that none of {3AM or 3AN or 3AO} are true. 122. Since {(There is something in AK)} we know 1 of {8AK} are true. But those are a subset of {(There is a 8 in box 1)}. Therefore, we know that none of {8BJ or 8BK or 8CJ or 8CK} are true. 123. Since {(There is something in AK)} we know 1 of {8AK} are true. But those are a subset of {(There is a 8 in column K)}. Therefore, we know that none of {8BK or 8CK or 8DK} are true. 124. Since {(There is something in AK)} we know 1 of {8AK} are true. But those are a subset of {(There is a 8 in row A)}. Therefore, we know that none of {8AM or 8AN or 8AO} are true. 125. Since {(There is something in AJ)} we know 1 of {5AJ} are true. But those are a subset of {(There is a 5 in box 1)}. Therefore, we know that none of {5CJ or 5CK} are true. 126. Since {(There is something in AJ)} we know 1 of {5AJ} are true. But those are a subset of {(There is a 5 in column J)}. Therefore, we know that none of {5CJ or 5DJ or 5EJ or 5FJ} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 3 | 1 2 3 | 1 2 3 | 1 2 3 | | | 1 | A | 5 | | | 4 6 | 4 6 | 4 6 | | 4 | | | | 8 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 | | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 1 2 3 | | 1 2 3 | 1 2 3 | 3 | | B | 4 6 | 4 6 | | 4 5 6 | | 4 5 6 | 4 6 | | | | 7 8 9 | 7 8 9 | 9 | 7 8 9 | 7 | 7 8 9 | 7 8 9 | | 8 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 3 | | | | | 1 2 3 | C | 4 6 | 4 6 | | | 4 | | | 5 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 | | | 8 | 9 | | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 1 2 3 | | | | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 6 | 4 5 6 | | | 5 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | | 7 8 9 | 8 | 7 | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | | 1 2 3 | 3 | 1 2 3 | | | 1 2 3 | E | 4 5 6 | | 5 | 4 5 6 | | 4 5 6 | | | 4 5 6 | | 7 8 9 | 7 | | 7 8 9 | | 7 8 9 | 8 | 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 2 | | | | 1 2 3 | 1 | 1 2 3 | 1 2 3 | F | 4 5 6 | | | 4 | 5 | 4 5 6 | | 4 5 6 | 4 5 6 | | 7 8 9 | | 8 | | | 7 8 9 | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 2 | | 1 2 3 | | 3 | 1 2 3 | 1 2 3 | G | 6 | 5 | | | 4 5 6 | 4 | | 4 5 6 | 4 5 6 | | | | | 8 | 7 8 9 | | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | 3 | 1 | 1 2 3 | 2 | 1 2 3 | | | 1 2 3 | H | | | | 4 5 6 | | 4 5 6 | 4 | | 4 5 6 | | 7 | | | 7 8 9 | | 7 8 9 | | 8 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | I | | | 4 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 5 | | 8 | 9 | | 7 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in AJ) will enslave (There is a 5 in box 1) (There is a 5 in row C) will enslave (There is a 5 in box 3) ...stopped looking for slaves... 123 Deductions found: 1. Since {(There is a 9 in row A)} we know 1 of {9AM or 9AN or 9AO} are true. But those are a subset of {(There is a 9 in box 2)}. Therefore, we know that none of {9BM or 9BO} are true. 2. Since {(There is a 6 in row A)} we know 1 of {6AM or 6AN or 6AO} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BM or 6BO} are true. 3. Since {(There is a 2 in row A)} we know 1 of {2AM or 2AN or 2AO} are true. But those are a subset of {(There is a 2 in box 2)}. Therefore, we know that none of {2BM or 2BO} are true. 4. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in box 9)}. Therefore, we know that none of {5GQ or 5GR or 5HR or 5IP or 5IQ} are true. 5. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in column R)}. Therefore, we know that none of {5CR or 5DR or 5ER or 5FR or 5GR or 5HR} are true. 6. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in row I)}. Therefore, we know that none of {5IN or 5IO or 5IP or 5IQ} are true. 7. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in box 8)}. Therefore, we know that none of {7GN or 7HM or 7HO or 7IN or 7IO} are true. 8. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in column M)}. Therefore, we know that none of {7AM or 7BM or 7DM or 7EM or 7HM} are true. 9. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in row I)}. Therefore, we know that none of {7IN or 7IO or 7IP or 7IQ} are true. 10. Since {(There is something in IL)} we know 1 of {4IL} are true. But those are a subset of {(There is a 4 in row I)}. Therefore, we know that none of {4IN or 4IO or 4IP or 4IQ} are true. 11. Since {(There is something in IK)} we know 1 of {9IK} are true. But those are a subset of {(There is a 9 in column K)}. Therefore, we know that none of {9BK or 9CK or 9DK} are true. 12. Since {(There is something in IK)} we know 1 of {9IK} are true. But those are a subset of {(There is a 9 in row I)}. Therefore, we know that none of {9IN or 9IO or 9IP or 9IQ} are true. 13. Since {(There is something in IJ)} we know 1 of {8IJ} are true. But those are a subset of {(There is a 8 in column J)}. Therefore, we know that none of {8BJ or 8CJ or 8DJ or 8EJ or 8FJ} are true. 14. Since {(There is something in IJ)} we know 1 of {8IJ} are true. But those are a subset of {(There is a 8 in row I)}. Therefore, we know that none of {8IN or 8IO or 8IP or 8IQ} are true. 15. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in box 9)}. Therefore, we know that none of {8GQ or 8GR or 8HR or 8IP or 8IQ} are true. 16. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8DQ or 8FQ or 8GQ or 8IQ} are true. 17. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HM or 8HO or 8HR} are true. 18. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in box 9)}. Therefore, we know that none of {4GQ or 4GR or 4HR or 4IP or 4IQ} are true. 19. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in column P)}. Therefore, we know that none of {4BP or 4IP} are true. 20. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in row H)}. Therefore, we know that none of {4HM or 4HO or 4HR} are true. 21. Since {(There is something in HN)} we know 1 of {2HN} are true. But those are a subset of {(There is a 2 in box 8)}. Therefore, we know that none of {2GN or 2HM or 2HO or 2IN or 2IO} are true. 22. Since {(There is something in HN)} we know 1 of {2HN} are true. But those are a subset of {(There is a 2 in column N)}. Therefore, we know that none of {2AN or 2GN or 2IN} are true. 23. Since {(There is something in HN)} we know 1 of {2HN} are true. But those are a subset of {(There is a 2 in row H)}. Therefore, we know that none of {2HM or 2HO or 2HR} are true. 24. Since {(There is something in HL)} we know 1 of {1HL} are true. But those are a subset of {(There is a 1 in row H)}. Therefore, we know that none of {1HM or 1HO or 1HR} are true. 25. Since {(There is something in HK)} we know 1 of {3HK} are true. But those are a subset of {(There is a 3 in column K)}. Therefore, we know that none of {3BK or 3CK or 3DK} are true. 26. Since {(There is something in HK)} we know 1 of {3HK} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HM or 3HO or 3HR} are true. 27. Since {(There is something in HJ)} we know 1 of {7HJ} are true. But those are a subset of {(There is a 7 in column J)}. Therefore, we know that none of {7BJ or 7CJ or 7DJ or 7EJ or 7FJ} are true. 28. Since {(There is something in HJ)} we know 1 of {7HJ} are true. But those are a subset of {(There is a 7 in row H)}. Therefore, we know that none of {7HM or 7HO or 7HR} are true. 29. Since {(There is something in GP)} we know 1 of {3GP} are true. But those are a subset of {(There is a 3 in box 9)}. Therefore, we know that none of {3GQ or 3GR or 3HR or 3IP or 3IQ} are true. 30. Since {(There is something in GP)} we know 1 of {3GP} are true. But those are a subset of {(There is a 3 in column P)}. Therefore, we know that none of {3BP or 3IP} are true. 31. Since {(There is something in GP)} we know 1 of {3GP} are true. But those are a subset of {(There is a 3 in row G)}. Therefore, we know that none of {3GN or 3GQ or 3GR} are true. 32. Since {(There is something in GO)} we know 1 of {4GO} are true. But those are a subset of {(There is a 4 in box 8)}. Therefore, we know that none of {4GN or 4HM or 4HO or 4IN or 4IO} are true. 33. Since {(There is something in GO)} we know 1 of {4GO} are true. But those are a subset of {(There is a 4 in column O)}. Therefore, we know that none of {4AO or 4BO or 4EO or 4FO or 4HO or 4IO} are true. 34. Since {(There is something in GO)} we know 1 of {4GO} are true. But those are a subset of {(There is a 4 in row G)}. Therefore, we know that none of {4GN or 4GQ or 4GR} are true. 35. Since {(There is something in GM)} we know 1 of {8GM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8HM or 8HO or 8IN or 8IO} are true. 36. Since {(There is something in GM)} we know 1 of {8GM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8AM or 8BM or 8DM or 8EM or 8HM} are true. 37. Since {(There is something in GM)} we know 1 of {8GM} are true. But those are a subset of {(There is a 8 in row G)}. Therefore, we know that none of {8GN or 8GQ or 8GR} are true. 38. Since {(There is something in GL)} we know 1 of {2GL} are true. But those are a subset of {(There is a 2 in row G)}. Therefore, we know that none of {2GN or 2GQ or 2GR} are true. 39. Since {(There is something in GK)} we know 1 of {5GK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5DK} are true. 40. Since {(There is something in GK)} we know 1 of {5GK} are true. But those are a subset of {(There is a 5 in row G)}. Therefore, we know that none of {5GN or 5GQ or 5GR} are true. 41. Since {(There is something in GJ)} we know 1 of {6GJ} are true. But those are a subset of {(There is a 6 in column J)}. Therefore, we know that none of {6BJ or 6CJ or 6DJ or 6EJ or 6FJ} are true. 42. Since {(There is something in GJ)} we know 1 of {6GJ} are true. But those are a subset of {(There is a 6 in row G)}. Therefore, we know that none of {6GN or 6GQ or 6GR} are true. 43. Since {(There is something in FP)} we know 1 of {1FP} are true. But those are a subset of {(There is a 1 in box 6)}. Therefore, we know that none of {1DQ or 1DR or 1ER or 1FQ or 1FR} are true. 44. Since {(There is something in FP)} we know 1 of {1FP} are true. But those are a subset of {(There is a 1 in column P)}. Therefore, we know that none of {1BP or 1IP} are true. 45. Since {(There is something in FP)} we know 1 of {1FP} are true. But those are a subset of {(There is a 1 in row F)}. Therefore, we know that none of {1FJ or 1FO or 1FQ or 1FR} are true. 46. Since {(There is something in FN)} we know 1 of {5FN} are true. But those are a subset of {(There is a 5 in box 5)}. Therefore, we know that none of {5DM or 5EM or 5EO or 5FO} are true. 47. Since {(There is something in FN)} we know 1 of {5FN} are true. But those are a subset of {(There is a 5 in column N)}. Therefore, we know that none of {5GN or 5IN} are true. 48. Since {(There is something in FN)} we know 1 of {5FN} are true. But those are a subset of {(There is a 5 in row F)}. Therefore, we know that none of {5FJ or 5FO or 5FQ or 5FR} are true. 49. Since {(There is something in FM)} we know 1 of {4FM} are true. But those are a subset of {(There is a 4 in box 5)}. Therefore, we know that none of {4DM or 4EM or 4EO or 4FO} are true. 50. Since {(There is something in FM)} we know 1 of {4FM} are true. But those are a subset of {(There is a 4 in column M)}. Therefore, we know that none of {4AM or 4BM or 4DM or 4EM or 4HM} are true. 51. Since {(There is something in FM)} we know 1 of {4FM} are true. But those are a subset of {(There is a 4 in row F)}. Therefore, we know that none of {4FJ or 4FO or 4FQ or 4FR} are true. 52. Since {(There is something in FL)} we know 1 of {8FL} are true. But those are a subset of {(There is a 8 in box 4)}. Therefore, we know that none of {8DJ or 8DK or 8EJ or 8FJ} are true. 53. Since {(There is something in FL)} we know 1 of {8FL} are true. But those are a subset of {(There is a 8 in row F)}. Therefore, we know that none of {8FJ or 8FO or 8FQ or 8FR} are true. 54. Since {(There is something in FK)} we know 1 of {2FK} are true. But those are a subset of {(There is a 2 in box 4)}. Therefore, we know that none of {2DJ or 2DK or 2EJ or 2FJ} are true. 55. Since {(There is something in FK)} we know 1 of {2FK} are true. But those are a subset of {(There is a 2 in column K)}. Therefore, we know that none of {2BK or 2CK or 2DK} are true. 56. Since {(There is something in FK)} we know 1 of {2FK} are true. But those are a subset of {(There is a 2 in row F)}. Therefore, we know that none of {2FJ or 2FO or 2FQ or 2FR} are true. 57. Since {(There is something in EQ)} we know 1 of {9EQ} are true. But those are a subset of {(There is a 9 in box 6)}. Therefore, we know that none of {9DQ or 9DR or 9ER or 9FQ or 9FR} are true. 58. Since {(There is something in EQ)} we know 1 of {9EQ} are true. But those are a subset of {(There is a 9 in column Q)}. Therefore, we know that none of {9DQ or 9FQ or 9GQ or 9IQ} are true. 59. Since {(There is something in EQ)} we know 1 of {9EQ} are true. But those are a subset of {(There is a 9 in row E)}. Therefore, we know that none of {9EJ or 9EM or 9EO or 9ER} are true. 60. Since {(There is something in EP)} we know 1 of {8EP} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DQ or 8DR or 8ER or 8FQ or 8FR} are true. 61. Since {(There is something in EP)} we know 1 of {8EP} are true. But those are a subset of {(There is a 8 in column P)}. Therefore, we know that none of {8BP or 8IP} are true. 62. Since {(There is something in EP)} we know 1 of {8EP} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EJ or 8EM or 8EO or 8ER} are true. 63. Since {(There is something in EN)} we know 1 of {3EN} are true. But those are a subset of {(There is a 3 in box 5)}. Therefore, we know that none of {3DM or 3EM or 3EO or 3FO} are true. 64. Since {(There is something in EN)} we know 1 of {3EN} are true. But those are a subset of {(There is a 3 in column N)}. Therefore, we know that none of {3AN or 3GN or 3IN} are true. 65. Since {(There is something in EN)} we know 1 of {3EN} are true. But those are a subset of {(There is a 3 in row E)}. Therefore, we know that none of {3EJ or 3EM or 3EO or 3ER} are true. 66. Since {(There is something in EL)} we know 1 of {5EL} are true. But those are a subset of {(There is a 5 in box 4)}. Therefore, we know that none of {5DJ or 5DK or 5EJ or 5FJ} are true. 67. Since {(There is something in EL)} we know 1 of {5EL} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EJ or 5EM or 5EO or 5ER} are true. 68. Since {(There is something in EK)} we know 1 of {7EK} are true. But those are a subset of {(There is a 7 in box 4)}. Therefore, we know that none of {7DJ or 7DK or 7EJ or 7FJ} are true. 69. Since {(There is something in EK)} we know 1 of {7EK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7BK or 7CK or 7DK} are true. 70. Since {(There is something in EK)} we know 1 of {7EK} are true. But those are a subset of {(There is a 7 in row E)}. Therefore, we know that none of {7EJ or 7EM or 7EO or 7ER} are true. 71. Since {(There is something in DP)} we know 1 of {5DP} are true. But those are a subset of {(There is a 5 in box 6)}. Therefore, we know that none of {5DQ or 5DR or 5ER or 5FQ or 5FR} are true. 72. Since {(There is something in DP)} we know 1 of {5DP} are true. But those are a subset of {(There is a 5 in column P)}. Therefore, we know that none of {5IP} are true. 73. Since {(There is something in DP)} we know 1 of {5DP} are true. But those are a subset of {(There is a 5 in row D)}. Therefore, we know that none of {5DJ or 5DK or 5DM or 5DQ or 5DR} are true. 74. Since {(There is something in DO)} we know 1 of {7DO} are true. But those are a subset of {(There is a 7 in box 5)}. Therefore, we know that none of {7DM or 7EM or 7EO or 7FO} are true. 75. Since {(There is something in DO)} we know 1 of {7DO} are true. But those are a subset of {(There is a 7 in column O)}. Therefore, we know that none of {7AO or 7BO or 7EO or 7FO or 7HO or 7IO} are true. 76. Since {(There is something in DO)} we know 1 of {7DO} are true. But those are a subset of {(There is a 7 in row D)}. Therefore, we know that none of {7DJ or 7DK or 7DM or 7DQ or 7DR} are true. 77. Since {(There is something in DN)} we know 1 of {8DN} are true. But those are a subset of {(There is a 8 in box 5)}. Therefore, we know that none of {8DM or 8EM or 8EO or 8FO} are true. 78. Since {(There is something in DN)} we know 1 of {8DN} are true. But those are a subset of {(There is a 8 in column N)}. Therefore, we know that none of {8AN or 8GN or 8IN} are true. 79. Since {(There is something in DN)} we know 1 of {8DN} are true. But those are a subset of {(There is a 8 in row D)}. Therefore, we know that none of {8DJ or 8DK or 8DM or 8DQ or 8DR} are true. 80. Since {(There is something in DL)} we know 1 of {6DL} are true. But those are a subset of {(There is a 6 in box 4)}. Therefore, we know that none of {6DJ or 6DK or 6EJ or 6FJ} are true. 81. Since {(There is something in DL)} we know 1 of {6DL} are true. But those are a subset of {(There is a 6 in row D)}. Therefore, we know that none of {6DJ or 6DK or 6DM or 6DQ or 6DR} are true. 82. Since {(There is something in CQ)} we know 1 of {5CQ} are true. But those are a subset of {(There is a 5 in column Q)}. Therefore, we know that none of {5DQ or 5FQ or 5GQ or 5IQ} are true. 83. Since {(There is something in CQ)} we know 1 of {5CQ} are true. But those are a subset of {(There is a 5 in row C)}. Therefore, we know that none of {5CR} are true. 84. Since {(There is something in CP)} we know 1 of {9CP} are true. But those are a subset of {(There is a 9 in box 3)}. Therefore, we know that none of {9BP or 9CR} are true. 85. Since {(There is something in CP)} we know 1 of {9CP} are true. But those are a subset of {(There is a 9 in column P)}. Therefore, we know that none of {9BP or 9IP} are true. 86. Since {(There is something in CP)} we know 1 of {9CP} are true. But those are a subset of {(There is a 9 in row C)}. Therefore, we know that none of {9CJ or 9CK or 9CR} are true. 87. Since {(There is something in CO)} we know 1 of {8CO} are true. But those are a subset of {(There is a 8 in box 2)}. Therefore, we know that none of {8AM or 8AN or 8AO or 8BM or 8BO} are true. 88. Since {(There is something in CO)} we know 1 of {8CO} are true. But those are a subset of {(There is a 8 in column O)}. Therefore, we know that none of {8AO or 8BO or 8EO or 8FO or 8HO or 8IO} are true. 89. Since {(There is something in CO)} we know 1 of {8CO} are true. But those are a subset of {(There is a 8 in row C)}. Therefore, we know that none of {8CJ or 8CK or 8CR} are true. 90. Since {(There is something in CN)} we know 1 of {4CN} are true. But those are a subset of {(There is a 4 in box 2)}. Therefore, we know that none of {4AM or 4AN or 4AO or 4BM or 4BO} are true. 91. Since {(There is something in CN)} we know 1 of {4CN} are true. But those are a subset of {(There is a 4 in column N)}. Therefore, we know that none of {4AN or 4GN or 4IN} are true. 92. Since {(There is something in CN)} we know 1 of {4CN} are true. But those are a subset of {(There is a 4 in row C)}. Therefore, we know that none of {4CJ or 4CK or 4CR} are true. 93. Since {(There is something in CM)} we know 1 of {3CM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AM or 3AN or 3AO or 3BM or 3BO} are true. 94. Since {(There is something in CM)} we know 1 of {3CM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3AM or 3BM or 3DM or 3EM or 3HM} are true. 95. Since {(There is something in CM)} we know 1 of {3CM} are true. But those are a subset of {(There is a 3 in row C)}. Therefore, we know that none of {3CJ or 3CK or 3CR} are true. 96. Since {(There is something in CL)} we know 1 of {7CL} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7BJ or 7BK or 7CJ or 7CK} are true. 97. Since {(There is something in CL)} we know 1 of {7CL} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CK or 7CR} are true. 98. Since {(There is something in BR)} we know 1 of {8BR} are true. But those are a subset of {(There is a 8 in box 3)}. Therefore, we know that none of {8BP or 8CR} are true. 99. Since {(There is something in BR)} we know 1 of {8BR} are true. But those are a subset of {(There is a 8 in column R)}. Therefore, we know that none of {8CR or 8DR or 8ER or 8FR or 8GR or 8HR} are true. 100. Since {(There is something in BR)} we know 1 of {8BR} are true. But those are a subset of {(There is a 8 in row B)}. Therefore, we know that none of {8BJ or 8BK or 8BM or 8BO or 8BP} are true. 101. Since {(There is something in BQ)} we know 1 of {3BQ} are true. But those are a subset of {(There is a 3 in box 3)}. Therefore, we know that none of {3BP or 3CR} are true. 102. Since {(There is something in BQ)} we know 1 of {3BQ} are true. But those are a subset of {(There is a 3 in column Q)}. Therefore, we know that none of {3DQ or 3FQ or 3GQ or 3IQ} are true. 103. Since {(There is something in BQ)} we know 1 of {3BQ} are true. But those are a subset of {(There is a 3 in row B)}. Therefore, we know that none of {3BJ or 3BK or 3BM or 3BO or 3BP} are true. 104. Since {(There is something in BN)} we know 1 of {7BN} are true. But those are a subset of {(There is a 7 in box 2)}. Therefore, we know that none of {7AM or 7AN or 7AO or 7BM or 7BO} are true. 105. Since {(There is something in BN)} we know 1 of {7BN} are true. But those are a subset of {(There is a 7 in column N)}. Therefore, we know that none of {7AN or 7GN or 7IN} are true. 106. Since {(There is something in BN)} we know 1 of {7BN} are true. But those are a subset of {(There is a 7 in row B)}. Therefore, we know that none of {7BJ or 7BK or 7BM or 7BO or 7BP} are true. 107. Since {(There is something in BL)} we know 1 of {9BL} are true. But those are a subset of {(There is a 9 in box 1)}. Therefore, we know that none of {9BJ or 9BK or 9CJ or 9CK} are true. 108. Since {(There is something in BL)} we know 1 of {9BL} are true. But those are a subset of {(There is a 9 in row B)}. Therefore, we know that none of {9BJ or 9BK or 9BM or 9BO or 9BP} are true. 109. Since {(There is something in AR)} we know 1 of {1AR} are true. But those are a subset of {(There is a 1 in box 3)}. Therefore, we know that none of {1BP or 1CR} are true. 110. Since {(There is something in AR)} we know 1 of {1AR} are true. But those are a subset of {(There is a 1 in column R)}. Therefore, we know that none of {1CR or 1DR or 1ER or 1FR or 1GR or 1HR} are true. 111. Since {(There is something in AR)} we know 1 of {1AR} are true. But those are a subset of {(There is a 1 in row A)}. Therefore, we know that none of {1AM or 1AN or 1AO} are true. 112. Since {(There is something in AQ)} we know 1 of {4AQ} are true. But those are a subset of {(There is a 4 in box 3)}. Therefore, we know that none of {4BP or 4CR} are true. 113. Since {(There is something in AQ)} we know 1 of {4AQ} are true. But those are a subset of {(There is a 4 in column Q)}. Therefore, we know that none of {4DQ or 4FQ or 4GQ or 4IQ} are true. 114. Since {(There is something in AQ)} we know 1 of {4AQ} are true. But those are a subset of {(There is a 4 in row A)}. Therefore, we know that none of {4AM or 4AN or 4AO} are true. 115. Since {(There is something in AP)} we know 1 of {7AP} are true. But those are a subset of {(There is a 7 in box 3)}. Therefore, we know that none of {7BP or 7CR} are true. 116. Since {(There is something in AP)} we know 1 of {7AP} are true. But those are a subset of {(There is a 7 in column P)}. Therefore, we know that none of {7BP or 7IP} are true. 117. Since {(There is something in AP)} we know 1 of {7AP} are true. But those are a subset of {(There is a 7 in row A)}. Therefore, we know that none of {7AM or 7AN or 7AO} are true. 118. Since {(There is something in AL)} we know 1 of {3AL} are true. But those are a subset of {(There is a 3 in box 1)}. Therefore, we know that none of {3BJ or 3BK or 3CJ or 3CK} are true. 119. Since {(There is something in AL)} we know 1 of {3AL} are true. But those are a subset of {(There is a 3 in row A)}. Therefore, we know that none of {3AM or 3AN or 3AO} are true. 120. Since {(There is something in AK)} we know 1 of {8AK} are true. But those are a subset of {(There is a 8 in box 1)}. Therefore, we know that none of {8BJ or 8BK or 8CJ or 8CK} are true. 121. Since {(There is something in AK)} we know 1 of {8AK} are true. But those are a subset of {(There is a 8 in column K)}. Therefore, we know that none of {8BK or 8CK or 8DK} are true. 122. Since {(There is something in AK)} we know 1 of {8AK} are true. But those are a subset of {(There is a 8 in row A)}. Therefore, we know that none of {8AM or 8AN or 8AO} are true. 123. Since {(There is something in AJ)} we know 1 of {5AJ} are true. But those are a subset of {(There is a 5 in column J)}. Therefore, we know that none of {5DJ or 5EJ or 5FJ} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 3 | 1 2 3 | 1 2 3 | 1 2 3 | | | 1 | A | 5 | | | 4 6 | 4 6 | 4 6 | | 4 | | | | 8 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 | | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 1 2 3 | | 1 2 3 | 1 2 3 | 3 | | B | 4 6 | 4 6 | | 4 5 6 | | 4 5 6 | 4 6 | | | | 7 8 9 | 7 8 9 | 9 | 7 8 | 7 | 7 8 | 7 8 9 | | 8 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 3 | | | | | 1 2 3 | C | 4 6 | 4 6 | | | 4 | | | 5 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 | | | 8 | 9 | | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | | 1 2 3 | | | | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 6 | 4 5 6 | | | 5 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | | 7 8 9 | 8 | 7 | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | | 1 2 3 | 3 | 1 2 3 | | | 1 2 3 | E | 4 5 6 | | 5 | 4 5 6 | | 4 5 6 | | | 4 5 6 | | 7 8 9 | 7 | | 7 8 9 | | 7 8 9 | 8 | 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 2 | | | | 1 2 3 | 1 | 1 2 3 | 1 2 3 | F | 4 5 6 | | | 4 | 5 | 4 5 6 | | 4 5 6 | 4 5 6 | | 7 8 9 | | 8 | | | 7 8 9 | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 2 | | 1 2 3 | | 3 | 1 2 3 | 1 2 3 | G | 6 | 5 | | | 4 5 6 | 4 | | 4 5 6 | 4 5 6 | | | | | 8 | 7 8 9 | | | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | 3 | 1 | 1 2 3 | 2 | 1 2 3 | | | 1 2 3 | H | | | | 4 5 6 | | 4 5 6 | 4 | | 4 5 6 | | 7 | | | 7 8 9 | | 7 8 9 | | 8 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | I | | | 4 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 5 | | 8 | 9 | | 7 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is a 9 in row A) will enslave (There is a 9 in box 2) ...stopped looking for slaves... 122 Deductions found: 1. Since {(There is a 6 in row A)} we know 1 of {6AM or 6AN or 6AO} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BM or 6BO} are true. 2. Since {(There is a 2 in row A)} we know 1 of {2AM or 2AN or 2AO} are true. But those are a subset of {(There is a 2 in box 2)}. Therefore, we know that none of {2BM or 2BO} are true. 3. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in box 9)}. Therefore, we know that none of {5GQ or 5GR or 5HR or 5IP or 5IQ} are true. 4. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in column R)}. Therefore, we know that none of {5CR or 5DR or 5ER or 5FR or 5GR or 5HR} are true. 5. Since {(There is something in IR)} we know 1 of {5IR} are true. But those are a subset of {(There is a 5 in row I)}. Therefore, we know that none of {5IN or 5IO or 5IP or 5IQ} are true. 6. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in box 8)}. Therefore, we know that none of {7GN or 7HM or 7HO or 7IN or 7IO} are true. 7. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in column M)}. Therefore, we know that none of {7AM or 7BM or 7DM or 7EM or 7HM} are true. 8. Since {(There is something in IM)} we know 1 of {7IM} are true. But those are a subset of {(There is a 7 in row I)}. Therefore, we know that none of {7IN or 7IO or 7IP or 7IQ} are true. 9. Since {(There is something in IL)} we know 1 of {4IL} are true. But those are a subset of {(There is a 4 in row I)}. Therefore, we know that none of {4IN or 4IO or 4IP or 4IQ} are true. 10. Since {(There is something in IK)} we know 1 of {9IK} are true. But those are a subset of {(There is a 9 in column K)}. Therefore, we know that none of {9BK or 9CK or 9DK} are true. 11. Since {(There is something in IK)} we know 1 of {9IK} are true. But those are a subset of {(There is a 9 in row I)}. Therefore, we know that none of {9IN or 9IO or 9IP or 9IQ} are true. 12. Since {(There is something in IJ)} we know 1 of {8IJ} are true. But those are a subset of {(There is a 8 in column J)}. Therefore, we know that none of {8BJ or 8CJ or 8DJ or 8EJ or 8FJ} are true. 13. Since {(There is something in IJ)} we know 1 of {8IJ} are true. But those are a subset of {(There is a 8 in row I)}. Therefore, we know that none of {8IN or 8IO or 8IP or 8IQ} are true. 14. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in box 9)}. Therefore, we know that none of {8GQ or 8GR or 8HR or 8IP or 8IQ} are true. 15. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8DQ or 8FQ or 8GQ or 8IQ} are true. 16. Since {(There is something in HQ)} we know 1 of {8HQ} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HM or 8HO or 8HR} are true. 17. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in box 9)}. Therefore, we know that none of {4GQ or 4GR or 4HR or 4IP or 4IQ} are true. 18. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in column P)}. Therefore, we know that none of {4BP or 4IP} are true. 19. Since {(There is something in HP)} we know 1 of {4HP} are true. But those are a subset of {(There is a 4 in row H)}. Therefore, we know that none of {4HM or 4HO or 4HR} are true. 20. Since {(There is something in HN