J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | A | 4 5 6 | 4 5 6 | 4 5 6 | 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | B | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 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 | 1 2 3 | 1 2 3 | 1 2 3 | C | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 | 7 8 9 | 7 8 9 | 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 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 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 | | 2 | E | 4 | 5 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | | | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 8 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | F | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | G | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | H | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 8 | 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 | | | 1 2 3 | 1 2 3 | I | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 9 | 7 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ 39 Deductions found: 1. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in row A)}. Therefore, we know that none of {6AJ or 6AK or 6AL or 6AN or 6AO or 6AP or 6AQ or 6AR} are true. 2. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in column M)}. Therefore, we know that none of {6CM or 6DM or 6EM or 6FM or 6IM} are true. 3. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6AN or 6AO or 6BN or 6BO or 6CM or 6CN} are true. 4. Since {(There is something in BM)} we know 1 of {3BM} 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 3BL or 3BN or 3BO or 3BP or 3BQ or 3BR} are true. 5. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3CM or 3DM or 3EM or 3FM or 3IM} are true. 6. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AN or 3AO or 3BN or 3BO or 3CM or 3CN} are true. 7. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CL or 7CM or 7CN or 7CP or 7CQ or 7CR} are true. 8. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7AK or 7BK or 7DK or 7FK or 7GK or 7HK or 7IK} are true. 9. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7AJ or 7AK or 7AL or 7BJ or 7BK or 7BL or 7CJ or 7CL} are true. 10. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in row C)}. Therefore, we know that none of {1CJ or 1CL or 1CM or 1CN or 1CP or 1CQ or 1CR} are true. 11. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in column O)}. Therefore, we know that none of {1AO or 1BO or 1DO or 1EO or 1FO or 1GO} are true. 12. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in box 2)}. Therefore, we know that none of {1AN or 1AO or 1BN or 1BO or 1CM or 1CN} are true. 13. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in row E)}. Therefore, we know that none of {4EL or 4EM or 4EN or 4EO or 4EP} are true. 14. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in column J)}. Therefore, we know that none of {4AJ or 4BJ or 4CJ or 4DJ or 4FJ or 4GJ or 4HJ or 4IJ} are true. 15. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in box 4)}. Therefore, we know that none of {4DJ or 4DK or 4DL or 4EL or 4FJ or 4FK or 4FL} are true. 16. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EL or 5EM or 5EN or 5EO or 5EP} are true. 17. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5AK or 5BK or 5DK or 5FK or 5GK or 5HK or 5IK} are true. 18. Since {(There is something in EK)} we know 1 of {5EK} 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 5DL or 5EL or 5FJ or 5FK or 5FL} are true. 19. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EL or 8EM or 8EN or 8EO or 8EP} are true. 20. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8AQ or 8BQ or 8CQ or 8DQ or 8FQ or 8GQ or 8HQ or 8IQ} are true. 21. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DP or 8DQ or 8DR or 8EP or 8FP or 8FQ or 8FR} are true. 22. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in row E)}. Therefore, we know that none of {2EL or 2EM or 2EN or 2EO or 2EP} are true. 23. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in column R)}. Therefore, we know that none of {2AR or 2BR or 2CR or 2DR or 2FR or 2GR or 2HR or 2IR} are true. 24. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in box 6)}. Therefore, we know that none of {2DP or 2DQ or 2DR or 2EP or 2FP or 2FQ or 2FR} are true. 25. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in row G)}. Therefore, we know that none of {1GJ or 1GK or 1GL or 1GN or 1GO or 1GP or 1GQ or 1GR} are true. 26. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in column M)}. Therefore, we know that none of {1CM or 1DM or 1EM or 1FM or 1IM} are true. 27. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in box 8)}. Therefore, we know that none of {1GN or 1GO or 1HN or 1IM or 1IN} are true. 28. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HJ or 8HK or 8HL or 8HN or 8HP or 8HQ or 8HR} are true. 29. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8CM or 8DM or 8EM or 8FM or 8IM} are true. 30. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8GO or 8HN or 8IM or 8IN} are true. 31. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HJ or 3HK or 3HL or 3HN or 3HP or 3HQ or 3HR} are true. 32. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in column O)}. Therefore, we know that none of {3AO or 3BO or 3DO or 3EO or 3FO or 3GO} are true. 33. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in box 8)}. Therefore, we know that none of {3GN or 3GO or 3HN or 3IM or 3IN} are true. 34. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in row I)}. Therefore, we know that none of {9IJ or 9IK or 9IL or 9IM or 9IN or 9IQ or 9IR} are true. 35. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in column O)}. Therefore, we know that none of {9AO or 9BO or 9DO or 9EO or 9FO or 9GO} are true. 36. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in box 8)}. Therefore, we know that none of {9GN or 9GO or 9HN or 9IM or 9IN} are true. 37. Since {(There is something in IP)} we know 1 of {7IP} are true. But those are a subset of {(There is a 7 in row I)}. Therefore, we know that none of {7IJ or 7IK or 7IL or 7IM or 7IN or 7IQ or 7IR} are true. 38. Since {(There is something in IP)} we know 1 of {7IP} are true. But those are a subset of {(There is a 7 in column P)}. Therefore, we know that none of {7AP or 7BP or 7CP or 7DP or 7EP or 7FP or 7GP or 7HP} are true. 39. Since {(There is something in IP)} we know 1 of {7IP} are true. But those are a subset of {(There is a 7 in box 9)}. Therefore, we know that none of {7GP or 7GQ or 7GR or 7HP or 7HQ or 7HR or 7IQ or 7IR} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | A | 4 5 | 4 5 | 4 5 | 6 | 4 5 | 4 5 | 4 5 | 4 5 | 4 5 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | B | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 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 | 1 2 3 | 1 2 3 | 1 2 3 | C | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 | 7 8 9 | 7 8 9 | 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 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 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 | | 2 | E | 4 | 5 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | | | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 8 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | F | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | G | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | H | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 8 | 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 | | | 1 2 3 | 1 2 3 | I | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 9 | 7 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in AM) will enslave (There is a 6 in row A) ...stopped looking for slaves... 38 Deductions found: 1. Since {(There is something in IP)} we know 1 of {7IP} are true. But those are a subset of {(There is a 7 in box 9)}. Therefore, we know that none of {7GP or 7GQ or 7GR or 7HP or 7HQ or 7HR or 7IQ or 7IR} are true. 2. Since {(There is something in IP)} we know 1 of {7IP} are true. But those are a subset of {(There is a 7 in column P)}. Therefore, we know that none of {7AP or 7BP or 7CP or 7DP or 7EP or 7FP or 7GP or 7HP} are true. 3. Since {(There is something in IP)} we know 1 of {7IP} are true. But those are a subset of {(There is a 7 in row I)}. Therefore, we know that none of {7IJ or 7IK or 7IL or 7IM or 7IN or 7IQ or 7IR} are true. 4. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in box 8)}. Therefore, we know that none of {9GN or 9GO or 9HN or 9IM or 9IN} are true. 5. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in column O)}. Therefore, we know that none of {9AO or 9BO or 9DO or 9EO or 9FO or 9GO} are true. 6. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in row I)}. Therefore, we know that none of {9IJ or 9IK or 9IL or 9IM or 9IN or 9IQ or 9IR} are true. 7. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in box 8)}. Therefore, we know that none of {3GN or 3GO or 3HN or 3IM or 3IN} are true. 8. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in column O)}. Therefore, we know that none of {3AO or 3BO or 3DO or 3EO or 3FO or 3GO} are true. 9. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HJ or 3HK or 3HL or 3HN or 3HP or 3HQ or 3HR} are true. 10. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8GO or 8HN or 8IM or 8IN} are true. 11. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8CM or 8DM or 8EM or 8FM or 8IM} are true. 12. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HJ or 8HK or 8HL or 8HN or 8HP or 8HQ or 8HR} are true. 13. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in box 8)}. Therefore, we know that none of {1GN or 1GO or 1HN or 1IM or 1IN} are true. 14. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in column M)}. Therefore, we know that none of {1CM or 1DM or 1EM or 1FM or 1IM} are true. 15. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in row G)}. Therefore, we know that none of {1GJ or 1GK or 1GL or 1GN or 1GO or 1GP or 1GQ or 1GR} are true. 16. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in box 6)}. Therefore, we know that none of {2DP or 2DQ or 2DR or 2EP or 2FP or 2FQ or 2FR} are true. 17. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in column R)}. Therefore, we know that none of {2AR or 2BR or 2CR or 2DR or 2FR or 2GR or 2HR or 2IR} are true. 18. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in row E)}. Therefore, we know that none of {2EL or 2EM or 2EN or 2EO or 2EP} are true. 19. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DP or 8DQ or 8DR or 8EP or 8FP or 8FQ or 8FR} are true. 20. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8AQ or 8BQ or 8CQ or 8DQ or 8FQ or 8GQ or 8HQ or 8IQ} are true. 21. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EL or 8EM or 8EN or 8EO or 8EP} are true. 22. Since {(There is something in EK)} we know 1 of {5EK} 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 5DL or 5EL or 5FJ or 5FK or 5FL} are true. 23. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5AK or 5BK or 5DK or 5FK or 5GK or 5HK or 5IK} are true. 24. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EL or 5EM or 5EN or 5EO or 5EP} are true. 25. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in box 4)}. Therefore, we know that none of {4DJ or 4DK or 4DL or 4EL or 4FJ or 4FK or 4FL} are true. 26. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in column J)}. Therefore, we know that none of {4AJ or 4BJ or 4CJ or 4DJ or 4FJ or 4GJ or 4HJ or 4IJ} are true. 27. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in row E)}. Therefore, we know that none of {4EL or 4EM or 4EN or 4EO or 4EP} are true. 28. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in box 2)}. Therefore, we know that none of {1AN or 1AO or 1BN or 1BO or 1CM or 1CN} are true. 29. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in column O)}. Therefore, we know that none of {1AO or 1BO or 1DO or 1EO or 1FO or 1GO} are true. 30. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in row C)}. Therefore, we know that none of {1CJ or 1CL or 1CM or 1CN or 1CP or 1CQ or 1CR} are true. 31. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7AJ or 7AK or 7AL or 7BJ or 7BK or 7BL or 7CJ or 7CL} are true. 32. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7AK or 7BK or 7DK or 7FK or 7GK or 7HK or 7IK} are true. 33. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CL or 7CM or 7CN or 7CP or 7CQ or 7CR} are true. 34. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AN or 3AO or 3BN or 3BO or 3CM or 3CN} are true. 35. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3CM or 3DM or 3EM or 3FM or 3IM} are true. 36. Since {(There is something in BM)} we know 1 of {3BM} 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 3BL or 3BN or 3BO or 3BP or 3BQ or 3BR} are true. 37. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BN or 6BO or 6CM or 6CN} are true. 38. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in column M)}. Therefore, we know that none of {6CM or 6DM or 6EM or 6FM or 6IM} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | A | 4 5 | 4 5 | 4 5 | 6 | 4 5 | 4 5 | 4 5 | 4 5 | 4 5 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | B | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 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 | 1 2 3 | 1 2 3 | 1 2 3 | C | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 | 7 8 9 | 7 8 9 | 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 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 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 | | 2 | E | 4 | 5 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | | | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 8 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | F | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | G | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | H | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 8 | 7 8 9 | | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | | 1 2 3 | 1 2 3 | I | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 9 | 7 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in IP) will enslave (There is a 7 in box 9) ...stopped looking for slaves... 37 Deductions found: 1. Since {(There is something in IP)} we know 1 of {7IP} are true. But those are a subset of {(There is a 7 in column P)}. Therefore, we know that none of {7AP or 7BP or 7CP or 7DP or 7EP or 7FP} are true. 2. Since {(There is something in IP)} we know 1 of {7IP} are true. But those are a subset of {(There is a 7 in row I)}. Therefore, we know that none of {7IJ or 7IK or 7IL or 7IM or 7IN} are true. 3. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in box 8)}. Therefore, we know that none of {9GN or 9GO or 9HN or 9IM or 9IN} are true. 4. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in column O)}. Therefore, we know that none of {9AO or 9BO or 9DO or 9EO or 9FO or 9GO} are true. 5. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in row I)}. Therefore, we know that none of {9IJ or 9IK or 9IL or 9IM or 9IN or 9IQ or 9IR} are true. 6. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in box 8)}. Therefore, we know that none of {3GN or 3GO or 3HN or 3IM or 3IN} are true. 7. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in column O)}. Therefore, we know that none of {3AO or 3BO or 3DO or 3EO or 3FO or 3GO} are true. 8. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HJ or 3HK or 3HL or 3HN or 3HP or 3HQ or 3HR} are true. 9. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8GO or 8HN or 8IM or 8IN} are true. 10. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8CM or 8DM or 8EM or 8FM or 8IM} are true. 11. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HJ or 8HK or 8HL or 8HN or 8HP or 8HQ or 8HR} are true. 12. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in box 8)}. Therefore, we know that none of {1GN or 1GO or 1HN or 1IM or 1IN} are true. 13. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in column M)}. Therefore, we know that none of {1CM or 1DM or 1EM or 1FM or 1IM} are true. 14. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in row G)}. Therefore, we know that none of {1GJ or 1GK or 1GL or 1GN or 1GO or 1GP or 1GQ or 1GR} are true. 15. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in box 6)}. Therefore, we know that none of {2DP or 2DQ or 2DR or 2EP or 2FP or 2FQ or 2FR} are true. 16. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in column R)}. Therefore, we know that none of {2AR or 2BR or 2CR or 2DR or 2FR or 2GR or 2HR or 2IR} are true. 17. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in row E)}. Therefore, we know that none of {2EL or 2EM or 2EN or 2EO or 2EP} are true. 18. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DP or 8DQ or 8DR or 8EP or 8FP or 8FQ or 8FR} are true. 19. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8AQ or 8BQ or 8CQ or 8DQ or 8FQ or 8GQ or 8HQ or 8IQ} are true. 20. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EL or 8EM or 8EN or 8EO or 8EP} are true. 21. Since {(There is something in EK)} we know 1 of {5EK} 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 5DL or 5EL or 5FJ or 5FK or 5FL} are true. 22. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5AK or 5BK or 5DK or 5FK or 5GK or 5HK or 5IK} are true. 23. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EL or 5EM or 5EN or 5EO or 5EP} are true. 24. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in box 4)}. Therefore, we know that none of {4DJ or 4DK or 4DL or 4EL or 4FJ or 4FK or 4FL} are true. 25. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in column J)}. Therefore, we know that none of {4AJ or 4BJ or 4CJ or 4DJ or 4FJ or 4GJ or 4HJ or 4IJ} are true. 26. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in row E)}. Therefore, we know that none of {4EL or 4EM or 4EN or 4EO or 4EP} are true. 27. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in box 2)}. Therefore, we know that none of {1AN or 1AO or 1BN or 1BO or 1CM or 1CN} are true. 28. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in column O)}. Therefore, we know that none of {1AO or 1BO or 1DO or 1EO or 1FO or 1GO} are true. 29. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in row C)}. Therefore, we know that none of {1CJ or 1CL or 1CM or 1CN or 1CP or 1CQ or 1CR} are true. 30. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7AJ or 7AK or 7AL or 7BJ or 7BK or 7BL or 7CJ or 7CL} are true. 31. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7AK or 7BK or 7DK or 7FK or 7GK or 7HK or 7IK} are true. 32. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CL or 7CM or 7CN or 7CP or 7CQ or 7CR} are true. 33. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AN or 3AO or 3BN or 3BO or 3CM or 3CN} are true. 34. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3CM or 3DM or 3EM or 3FM or 3IM} are true. 35. Since {(There is something in BM)} we know 1 of {3BM} 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 3BL or 3BN or 3BO or 3BP or 3BQ or 3BR} are true. 36. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BN or 6BO or 6CM or 6CN} are true. 37. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in column M)}. Therefore, we know that none of {6CM or 6DM or 6EM or 6FM or 6IM} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | A | 4 5 | 4 5 | 4 5 | 6 | 4 5 | 4 5 | 4 5 | 4 5 | 4 5 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | B | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | C | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 | 7 8 9 | 7 8 9 | 7 8 9 | | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | 2 | E | 4 | 5 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | | | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 8 9 | 8 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | F | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | G | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | H | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 8 | 7 8 9 | | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | | 1 2 3 | 1 2 3 | I | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 9 | 7 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in IP) will enslave (There is a 7 in column P) ...stopped looking for slaves... 36 Deductions found: 1. Since {(There is something in IP)} we know 1 of {7IP} are true. But those are a subset of {(There is a 7 in row I)}. Therefore, we know that none of {7IJ or 7IK or 7IL or 7IM or 7IN} are true. 2. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in box 8)}. Therefore, we know that none of {9GN or 9GO or 9HN or 9IM or 9IN} are true. 3. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in column O)}. Therefore, we know that none of {9AO or 9BO or 9DO or 9EO or 9FO or 9GO} are true. 4. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in row I)}. Therefore, we know that none of {9IJ or 9IK or 9IL or 9IM or 9IN or 9IQ or 9IR} are true. 5. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in box 8)}. Therefore, we know that none of {3GN or 3GO or 3HN or 3IM or 3IN} are true. 6. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in column O)}. Therefore, we know that none of {3AO or 3BO or 3DO or 3EO or 3FO or 3GO} are true. 7. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HJ or 3HK or 3HL or 3HN or 3HP or 3HQ or 3HR} are true. 8. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8GO or 8HN or 8IM or 8IN} are true. 9. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8CM or 8DM or 8EM or 8FM or 8IM} are true. 10. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HJ or 8HK or 8HL or 8HN or 8HP or 8HQ or 8HR} are true. 11. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in box 8)}. Therefore, we know that none of {1GN or 1GO or 1HN or 1IM or 1IN} are true. 12. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in column M)}. Therefore, we know that none of {1CM or 1DM or 1EM or 1FM or 1IM} are true. 13. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in row G)}. Therefore, we know that none of {1GJ or 1GK or 1GL or 1GN or 1GO or 1GP or 1GQ or 1GR} are true. 14. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in box 6)}. Therefore, we know that none of {2DP or 2DQ or 2DR or 2EP or 2FP or 2FQ or 2FR} are true. 15. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in column R)}. Therefore, we know that none of {2AR or 2BR or 2CR or 2DR or 2FR or 2GR or 2HR or 2IR} are true. 16. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in row E)}. Therefore, we know that none of {2EL or 2EM or 2EN or 2EO or 2EP} are true. 17. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DP or 8DQ or 8DR or 8EP or 8FP or 8FQ or 8FR} are true. 18. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8AQ or 8BQ or 8CQ or 8DQ or 8FQ or 8GQ or 8HQ or 8IQ} are true. 19. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EL or 8EM or 8EN or 8EO or 8EP} are true. 20. Since {(There is something in EK)} we know 1 of {5EK} 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 5DL or 5EL or 5FJ or 5FK or 5FL} are true. 21. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5AK or 5BK or 5DK or 5FK or 5GK or 5HK or 5IK} are true. 22. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EL or 5EM or 5EN or 5EO or 5EP} are true. 23. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in box 4)}. Therefore, we know that none of {4DJ or 4DK or 4DL or 4EL or 4FJ or 4FK or 4FL} are true. 24. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in column J)}. Therefore, we know that none of {4AJ or 4BJ or 4CJ or 4DJ or 4FJ or 4GJ or 4HJ or 4IJ} are true. 25. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in row E)}. Therefore, we know that none of {4EL or 4EM or 4EN or 4EO or 4EP} are true. 26. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in box 2)}. Therefore, we know that none of {1AN or 1AO or 1BN or 1BO or 1CM or 1CN} are true. 27. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in column O)}. Therefore, we know that none of {1AO or 1BO or 1DO or 1EO or 1FO or 1GO} are true. 28. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in row C)}. Therefore, we know that none of {1CJ or 1CL or 1CM or 1CN or 1CP or 1CQ or 1CR} are true. 29. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7AJ or 7AK or 7AL or 7BJ or 7BK or 7BL or 7CJ or 7CL} are true. 30. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7AK or 7BK or 7DK or 7FK or 7GK or 7HK or 7IK} are true. 31. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CL or 7CM or 7CN or 7CQ or 7CR} are true. 32. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AN or 3AO or 3BN or 3BO or 3CM or 3CN} are true. 33. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3CM or 3DM or 3EM or 3FM or 3IM} are true. 34. Since {(There is something in BM)} we know 1 of {3BM} 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 3BL or 3BN or 3BO or 3BP or 3BQ or 3BR} are true. 35. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BN or 6BO or 6CM or 6CN} are true. 36. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in column M)}. Therefore, we know that none of {6CM or 6DM or 6EM or 6FM or 6IM} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | A | 4 5 | 4 5 | 4 5 | 6 | 4 5 | 4 5 | 4 5 | 4 5 | 4 5 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | B | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | C | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 | 7 8 9 | 7 8 9 | 7 8 9 | | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | 2 | E | 4 | 5 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | | | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 8 9 | 8 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | F | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | G | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | H | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 8 | 7 8 9 | | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | | 1 2 3 | 1 2 3 | I | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | 4 5 6 | 4 5 6 | | 8 9 | 8 9 | 8 9 | 8 9 | 8 9 | 9 | 7 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in IP) will enslave (There is a 7 in row I) ...stopped looking for slaves... 35 Deductions found: 1. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in box 8)}. Therefore, we know that none of {9GN or 9GO or 9HN or 9IM or 9IN} are true. 2. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in column O)}. Therefore, we know that none of {9AO or 9BO or 9DO or 9EO or 9FO or 9GO} are true. 3. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in row I)}. Therefore, we know that none of {9IJ or 9IK or 9IL or 9IM or 9IN or 9IQ or 9IR} are true. 4. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in box 8)}. Therefore, we know that none of {3GN or 3GO or 3HN or 3IM or 3IN} are true. 5. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in column O)}. Therefore, we know that none of {3AO or 3BO or 3DO or 3EO or 3FO or 3GO} are true. 6. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HJ or 3HK or 3HL or 3HN or 3HP or 3HQ or 3HR} are true. 7. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8GO or 8HN or 8IM or 8IN} are true. 8. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8CM or 8DM or 8EM or 8FM or 8IM} are true. 9. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HJ or 8HK or 8HL or 8HN or 8HP or 8HQ or 8HR} are true. 10. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in box 8)}. Therefore, we know that none of {1GN or 1GO or 1HN or 1IM or 1IN} are true. 11. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in column M)}. Therefore, we know that none of {1CM or 1DM or 1EM or 1FM or 1IM} are true. 12. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in row G)}. Therefore, we know that none of {1GJ or 1GK or 1GL or 1GN or 1GO or 1GP or 1GQ or 1GR} are true. 13. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in box 6)}. Therefore, we know that none of {2DP or 2DQ or 2DR or 2EP or 2FP or 2FQ or 2FR} are true. 14. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in column R)}. Therefore, we know that none of {2AR or 2BR or 2CR or 2DR or 2FR or 2GR or 2HR or 2IR} are true. 15. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in row E)}. Therefore, we know that none of {2EL or 2EM or 2EN or 2EO or 2EP} are true. 16. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DP or 8DQ or 8DR or 8EP or 8FP or 8FQ or 8FR} are true. 17. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8AQ or 8BQ or 8CQ or 8DQ or 8FQ or 8GQ or 8HQ or 8IQ} are true. 18. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EL or 8EM or 8EN or 8EO or 8EP} are true. 19. Since {(There is something in EK)} we know 1 of {5EK} 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 5DL or 5EL or 5FJ or 5FK or 5FL} are true. 20. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5AK or 5BK or 5DK or 5FK or 5GK or 5HK or 5IK} are true. 21. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EL or 5EM or 5EN or 5EO or 5EP} are true. 22. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in box 4)}. Therefore, we know that none of {4DJ or 4DK or 4DL or 4EL or 4FJ or 4FK or 4FL} are true. 23. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in column J)}. Therefore, we know that none of {4AJ or 4BJ or 4CJ or 4DJ or 4FJ or 4GJ or 4HJ or 4IJ} are true. 24. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in row E)}. Therefore, we know that none of {4EL or 4EM or 4EN or 4EO or 4EP} are true. 25. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in box 2)}. Therefore, we know that none of {1AN or 1AO or 1BN or 1BO or 1CM or 1CN} are true. 26. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in column O)}. Therefore, we know that none of {1AO or 1BO or 1DO or 1EO or 1FO or 1GO} are true. 27. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in row C)}. Therefore, we know that none of {1CJ or 1CL or 1CM or 1CN or 1CP or 1CQ or 1CR} are true. 28. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7AJ or 7AK or 7AL or 7BJ or 7BK or 7BL or 7CJ or 7CL} are true. 29. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7AK or 7BK or 7DK or 7FK or 7GK or 7HK} are true. 30. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CL or 7CM or 7CN or 7CQ or 7CR} are true. 31. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AN or 3AO or 3BN or 3BO or 3CM or 3CN} are true. 32. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3CM or 3DM or 3EM or 3FM or 3IM} are true. 33. Since {(There is something in BM)} we know 1 of {3BM} 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 3BL or 3BN or 3BO or 3BP or 3BQ or 3BR} are true. 34. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BN or 6BO or 6CM or 6CN} are true. 35. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in column M)}. Therefore, we know that none of {6CM or 6DM or 6EM or 6FM or 6IM} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | A | 4 5 | 4 5 | 4 5 | 6 | 4 5 | 4 5 | 4 5 | 4 5 | 4 5 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | B | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 9 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | C | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 | 7 8 9 | 7 8 9 | 7 8 9 | | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | 2 | E | 4 | 5 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | | | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 8 9 | 8 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | F | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | G | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 | 7 8 | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | H | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 8 | 7 8 | | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | | 1 2 3 | 1 2 3 | I | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | 4 5 6 | 4 5 6 | | 8 9 | 8 9 | 8 9 | 8 | 8 | 9 | 7 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in IO) will enslave (There is a 9 in box 8) ...stopped looking for slaves... 34 Deductions found: 1. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in column O)}. Therefore, we know that none of {9AO or 9BO or 9DO or 9EO or 9FO} are true. 2. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in row I)}. Therefore, we know that none of {9IJ or 9IK or 9IL or 9IQ or 9IR} are true. 3. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in box 8)}. Therefore, we know that none of {3GN or 3GO or 3HN or 3IM or 3IN} are true. 4. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in column O)}. Therefore, we know that none of {3AO or 3BO or 3DO or 3EO or 3FO or 3GO} are true. 5. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HJ or 3HK or 3HL or 3HN or 3HP or 3HQ or 3HR} are true. 6. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8GO or 8HN or 8IM or 8IN} are true. 7. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8CM or 8DM or 8EM or 8FM or 8IM} are true. 8. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HJ or 8HK or 8HL or 8HN or 8HP or 8HQ or 8HR} are true. 9. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in box 8)}. Therefore, we know that none of {1GN or 1GO or 1HN or 1IM or 1IN} are true. 10. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in column M)}. Therefore, we know that none of {1CM or 1DM or 1EM or 1FM or 1IM} are true. 11. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in row G)}. Therefore, we know that none of {1GJ or 1GK or 1GL or 1GN or 1GO or 1GP or 1GQ or 1GR} are true. 12. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in box 6)}. Therefore, we know that none of {2DP or 2DQ or 2DR or 2EP or 2FP or 2FQ or 2FR} are true. 13. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in column R)}. Therefore, we know that none of {2AR or 2BR or 2CR or 2DR or 2FR or 2GR or 2HR or 2IR} are true. 14. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in row E)}. Therefore, we know that none of {2EL or 2EM or 2EN or 2EO or 2EP} are true. 15. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DP or 8DQ or 8DR or 8EP or 8FP or 8FQ or 8FR} are true. 16. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8AQ or 8BQ or 8CQ or 8DQ or 8FQ or 8GQ or 8HQ or 8IQ} are true. 17. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EL or 8EM or 8EN or 8EO or 8EP} are true. 18. Since {(There is something in EK)} we know 1 of {5EK} 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 5DL or 5EL or 5FJ or 5FK or 5FL} are true. 19. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5AK or 5BK or 5DK or 5FK or 5GK or 5HK or 5IK} are true. 20. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EL or 5EM or 5EN or 5EO or 5EP} are true. 21. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in box 4)}. Therefore, we know that none of {4DJ or 4DK or 4DL or 4EL or 4FJ or 4FK or 4FL} are true. 22. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in column J)}. Therefore, we know that none of {4AJ or 4BJ or 4CJ or 4DJ or 4FJ or 4GJ or 4HJ or 4IJ} are true. 23. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in row E)}. Therefore, we know that none of {4EL or 4EM or 4EN or 4EO or 4EP} are true. 24. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in box 2)}. Therefore, we know that none of {1AN or 1AO or 1BN or 1BO or 1CM or 1CN} are true. 25. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in column O)}. Therefore, we know that none of {1AO or 1BO or 1DO or 1EO or 1FO or 1GO} are true. 26. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in row C)}. Therefore, we know that none of {1CJ or 1CL or 1CM or 1CN or 1CP or 1CQ or 1CR} are true. 27. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7AJ or 7AK or 7AL or 7BJ or 7BK or 7BL or 7CJ or 7CL} are true. 28. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7AK or 7BK or 7DK or 7FK or 7GK or 7HK} are true. 29. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CL or 7CM or 7CN or 7CQ or 7CR} are true. 30. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AN or 3AO or 3BN or 3BO or 3CM or 3CN} are true. 31. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3CM or 3DM or 3EM or 3FM or 3IM} are true. 32. Since {(There is something in BM)} we know 1 of {3BM} 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 3BL or 3BN or 3BO or 3BP or 3BQ or 3BR} are true. 33. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BN or 6BO or 6CM or 6CN} are true. 34. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in column M)}. Therefore, we know that none of {6CM or 6DM or 6EM or 6FM or 6IM} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | A | 4 5 | 4 5 | 4 5 | 6 | 4 5 | 4 5 | 4 5 | 4 5 | 4 5 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | B | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | C | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 | 7 8 9 | 7 8 9 | 7 8 9 | | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | 2 | E | 4 | 5 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | | | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 8 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | F | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | G | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 | 7 8 | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | H | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 8 | 7 8 | | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | | 1 2 3 | 1 2 3 | I | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | 4 5 6 | 4 5 6 | | 8 9 | 8 9 | 8 9 | 8 | 8 | 9 | 7 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in IO) will enslave (There is a 9 in column O) ...stopped looking for slaves... 33 Deductions found: 1. Since {(There is something in IO)} we know 1 of {9IO} are true. But those are a subset of {(There is a 9 in row I)}. Therefore, we know that none of {9IJ or 9IK or 9IL or 9IQ or 9IR} are true. 2. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in box 8)}. Therefore, we know that none of {3GN or 3GO or 3HN or 3IM or 3IN} are true. 3. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in column O)}. Therefore, we know that none of {3AO or 3BO or 3DO or 3EO or 3FO or 3GO} are true. 4. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HJ or 3HK or 3HL or 3HN or 3HP or 3HQ or 3HR} are true. 5. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8GO or 8HN or 8IM or 8IN} are true. 6. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8CM or 8DM or 8EM or 8FM or 8IM} are true. 7. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HJ or 8HK or 8HL or 8HN or 8HP or 8HQ or 8HR} are true. 8. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in box 8)}. Therefore, we know that none of {1GN or 1GO or 1HN or 1IM or 1IN} are true. 9. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in column M)}. Therefore, we know that none of {1CM or 1DM or 1EM or 1FM or 1IM} are true. 10. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in row G)}. Therefore, we know that none of {1GJ or 1GK or 1GL or 1GN or 1GO or 1GP or 1GQ or 1GR} are true. 11. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in box 6)}. Therefore, we know that none of {2DP or 2DQ or 2DR or 2EP or 2FP or 2FQ or 2FR} are true. 12. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in column R)}. Therefore, we know that none of {2AR or 2BR or 2CR or 2DR or 2FR or 2GR or 2HR or 2IR} are true. 13. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in row E)}. Therefore, we know that none of {2EL or 2EM or 2EN or 2EO or 2EP} are true. 14. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DP or 8DQ or 8DR or 8EP or 8FP or 8FQ or 8FR} are true. 15. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8AQ or 8BQ or 8CQ or 8DQ or 8FQ or 8GQ or 8HQ or 8IQ} are true. 16. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EL or 8EM or 8EN or 8EO or 8EP} are true. 17. Since {(There is something in EK)} we know 1 of {5EK} 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 5DL or 5EL or 5FJ or 5FK or 5FL} are true. 18. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5AK or 5BK or 5DK or 5FK or 5GK or 5HK or 5IK} are true. 19. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EL or 5EM or 5EN or 5EO or 5EP} are true. 20. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in box 4)}. Therefore, we know that none of {4DJ or 4DK or 4DL or 4EL or 4FJ or 4FK or 4FL} are true. 21. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in column J)}. Therefore, we know that none of {4AJ or 4BJ or 4CJ or 4DJ or 4FJ or 4GJ or 4HJ or 4IJ} are true. 22. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in row E)}. Therefore, we know that none of {4EL or 4EM or 4EN or 4EO or 4EP} are true. 23. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in box 2)}. Therefore, we know that none of {1AN or 1AO or 1BN or 1BO or 1CM or 1CN} are true. 24. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in column O)}. Therefore, we know that none of {1AO or 1BO or 1DO or 1EO or 1FO or 1GO} are true. 25. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in row C)}. Therefore, we know that none of {1CJ or 1CL or 1CM or 1CN or 1CP or 1CQ or 1CR} are true. 26. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7AJ or 7AK or 7AL or 7BJ or 7BK or 7BL or 7CJ or 7CL} are true. 27. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7AK or 7BK or 7DK or 7FK or 7GK or 7HK} are true. 28. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CL or 7CM or 7CN or 7CQ or 7CR} are true. 29. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AN or 3AO or 3BN or 3BO or 3CM or 3CN} are true. 30. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3CM or 3DM or 3EM or 3FM or 3IM} are true. 31. Since {(There is something in BM)} we know 1 of {3BM} 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 3BL or 3BN or 3BO or 3BP or 3BQ or 3BR} are true. 32. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BN or 6BO or 6CM or 6CN} are true. 33. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in column M)}. Therefore, we know that none of {6CM or 6DM or 6EM or 6FM or 6IM} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | A | 4 5 | 4 5 | 4 5 | 6 | 4 5 | 4 5 | 4 5 | 4 5 | 4 5 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | B | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | C | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 | 7 8 9 | 7 8 9 | 7 8 9 | | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | 2 | E | 4 | 5 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | | | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 8 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | F | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | G | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 | 7 8 | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | H | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 8 | 7 8 | | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | | 1 2 3 | 1 2 3 | I | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | 4 5 6 | 4 5 6 | | 8 | 8 | 8 | 8 | 8 | 9 | 7 | 8 | 8 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in IO) will enslave (There is a 9 in row I) ...stopped looking for slaves... 32 Deductions found: 1. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in box 8)}. Therefore, we know that none of {3GN or 3GO or 3HN or 3IM or 3IN} are true. 2. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in column O)}. Therefore, we know that none of {3AO or 3BO or 3DO or 3EO or 3FO or 3GO} are true. 3. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HJ or 3HK or 3HL or 3HN or 3HP or 3HQ or 3HR} are true. 4. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8GO or 8HN or 8IM or 8IN} are true. 5. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8CM or 8DM or 8EM or 8FM or 8IM} are true. 6. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HJ or 8HK or 8HL or 8HN or 8HP or 8HQ or 8HR} are true. 7. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in box 8)}. Therefore, we know that none of {1GN or 1GO or 1HN or 1IM or 1IN} are true. 8. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in column M)}. Therefore, we know that none of {1CM or 1DM or 1EM or 1FM or 1IM} are true. 9. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in row G)}. Therefore, we know that none of {1GJ or 1GK or 1GL or 1GN or 1GO or 1GP or 1GQ or 1GR} are true. 10. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in box 6)}. Therefore, we know that none of {2DP or 2DQ or 2DR or 2EP or 2FP or 2FQ or 2FR} are true. 11. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in column R)}. Therefore, we know that none of {2AR or 2BR or 2CR or 2DR or 2FR or 2GR or 2HR or 2IR} are true. 12. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in row E)}. Therefore, we know that none of {2EL or 2EM or 2EN or 2EO or 2EP} are true. 13. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DP or 8DQ or 8DR or 8EP or 8FP or 8FQ or 8FR} are true. 14. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8AQ or 8BQ or 8CQ or 8DQ or 8FQ or 8GQ or 8HQ or 8IQ} are true. 15. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EL or 8EM or 8EN or 8EO or 8EP} are true. 16. Since {(There is something in EK)} we know 1 of {5EK} 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 5DL or 5EL or 5FJ or 5FK or 5FL} are true. 17. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5AK or 5BK or 5DK or 5FK or 5GK or 5HK or 5IK} are true. 18. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EL or 5EM or 5EN or 5EO or 5EP} are true. 19. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in box 4)}. Therefore, we know that none of {4DJ or 4DK or 4DL or 4EL or 4FJ or 4FK or 4FL} are true. 20. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in column J)}. Therefore, we know that none of {4AJ or 4BJ or 4CJ or 4DJ or 4FJ or 4GJ or 4HJ or 4IJ} are true. 21. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in row E)}. Therefore, we know that none of {4EL or 4EM or 4EN or 4EO or 4EP} are true. 22. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in box 2)}. Therefore, we know that none of {1AN or 1AO or 1BN or 1BO or 1CM or 1CN} are true. 23. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in column O)}. Therefore, we know that none of {1AO or 1BO or 1DO or 1EO or 1FO or 1GO} are true. 24. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in row C)}. Therefore, we know that none of {1CJ or 1CL or 1CM or 1CN or 1CP or 1CQ or 1CR} are true. 25. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7AJ or 7AK or 7AL or 7BJ or 7BK or 7BL or 7CJ or 7CL} are true. 26. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7AK or 7BK or 7DK or 7FK or 7GK or 7HK} are true. 27. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CL or 7CM or 7CN or 7CQ or 7CR} are true. 28. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AN or 3AO or 3BN or 3BO or 3CM or 3CN} are true. 29. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3CM or 3DM or 3EM or 3FM or 3IM} are true. 30. Since {(There is something in BM)} we know 1 of {3BM} 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 3BL or 3BN or 3BO or 3BP or 3BQ or 3BR} are true. 31. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BN or 6BO or 6CM or 6CN} are true. 32. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in column M)}. Therefore, we know that none of {6CM or 6DM or 6EM or 6FM or 6IM} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | A | 4 5 | 4 5 | 4 5 | 6 | 4 5 | 4 5 | 4 5 | 4 5 | 4 5 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | B | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | C | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 | 7 8 9 | 7 8 9 | 7 8 9 | | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | | 2 | E | 4 | 5 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | | | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 8 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | F | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | G | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 | 7 8 | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | H | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 8 | 7 8 | | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 | | | 1 2 3 | 1 2 3 | I | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | 4 5 6 | 4 5 6 | | 8 | 8 | 8 | 8 | 8 | 9 | 7 | 8 | 8 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in HO) will enslave (There is a 3 in box 8) ...stopped looking for slaves... 31 Deductions found: 1. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in column O)}. Therefore, we know that none of {3AO or 3BO or 3DO or 3EO or 3FO} are true. 2. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HJ or 3HK or 3HL or 3HP or 3HQ or 3HR} are true. 3. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8GO or 8HN or 8IM or 8IN} are true. 4. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8CM or 8DM or 8EM or 8FM or 8IM} are true. 5. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HJ or 8HK or 8HL or 8HN or 8HP or 8HQ or 8HR} are true. 6. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in box 8)}. Therefore, we know that none of {1GN or 1GO or 1HN or 1IM or 1IN} are true. 7. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in column M)}. Therefore, we know that none of {1CM or 1DM or 1EM or 1FM or 1IM} are true. 8. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in row G)}. Therefore, we know that none of {1GJ or 1GK or 1GL or 1GN or 1GO or 1GP or 1GQ or 1GR} are true. 9. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in box 6)}. Therefore, we know that none of {2DP or 2DQ or 2DR or 2EP or 2FP or 2FQ or 2FR} are true. 10. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in column R)}. Therefore, we know that none of {2AR or 2BR or 2CR or 2DR or 2FR or 2GR or 2HR or 2IR} are true. 11. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in row E)}. Therefore, we know that none of {2EL or 2EM or 2EN or 2EO or 2EP} are true. 12. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DP or 8DQ or 8DR or 8EP or 8FP or 8FQ or 8FR} are true. 13. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8AQ or 8BQ or 8CQ or 8DQ or 8FQ or 8GQ or 8HQ or 8IQ} are true. 14. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EL or 8EM or 8EN or 8EO or 8EP} are true. 15. Since {(There is something in EK)} we know 1 of {5EK} 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 5DL or 5EL or 5FJ or 5FK or 5FL} are true. 16. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5AK or 5BK or 5DK or 5FK or 5GK or 5HK or 5IK} are true. 17. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EL or 5EM or 5EN or 5EO or 5EP} are true. 18. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in box 4)}. Therefore, we know that none of {4DJ or 4DK or 4DL or 4EL or 4FJ or 4FK or 4FL} are true. 19. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in column J)}. Therefore, we know that none of {4AJ or 4BJ or 4CJ or 4DJ or 4FJ or 4GJ or 4HJ or 4IJ} are true. 20. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in row E)}. Therefore, we know that none of {4EL or 4EM or 4EN or 4EO or 4EP} are true. 21. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in box 2)}. Therefore, we know that none of {1AN or 1AO or 1BN or 1BO or 1CM or 1CN} are true. 22. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in column O)}. Therefore, we know that none of {1AO or 1BO or 1DO or 1EO or 1FO or 1GO} are true. 23. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in row C)}. Therefore, we know that none of {1CJ or 1CL or 1CM or 1CN or 1CP or 1CQ or 1CR} are true. 24. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7AJ or 7AK or 7AL or 7BJ or 7BK or 7BL or 7CJ or 7CL} are true. 25. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7AK or 7BK or 7DK or 7FK or 7GK or 7HK} are true. 26. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CL or 7CM or 7CN or 7CQ or 7CR} are true. 27. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AN or 3AO or 3BN or 3BO or 3CM or 3CN} are true. 28. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3CM or 3DM or 3EM or 3FM} are true. 29. Since {(There is something in BM)} we know 1 of {3BM} 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 3BL or 3BN or 3BO or 3BP or 3BQ or 3BR} are true. 30. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BN or 6BO or 6CM or 6CN} are true. 31. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in column M)}. Therefore, we know that none of {6CM or 6DM or 6EM or 6FM or 6IM} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | A | 4 5 | 4 5 | 4 5 | 6 | 4 5 | 4 5 | 4 5 | 4 5 | 4 5 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 3 | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | B | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | C | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 | 7 8 9 | 7 8 9 | 7 8 9 | | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 3 | | 2 | E | 4 | 5 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | | | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 8 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | F | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | G | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 | 7 8 | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 | 3 | 1 2 3 | 1 2 3 | 1 2 3 | H | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 8 | 7 8 | | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 | | | 1 2 3 | 1 2 3 | I | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | 4 5 6 | 4 5 6 | | 8 | 8 | 8 | 8 | 8 | 9 | 7 | 8 | 8 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in HO) will enslave (There is a 3 in column O) ...stopped looking for slaves... 30 Deductions found: 1. Since {(There is something in HO)} we know 1 of {3HO} are true. But those are a subset of {(There is a 3 in row H)}. Therefore, we know that none of {3HJ or 3HK or 3HL or 3HP or 3HQ or 3HR} are true. 2. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8GO or 8HN or 8IM or 8IN} are true. 3. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8CM or 8DM or 8EM or 8FM or 8IM} are true. 4. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HJ or 8HK or 8HL or 8HN or 8HP or 8HQ or 8HR} are true. 5. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in box 8)}. Therefore, we know that none of {1GN or 1GO or 1HN or 1IM or 1IN} are true. 6. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in column M)}. Therefore, we know that none of {1CM or 1DM or 1EM or 1FM or 1IM} are true. 7. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in row G)}. Therefore, we know that none of {1GJ or 1GK or 1GL or 1GN or 1GO or 1GP or 1GQ or 1GR} are true. 8. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in box 6)}. Therefore, we know that none of {2DP or 2DQ or 2DR or 2EP or 2FP or 2FQ or 2FR} are true. 9. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in column R)}. Therefore, we know that none of {2AR or 2BR or 2CR or 2DR or 2FR or 2GR or 2HR or 2IR} are true. 10. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in row E)}. Therefore, we know that none of {2EL or 2EM or 2EN or 2EO or 2EP} are true. 11. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DP or 8DQ or 8DR or 8EP or 8FP or 8FQ or 8FR} are true. 12. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8AQ or 8BQ or 8CQ or 8DQ or 8FQ or 8GQ or 8HQ or 8IQ} are true. 13. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EL or 8EM or 8EN or 8EO or 8EP} are true. 14. Since {(There is something in EK)} we know 1 of {5EK} 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 5DL or 5EL or 5FJ or 5FK or 5FL} are true. 15. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5AK or 5BK or 5DK or 5FK or 5GK or 5HK or 5IK} are true. 16. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EL or 5EM or 5EN or 5EO or 5EP} are true. 17. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in box 4)}. Therefore, we know that none of {4DJ or 4DK or 4DL or 4EL or 4FJ or 4FK or 4FL} are true. 18. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in column J)}. Therefore, we know that none of {4AJ or 4BJ or 4CJ or 4DJ or 4FJ or 4GJ or 4HJ or 4IJ} are true. 19. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in row E)}. Therefore, we know that none of {4EL or 4EM or 4EN or 4EO or 4EP} are true. 20. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in box 2)}. Therefore, we know that none of {1AN or 1AO or 1BN or 1BO or 1CM or 1CN} are true. 21. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in column O)}. Therefore, we know that none of {1AO or 1BO or 1DO or 1EO or 1FO or 1GO} are true. 22. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in row C)}. Therefore, we know that none of {1CJ or 1CL or 1CM or 1CN or 1CP or 1CQ or 1CR} are true. 23. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7AJ or 7AK or 7AL or 7BJ or 7BK or 7BL or 7CJ or 7CL} are true. 24. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7AK or 7BK or 7DK or 7FK or 7GK or 7HK} are true. 25. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CL or 7CM or 7CN or 7CQ or 7CR} are true. 26. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AN or 3BN or 3CM or 3CN} are true. 27. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3CM or 3DM or 3EM or 3FM} are true. 28. Since {(There is something in BM)} we know 1 of {3BM} 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 3BL or 3BN or 3BP or 3BQ or 3BR} are true. 29. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BN or 6BO or 6CM or 6CN} are true. 30. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in column M)}. Therefore, we know that none of {6CM or 6DM or 6EM or 6FM or 6IM} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | A | 4 5 | 4 5 | 4 5 | 6 | 4 5 | 4 5 | 4 5 | 4 5 | 4 5 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 3 | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | B | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | C | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 | 7 8 9 | 7 8 9 | 7 8 9 | | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 3 | | 2 | E | 4 | 5 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | | | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 8 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | F | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | G | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 | 7 8 | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 | 1 2 | 1 2 | | 1 2 | 3 | 1 2 | 1 2 | 1 2 | H | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 8 | 7 8 | | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 | | | 1 2 3 | 1 2 3 | I | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | 4 5 6 | 4 5 6 | | 8 | 8 | 8 | 8 | 8 | 9 | 7 | 8 | 8 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in HO) will enslave (There is a 3 in row H) ...stopped looking for slaves... 29 Deductions found: 1. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in box 8)}. Therefore, we know that none of {8GN or 8GO or 8HN or 8IM or 8IN} are true. 2. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8CM or 8DM or 8EM or 8FM or 8IM} are true. 3. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HJ or 8HK or 8HL or 8HN or 8HP or 8HQ or 8HR} are true. 4. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in box 8)}. Therefore, we know that none of {1GN or 1GO or 1HN or 1IM or 1IN} are true. 5. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in column M)}. Therefore, we know that none of {1CM or 1DM or 1EM or 1FM or 1IM} are true. 6. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in row G)}. Therefore, we know that none of {1GJ or 1GK or 1GL or 1GN or 1GO or 1GP or 1GQ or 1GR} are true. 7. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in box 6)}. Therefore, we know that none of {2DP or 2DQ or 2DR or 2EP or 2FP or 2FQ or 2FR} are true. 8. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in column R)}. Therefore, we know that none of {2AR or 2BR or 2CR or 2DR or 2FR or 2GR or 2HR or 2IR} are true. 9. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in row E)}. Therefore, we know that none of {2EL or 2EM or 2EN or 2EO or 2EP} are true. 10. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DP or 8DQ or 8DR or 8EP or 8FP or 8FQ or 8FR} are true. 11. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8AQ or 8BQ or 8CQ or 8DQ or 8FQ or 8GQ or 8HQ or 8IQ} are true. 12. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EL or 8EM or 8EN or 8EO or 8EP} are true. 13. Since {(There is something in EK)} we know 1 of {5EK} 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 5DL or 5EL or 5FJ or 5FK or 5FL} are true. 14. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5AK or 5BK or 5DK or 5FK or 5GK or 5HK or 5IK} are true. 15. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EL or 5EM or 5EN or 5EO or 5EP} are true. 16. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in box 4)}. Therefore, we know that none of {4DJ or 4DK or 4DL or 4EL or 4FJ or 4FK or 4FL} are true. 17. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in column J)}. Therefore, we know that none of {4AJ or 4BJ or 4CJ or 4DJ or 4FJ or 4GJ or 4HJ or 4IJ} are true. 18. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in row E)}. Therefore, we know that none of {4EL or 4EM or 4EN or 4EO or 4EP} are true. 19. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in box 2)}. Therefore, we know that none of {1AN or 1AO or 1BN or 1BO or 1CM or 1CN} are true. 20. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in column O)}. Therefore, we know that none of {1AO or 1BO or 1DO or 1EO or 1FO or 1GO} are true. 21. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in row C)}. Therefore, we know that none of {1CJ or 1CL or 1CM or 1CN or 1CP or 1CQ or 1CR} are true. 22. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7AJ or 7AK or 7AL or 7BJ or 7BK or 7BL or 7CJ or 7CL} are true. 23. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7AK or 7BK or 7DK or 7FK or 7GK or 7HK} are true. 24. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CL or 7CM or 7CN or 7CQ or 7CR} are true. 25. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AN or 3BN or 3CM or 3CN} are true. 26. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3CM or 3DM or 3EM or 3FM} are true. 27. Since {(There is something in BM)} we know 1 of {3BM} 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 3BL or 3BN or 3BP or 3BQ or 3BR} are true. 28. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BN or 6BO or 6CM or 6CN} are true. 29. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in column M)}. Therefore, we know that none of {6CM or 6DM or 6EM or 6FM or 6IM} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | A | 4 5 | 4 5 | 4 5 | 6 | 4 5 | 4 5 | 4 5 | 4 5 | 4 5 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 3 | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | B | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | C | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 | 7 8 9 | 7 8 9 | 7 8 9 | | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 3 | | 2 | E | 4 | 5 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | | | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 8 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | F | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | G | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 | 7 | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 | 1 2 | 1 2 | | 1 2 | 3 | 1 2 | 1 2 | 1 2 | H | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 8 | 7 | | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 | | | 1 2 3 | 1 2 3 | I | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | 4 5 6 | 4 5 6 | | 8 | 8 | 8 | | | 9 | 7 | 8 | 8 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in HM) will enslave (There is a 8 in box 8) ...stopped looking for slaves... 28 Deductions found: 1. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in column M)}. Therefore, we know that none of {8CM or 8DM or 8EM or 8FM} are true. 2. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HJ or 8HK or 8HL or 8HP or 8HQ or 8HR} are true. 3. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in box 8)}. Therefore, we know that none of {1GN or 1GO or 1HN or 1IM or 1IN} are true. 4. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in column M)}. Therefore, we know that none of {1CM or 1DM or 1EM or 1FM or 1IM} are true. 5. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in row G)}. Therefore, we know that none of {1GJ or 1GK or 1GL or 1GN or 1GO or 1GP or 1GQ or 1GR} are true. 6. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in box 6)}. Therefore, we know that none of {2DP or 2DQ or 2DR or 2EP or 2FP or 2FQ or 2FR} are true. 7. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in column R)}. Therefore, we know that none of {2AR or 2BR or 2CR or 2DR or 2FR or 2GR or 2HR or 2IR} are true. 8. Since {(There is something in ER)} we know 1 of {2ER} are true. But those are a subset of {(There is a 2 in row E)}. Therefore, we know that none of {2EL or 2EM or 2EN or 2EO or 2EP} are true. 9. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in box 6)}. Therefore, we know that none of {8DP or 8DQ or 8DR or 8EP or 8FP or 8FQ or 8FR} are true. 10. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in column Q)}. Therefore, we know that none of {8AQ or 8BQ or 8CQ or 8DQ or 8FQ or 8GQ or 8HQ or 8IQ} are true. 11. Since {(There is something in EQ)} we know 1 of {8EQ} are true. But those are a subset of {(There is a 8 in row E)}. Therefore, we know that none of {8EL or 8EM or 8EN or 8EO or 8EP} are true. 12. Since {(There is something in EK)} we know 1 of {5EK} 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 5DL or 5EL or 5FJ or 5FK or 5FL} are true. 13. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in column K)}. Therefore, we know that none of {5AK or 5BK or 5DK or 5FK or 5GK or 5HK or 5IK} are true. 14. Since {(There is something in EK)} we know 1 of {5EK} are true. But those are a subset of {(There is a 5 in row E)}. Therefore, we know that none of {5EL or 5EM or 5EN or 5EO or 5EP} are true. 15. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in box 4)}. Therefore, we know that none of {4DJ or 4DK or 4DL or 4EL or 4FJ or 4FK or 4FL} are true. 16. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in column J)}. Therefore, we know that none of {4AJ or 4BJ or 4CJ or 4DJ or 4FJ or 4GJ or 4HJ or 4IJ} are true. 17. Since {(There is something in EJ)} we know 1 of {4EJ} are true. But those are a subset of {(There is a 4 in row E)}. Therefore, we know that none of {4EL or 4EM or 4EN or 4EO or 4EP} are true. 18. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in box 2)}. Therefore, we know that none of {1AN or 1AO or 1BN or 1BO or 1CM or 1CN} are true. 19. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in column O)}. Therefore, we know that none of {1AO or 1BO or 1DO or 1EO or 1FO or 1GO} are true. 20. Since {(There is something in CO)} we know 1 of {1CO} are true. But those are a subset of {(There is a 1 in row C)}. Therefore, we know that none of {1CJ or 1CL or 1CM or 1CN or 1CP or 1CQ or 1CR} are true. 21. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in box 1)}. Therefore, we know that none of {7AJ or 7AK or 7AL or 7BJ or 7BK or 7BL or 7CJ or 7CL} are true. 22. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in column K)}. Therefore, we know that none of {7AK or 7BK or 7DK or 7FK or 7GK or 7HK} are true. 23. Since {(There is something in CK)} we know 1 of {7CK} are true. But those are a subset of {(There is a 7 in row C)}. Therefore, we know that none of {7CJ or 7CL or 7CM or 7CN or 7CQ or 7CR} are true. 24. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in box 2)}. Therefore, we know that none of {3AN or 3BN or 3CM or 3CN} are true. 25. Since {(There is something in BM)} we know 1 of {3BM} are true. But those are a subset of {(There is a 3 in column M)}. Therefore, we know that none of {3CM or 3DM or 3EM or 3FM} are true. 26. Since {(There is something in BM)} we know 1 of {3BM} 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 3BL or 3BN or 3BP or 3BQ or 3BR} are true. 27. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in box 2)}. Therefore, we know that none of {6BN or 6BO or 6CM or 6CN} are true. 28. Since {(There is something in AM)} we know 1 of {6AM} are true. But those are a subset of {(There is a 6 in column M)}. Therefore, we know that none of {6CM or 6DM or 6EM or 6FM or 6IM} are true. Choosing the first deduction to implement... J K L M N O P Q R +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | A | 4 5 | 4 5 | 4 5 | 6 | 4 5 | 4 5 | 4 5 | 4 5 | 4 5 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 3 | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | B | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 3 | 1 2 3 | 1 2 3 | C | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 | 7 8 9 | 7 9 | 7 8 9 | | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | D | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | | | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 3 | | 2 | E | 4 | 5 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | | | | 7 8 9 | 7 9 | 7 8 9 | 7 8 | 8 9 | 8 | | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | F | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 7 9 | 7 8 9 | 7 8 | 8 9 | 7 8 9 | 7 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 | 1 2 | 1 2 | 1 2 3 | 1 2 3 | 1 2 3 | G | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | | 7 | 7 | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 | 1 2 | 1 2 | | 1 2 | 3 | 1 2 | 1 2 | 1 2 | H | 4 5 6 | 4 5 6 | 4 5 6 | | 4 5 6 | | 4 5 6 | 4 5 6 | 4 5 6 | | 7 8 9 | 7 8 9 | 7 8 9 | 8 | 7 | | 8 9 | 8 9 | 8 9 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 | 1 2 | | | 1 2 3 | 1 2 3 | I | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | | | 4 5 6 | 4 5 6 | | 8 | 8 | 8 | | | 9 | 7 | 8 | 8 | +-------+-------+-------+-------+-------+-------+-------+-------+-------+ ...Looking for slaves... (There is something in HM) will enslave (There is a 8 in column M) ...stopped looking for slaves... 27 Deductions found: 1. Since {(There is something in HM)} we know 1 of {8HM} are true. But those are a subset of {(There is a 8 in row H)}. Therefore, we know that none of {8HJ or 8HK or 8HL or 8HP or 8HQ or 8HR} are true. 2. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in box 8)}. Therefore, we know that none of {1GN or 1GO or 1HN or 1IM or 1IN} are true. 3. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subset of {(There is a 1 in column M)}. Therefore, we know that none of {1CM or 1DM or 1EM or 1FM or 1IM} are true. 4. Since {(There is something in GM)} we know 1 of {1GM} are true. But those are a subse