Hi Richard,
It seems that you have run correctly all basic techniques. Hopefully you have seen the NT (Naked Triple) (356)r459c2 and you get also the following PM (Pencil Marks):
- Code: Select all
+-------------------+----------------------+--------------------+
| 24 1 3 | 5 47 8 | 27 6 9 |
| 8 79 59 | 167 167 2 | 4 15 3 |
| 245 47 6 | 9 147 3 | 27 8 15 |
+-------------------+----------------------+--------------------+
| 7 56 2 | 4 156 15 | 9 3 8 |
| 35 356 4 | 68 5689 59 | 1 27 27 |
| 9 8 1 | 3 2 7 | 5 4 6 |
+-------------------+----------------------+--------------------+
| 345 2 59 | 17 13579 6 | 8 157 1457 |
| 6 49 7 | 18 1589 159 | 3 125 1245 |
| 1 35 8 | 2 357 4 | 6 9 57 |
+-------------------+----------------------+--------------------+
At that stage, you need an advanced technique that is called AIC (Alternate Inference Chain)
Alternate because it is a sequence of alternating strong links and weak links.
A Strong Link exists between candidates that can't all be False (at least one is true). Symbol '='
A Weak Link exists that can't simultneously be True (at most one is True). Symbol '-'
Here is an AIC that solve your puzzle: (3)r7c5 = (3-4)r7c1 = (4-9)r8c2 = (9)r7c3 => r7c5<>9; singles to the end.
Strong links: between the 3s at row 7, between the 4s at box 7, between the 9s at box 7.
Weak links: between 3,4 at cell r7c1, between 4,9 at cell r8c2, between the 9s at row 7 and between 3,9 at cell r7c5
(these last two WLs for justification of the inference r7c5<>9)
This chain is called a Wing because it has three strong links, and more precisely an S-wing, but don't worry with such details for the moment.
Another AIC with same result: (3)r7c5 = r7c1 - (3=5)r9c2 - (5=9)r7c3 => r7c5<>9; singles to the end.
Here are some links for you to learn more about AIC's.
SudopediaMyth Jellies' historical post Notice the date, 2006 !
David P. Bird teaching document 2017