Есть мнение, что использование цепочек - это не совсем логика (а иные считают, что это вообще синоним подбора). Я придерживаюсь другого мнения. Тем не менее, ладно, вот вариант логического решения, удовлетворяющего самым взыскательным вкусам.
SPOILER
1(56). EK/Q: b9= 3
2(55). EK/Q: c5= 3
3(54). EK/Q: c4= 4
4(53). EK/Q: g7= 5
5(52). EK/Q: d9= 6
6(51). EK/V: c7= 2
7(50). EK/P: g1= 6
8(49). EK/Q: i5= 6
9(48). EK/Q: b4= 6
10(47). EK/Q: b6= 2
11(46). EK/Q: a6= 5
12(45). EK/Q: b3= 5
13(44). EK/Q: a8= 6
14(43). EK/Q: c3= 6
15(42). EK/Q: b2= 9
16(41). EK/Q: a3= 1
17(40). EK/Q: b7= 1
18(39). EK/Q: a7= 7
19(38). EK/Q: b5= 7
20(37). EK/Q: b8= 8
21(36). EK/Q: a5= 8
22(35). EK/Q: c2= 8
23(34). EK/Q: c1= 7
24(33). EK/P: d6= 8
25(32). EK/Q: f7= 8
26(31). EK/Q: e3= 8
27(30). EK/P: e9= 1
--(30). Г4/Q: (d3,d2,d1,f1)=(1,2,3,5)-->d3<>4, d2<>4,
--(30). Г2/V: (i9,i3)=(2,7)-->i9<>9, i3<>4, i3<>9,
--(30). ЕР/H: (g9/h9,g4/h4)<>(2/8)-->g9<>2, h9<>2,
--(30). ЗГ/V: (g3,g2)=4-->h3<>4, h2<>4,
28(29). EK/H: e2= 7
29(28). EK/Q: f3= 4
30(27). EK/Q: d5= 4
31(26). EK/Q: e8= 4
32(25). EK/Q: i7= 4
33(24). EK/Q: h6= 4
34(23). EK/Q: g2= 4
35(22). EK/Q: f8= 5
36(21). EK/Q: f9= 2
37(20). EK/Q: h8= 2
38(19). EK/Q: g4= 2
39(18). EK/Q: i3= 2
40(17). EK/Q: d2= 2
41(16). EK/Q: d1= 5
42(15). EK/Q: f1= 1
43(14). EK/Q: d4= 1
44(13). EK/Q: h2= 1
45(12). EK/Q: d3= 3
46(11). EK/Q: h1= 3
47(10). EK/Q: e4= 5
48(9). EK/Q: f4= 7
49(8). EK/Q: h3= 7
50(7). EK/Q: i9= 7
51(6). EK/Q: h4= 8
52(5). EK/Q: g9= 8
53(4). EK/Q: d7= 9
54(3). EK/Q: h9= 9
55(2). EK/Q: f5= 9
56(1). EK/Q: i6= 9
57(0). EK/Q: g3= 9