Problem Display
PID: 158851 (5r2/1N2Qp2/3PP3/3q1kpB/7b/3PRN2/2R3KB/8 w - - 0 1)

Andrew, Frederick William

Manchester Weekly Times, 1896

(First published on Sat Sep 12 1896)

5r2/1N2Qp2/3PP3/3q1kpB/7b/3PRN2/2R3KB/8

#2

11 + 6


15351 SCPF/BCPS Black Books 2016

SOLUTION


  • SOUND
  • Sets
    • 1...Qa2
      • 2.Sd4#
      • 2.Re5#
    • 1...Qb3
      • 2.Sd4#
      • 2.Re5#
    • 1...Qxf3+
      • 2.Rxf3#
    • 1...Qc4
      • 2.Re5#
    • 1...Qe4
      • 2.dxe4#
    • 1...Qc6
      • 2.Re5#
    • 1...Qxe6
      • 2.Sd4#
    • 1...Qxb7
      • 2.Re5#
    • 1...Qxd3
      • 2.Re5#
    • 1...Qd4
      • 2.Sxd4#
    • 1...Qa5
      • 2.Sd4#
    • 1...Qb5
      • 2.Sd4#
    • 1...Qc5
      • 2.Rxc5#
    • 1...Qe5
      • 2.Rxe5#
    • 1...Qxd6
      • 2.Sxd6#
    • 1...Ra8
      • 2.Qxf7#
    • 1...Rb8
      • 2.Qxf7#
    • 1...Rc8
      • 2.Qxf7#
    • 1...Rd8
      • 2.Qxf7#
    • 1...Re8
      • 2.Qxf7#
    • 1...Rg8
      • 2.Qxf7#
    • 1...Rh8
      • 2.Qxf7#
    • 1...Be1
      • 2.Qxg5#
    • 1...Bf2
      • 2.Qxg5#
    • 1...Bg3
      • 2.Qxg5#
    • 1...fxe6
      • 2.Qxf8#
    • 1...f6
      • 2.Qh7#
  • Tries
    • 1.Kf1?
      • 1...Qxf3+
        • 2.Rxf3#
      • 1...Qxe6
        • 2.Sd4#
      • 1...Qxb7
        • 2.Sd4#
        • 2.Re5#
      • 1...Qxd6
        • 2.Sxd6#
      • 1...fxe6
        • 2.Qxf8#
      • 1...Bg3
        • 2.Qxg5#
      • 1...Qa2
        • 2.Sd4#
        • 2.Re5#
      • 1...Qb3
        • 2.Sd4#
        • 2.Re5#
      • 1...Qc4
        • 2.Re5#
      • 1...Qe4
        • 2.dxe4#
      • 1...Qc6
        • 2.Sd4#
        • 2.Re5#
      • 1...Qd4
        • 2.Sxd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qb5
        • 2.Sd4#
      • 1...Qc5
        • 2.Rxc5#
      • 1...Qe5
        • 2.Rxe5#
      • 1...Ra8
        • 2.Qxf7#
      • 1...Rb8
        • 2.Qxf7#
      • 1...Rc8
        • 2.Qxf7#
      • 1...Rd8
        • 2.Qxf7#
      • 1...Re8
        • 2.Qxf7#
      • 1...Rg8
        • 2.Qxf7#
      • 1...Rh8
        • 2.Qxf7#
      • 1...Be1
        • 2.Qxg5#
      • 1...Bf2
        • 2.Qxg5#
      • 1...g4
        • 2.Sxh4#
      • 1...f6
        • 2.Qh7#
      • 1...Qxd3+!
    • 1.Kg1?
      • 1...Qxf3
        • 2.Rxf3#
        • 2.Re5#
      • 1...Qxe6
        • 2.Sd4#
      • 1...Qxb7
        • 2.Sd4#
        • 2.Re5#
      • 1...Qxd3
        • 2.Re5#
      • 1...Qxd6
        • 2.Sxd6#
      • 1...fxe6
        • 2.Qxf8#
      • 1...Bg3
        • 2.Qxg5#
      • 1...Qa2
        • 2.Sd4#
        • 2.Re5#
      • 1...Qb3
        • 2.Sd4#
        • 2.Re5#
      • 1...Qc4
        • 2.Re5#
      • 1...Qe4
        • 2.dxe4#
      • 1...Qc6
        • 2.Sd4#
        • 2.Re5#
      • 1...Qd4
        • 2.Sxd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qb5
        • 2.Sd4#
      • 1...Qc5
        • 2.Rxc5#
      • 1...Qe5
        • 2.Rxe5#
      • 1...Ra8
        • 2.Qxf7#
      • 1...Rb8
        • 2.Qxf7#
      • 1...Rc8
        • 2.Qxf7#
      • 1...Rd8
        • 2.Qxf7#
      • 1...Re8
        • 2.Qxf7#
      • 1...Rg8
        • 2.Qxf7#
      • 1...Rh8
        • 2.Qxf7#
      • 1...Be1
        • 2.Qxg5#
      • 1...g4
        • 2.Sxh4#
      • 1...f6
        • 2.Qh7#
      • 1...Bf2+!
    • 1.Kh1?
      • 1...Qxf3+
        • 2.Rxf3#
      • 1...Qxe6
        • 2.Sd4#
      • 1...Qxb7
        • 2.Re5#
      • 1...Qxd3
        • 2.Re5#
      • 1...Qxd6
        • 2.Sxd6#
      • 1...fxe6
        • 2.Qxf8#
      • 1...Bg3
        • 2.Qxg5#
      • 1...Qa2
        • 2.Sd4#
        • 2.Re5#
      • 1...Qb3
        • 2.Sd4#
        • 2.Re5#
      • 1...Qc4
        • 2.Re5#
      • 1...Qe4
        • 2.dxe4#
      • 1...Qc6
        • 2.Re5#
      • 1...Qd4
        • 2.Sxd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qb5
        • 2.Sd4#
      • 1...Qc5
        • 2.Rxc5#
      • 1...Qe5
        • 2.Rxe5#
      • 1...Ra8
        • 2.Qxf7#
      • 1...Rb8
        • 2.Qxf7#
      • 1...Rc8
        • 2.Qxf7#
      • 1...Rd8
        • 2.Qxf7#
      • 1...Re8
        • 2.Qxf7#
      • 1...Rg8
        • 2.Qxf7#
      • 1...Rh8
        • 2.Qxf7#
      • 1...Be1
        • 2.Qxg5#
      • 1...Bf2
        • 2.Qxg5#
      • 1...f6
        • 2.Qh7#
      • 1...g4!
    • 1.Kh3?
      • 1...Qxf3+
        • 2.Rxf3#
      • 1...Qxe6
        • 2.Sd4#
      • 1...Qxb7
        • 2.Sd4#
        • 2.Re5#
      • 1...Qxd3
        • 2.Re5#
      • 1...Qxd6
        • 2.Sxd6#
      • 1...fxe6
        • 2.Qxf8#
      • 1...Bg3
        • 2.Qxg5#
      • 1...Qa2
        • 2.Sd4#
        • 2.Re5#
      • 1...Qb3
        • 2.Sd4#
        • 2.Re5#
      • 1...Qc4
        • 2.Re5#
      • 1...Qe4
        • 2.dxe4#
      • 1...Qc6
        • 2.Sd4#
        • 2.Re5#
      • 1...Qd4
        • 2.Sxd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qb5
        • 2.Sd4#
      • 1...Qc5
        • 2.Rxc5#
      • 1...Qe5
        • 2.Rxe5#
      • 1...Ra8
        • 2.Qxf7#
      • 1...Rb8
        • 2.Qxf7#
      • 1...Rc8
        • 2.Qxf7#
      • 1...Rd8
        • 2.Qxf7#
      • 1...Re8
        • 2.Qxf7#
      • 1...Rg8
        • 2.Qxf7#
      • 1...Rh8
        • 2.Qxf7#
      • 1...Be1
        • 2.Qxg5#
      • 1...Bf2
        • 2.Qxg5#
      • 1...f6
        • 2.Qh7#
      • 1...g4+!
    • 1.Bg3?
      • 1...Qxf3+
        • 2.Rxf3#
      • 1...Qxe6
        • 2.Sd4#
      • 1...Qxb7
        • 2.Re5#
      • 1...Qxd3
        • 2.Re5#
      • 1...Qxd6
        • 2.Sxd6#
      • 1...Bxg3
        • 2.Qxg5#
      • 1...fxe6
        • 2.Qxf8#
      • 1...Qa2
        • 2.Sd4#
        • 2.Re5#
      • 1...Qb3
        • 2.Sd4#
        • 2.Re5#
      • 1...Qc4
        • 2.Re5#
      • 1...Qe4
        • 2.dxe4#
      • 1...Qc6
        • 2.Re5#
      • 1...Qd4
        • 2.Sxd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qb5
        • 2.Sd4#
      • 1...Qc5
        • 2.Rxc5#
      • 1...Qe5
        • 2.Rxe5#
      • 1...Ra8
        • 2.Qxf7#
      • 1...Rb8
        • 2.Qxf7#
      • 1...Rc8
        • 2.Qxf7#
      • 1...Rd8
        • 2.Qxf7#
      • 1...Re8
        • 2.Qxf7#
      • 1...Rg8
        • 2.Qxf7#
      • 1...Rh8
        • 2.Qxf7#
      • 1...f6
        • 2.Qh7#
      • 1...g4!
    • 1.Rf2?
      • 1...Qxf3+
        • 2.Rfxf3#
        • 2.Rexf3#
      • 1...Qxe6
        • 2.Sd4#
        • 2.Sxh4#
      • 1...Qxb7
        • 2.Re5#
      • 1...Qxd3
        • 2.Sd4#
        • 2.Sxh4#
        • 2.Re5#
      • 1...Qxd6
        • 2.Sd4#
        • 2.Sxh4#
        • 2.Sxd6#
      • 1...Bxf2
        • 2.Qxg5#
      • 1...fxe6
        • 2.Qxf8#
      • 1...Bg3
        • 2.Qxg5#
      • 1...Qa2
        • 2.Sd4#
        • 2.Sxh4#
        • 2.Re5#
      • 1...Qb3
        • 2.Sd4#
        • 2.Sxh4#
        • 2.Re5#
      • 1...Qc4
        • 2.Sd4#
        • 2.Sxh4#
        • 2.Re5#
      • 1...Qe4
        • 2.dxe4#
      • 1...Qc6
        • 2.Re5#
      • 1...Qd4
        • 2.Sxd4#
        • 2.Sxh4#
      • 1...Qa5
        • 2.Sd4#
        • 2.Sxh4#
      • 1...Qb5
        • 2.Sd4#
        • 2.Sxh4#
      • 1...Qc5
        • 2.Sd4#
        • 2.Sxh4#
      • 1...Qe5
        • 2.Sd4#
        • 2.Sxh4#
        • 2.Rxe5#
      • 1...Ra8
        • 2.Qxf7#
      • 1...Rb8
        • 2.Qxf7#
      • 1...Rc8
        • 2.Qxf7#
      • 1...Rd8
        • 2.Qxf7#
      • 1...Re8
        • 2.Qxf7#
      • 1...Rg8
        • 2.Qxf7#
      • 1...Rh8
        • 2.Qxf7#
      • 1...f6
        • 2.Qh7#
      • 1...g4!
    • 1.Rc5?
      • threat
        • 2.Rxd5#
      • 1...fxe6
        • 2.Qxf8#
        • 2.Qxe6#
      • 1...Bg3
        • 2.Qxg5#
      • 1...Qe5
        • 2.Sd4#
        • 2.Rexe5#
        • 2.Rcxe5#
      • 1...Qxc5!
    • 1.Re4?
      • 1...Qxe6
        • 2.Sd4#
      • 1...Qxb7
        • 2.Sd4#
        • 2.Re5#
      • 1...Qxd3
        • 2.Re5#
      • 1...Qxd6
        • 2.Sxd6#
      • 1...fxe6
        • 2.Qxf8#
      • 1...g4
        • 2.Sxh4#
        • 2.Rf4#
      • 1...Qa2
        • 2.Sd4#
        • 2.Re5#
      • 1...Qb3
        • 2.Sd4#
        • 2.Re5#
      • 1...Qc4
        • 2.Re5#
      • 1...Qc6
        • 2.Sd4#
        • 2.Re5#
      • 1...Qd4
        • 2.Sxd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qb5
        • 2.Sd4#
      • 1...Qc5
        • 2.Rxc5#
      • 1...Qe5
        • 2.Rxe5#
      • 1...Ra8
        • 2.Qxf7#
      • 1...Rb8
        • 2.Qxf7#
      • 1...Rc8
        • 2.Qxf7#
      • 1...Rd8
        • 2.Qxf7#
      • 1...Re8
        • 2.Qxf7#
      • 1...Rg8
        • 2.Qxf7#
      • 1...Rh8
        • 2.Qxf7#
      • 1...Be1
        • 2.Qxg5#
      • 1...Bf2
        • 2.Qxg5#
      • 1...Bg3
        • 2.Qxg5#
      • 1...f6
        • 2.Qh7#
      • 1...Qxe4!
    • 1.d7?
      • 1...Qxf3+
        • 2.Rxf3#
      • 1...Qxe6
        • 2.Sd4#
      • 1...Qxb7
        • 2.Re5#
      • 1...Qxd3
        • 2.Re5#
      • 1...Qxd7
        • 2.Re5#
      • 1...fxe6
        • 2.Qxf8#
      • 1...Bg3
        • 2.Qxg5#
      • 1...Qa2
        • 2.Sd4#
        • 2.Sd6#
        • 2.Re5#
      • 1...Qb3
        • 2.Sd4#
        • 2.Sd6#
        • 2.Re5#
      • 1...Qc4
        • 2.Sd6#
        • 2.Re5#
      • 1...Qe4
        • 2.Sd6#
        • 2.dxe4#
      • 1...Qc6
        • 2.Re5#
      • 1...Qd4
        • 2.Sxd4#
      • 1...Qa5
        • 2.Sd4#
        • 2.Sd6#
      • 1...Qb5
        • 2.Sd4#
        • 2.Sd6#
      • 1...Qc5
        • 2.Rxc5#
      • 1...Qe5
        • 2.Rxe5#
      • 1...Qd6
        • 2.Sxd6#
      • 1...Ra8
        • 2.Qxf7#
      • 1...Rb8
        • 2.Qxf7#
      • 1...Rc8
        • 2.Qxf7#
      • 1...Rd8
        • 2.Qxf7#
      • 1...Re8
        • 2.Qxf7#
      • 1...Rg8
        • 2.Qxf7#
      • 1...Rh8
        • 2.Qxf7#
      • 1...Be1
        • 2.Qxg5#
      • 1...Bf2
        • 2.Qxg5#
      • 1...f6
        • 2.Qh7#
      • 1...g4!
  • Keys
    • 1.Rc4!
      • 1...Qxf3+
        • 2.Rxf3#
      • 1...Qxc4
        • 2.Re5#
      • 1...Qxe6
        • 2.Sd4#
      • 1...Qxb7
        • 2.Re5#
      • 1...Qxd3
        • 2.Re5#
      • 1...Qxd6
        • 2.Sxd6#
      • 1...fxe6
        • 2.Qxf8#
      • 1...g4
        • 2.Rf4#
      • 1...Qe4
        • 2.dxe4#
      • 1...Qc6
        • 2.Re5#
      • 1...Qd4
        • 2.Sxd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qb5
        • 2.Sd4#
      • 1...Qc5
        • 2.Rxc5#
      • 1...Qe5
        • 2.Rxe5#
      • 1...Ra8
        • 2.Qxf7#
      • 1...Rb8
        • 2.Qxf7#
      • 1...Rc8
        • 2.Qxf7#
      • 1...Rd8
        • 2.Qxf7#
      • 1...Re8
        • 2.Qxf7#
      • 1...Rg8
        • 2.Qxf7#
      • 1...Rh8
        • 2.Qxf7#
      • 1...Be1
        • 2.Qxg5#
      • 1...Bf2
        • 2.Qxg5#
      • 1...Bg3
        • 2.Qxg5#
      • 1...f6
        • 2.Qh7#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • Q(b);CHECK,OGATE,XS(F)::R(E),XQ(b)
    • Q(b);N_GUARD,N_PINS(F)::R1(E)
    • Q(b);OGATE::P(D),XQ(b)
    • Q(b);N_GUARD::R1(E)
    • Q(b);N_PINS(F),XP(I)::S(F)
    • Q(b);N_GUARD,XS(J)::R1(E)
    • Q(b);N_GUARD,N_PINS(F),XP(D)::R1(E)
    • Q(b);N_PINS(F)::S(F),XQ(b)
    • Q(b);N_PINS(F)::S(F)
    • Q(b);N_PINS(F),OGATEB::R(A),XQ(b)
    • Q(b);N_GUARD,N_PINS(F)::R1(E),XQ(b)
    • Q(b);N_PINS(F),XP(H)::S(J),XQ(b)
    • R(f);N_GUARD::QAR2(K),XP(e)
    • B(a);N_GUARD::QAR1(K),XP(d)
    • P(e);OGATEB,XP(I)::QAR(K),XR(f)
    • P(e);OGATE,SBLOCK::QAB(K)
  • Tries
    • Try
      • K(B);N_SPINS(F),S_FLIGHT
      • Vars
        • Q(b);CHECK,OGATE,XS(F)::R(E),XQ(b)
        • Q(b);N_GUARD,XP(I)::S(F)
        • Q(b);XP(H)::S(J),XQ(b)
        • P(e);OGATEB,XP(I)::QAR(K),XR(f)
        • B(a);N_GUARD::QAR1(K),XP(d)
        • Q(b);N_GUARD,P_PINP(D)::R1(E)
        • Q(b);OGATE::P(D),XQ(b)
        • Q(b);N_GUARD::S(F),XQ(b)
        • Q(b);N_GUARD::S(F)
        • Q(b);N_GUARD,P_PINP(D)::S(F)
        • Q(b);OGATEB::R(A),XQ(b)
        • Q(b);N_GUARD::R1(E),XQ(b)
        • R(f);N_GUARD::QAR2(K),XP(e)
        • P(d);N_GUARD::S(F),XB(a)
        • P(e);OGATE,SBLOCK::QAB(K)
      • Refutation
        • Q(b);CHECK,XP(D)
    • Try
      • K(B);N_SPINS(F),P-FLIGHT
      • Vars
        • Q(b);N_GUARD,XP(I)::S(F)
        • Q(b);N_GUARD,XP(D)::R1(E)
        • Q(b);XP(H)::S(J),XQ(b)
        • P(e);OGATEB,XP(I)::QAR(K),XR(f)
        • B(a);N_GUARD::QAR1(K),XP(d)
        • Q(b);N_GUARD::R1(E)
        • Q(b);OGATE::P(D),XQ(b)
        • Q(b);N_GUARD,P_PINR(E)::S(F),XQ(b)
        • Q(b);N_GUARD::S(F)
        • Q(b);OGATEB,P_PINR(E)::R(A),XQ(b)
        • Q(b);N_GUARD::R1(E),XQ(b)
        • R(f);N_GUARD::QAR2(K),XP(e)
        • P(d);N_GUARD::S(F),XB(a)
        • P(e);OGATE,SBLOCK::QAB(K)
      • Refutation
        • B(a);CHECK
    • Try
      • K(B);S_FLIGHT
      • Vars
        • Q(b);CHECK,OGATE,XS(F)::R(E),XQ(b)
        • Q(b);N_PINS(F),XP(I)::S(F)
        • Q(b);N_GUARD,XS(J)::R1(E)
        • Q(b);N_GUARD,N_PINS(F),XP(D)::R1(E)
        • Q(b);N_PINS(F),XP(H)::S(J),XQ(b)
        • P(e);OGATEB,XP(I)::QAR(K),XR(f)
        • B(a);N_GUARD::QAR1(K),XP(d)
        • Q(b);N_GUARD,N_PINS(F)::R1(E)
        • Q(b);OGATE::P(D),XQ(b)
        • Q(b);N_GUARD::R1(E)
        • Q(b);N_PINS(F)::S(F),XQ(b)
        • Q(b);N_PINS(F)::S(F)
        • Q(b);N_PINS(F),OGATEB::R(A),XQ(b)
        • Q(b);N_GUARD,N_PINS(F)::R1(E),XQ(b)
        • R(f);N_GUARD::QAR2(K),XP(e)
        • P(e);OGATE,SBLOCK::QAB(K)
      • Refutation
        • P(d);
    • Try
      • K(B);N_SPINS(F),S_FLIGHT
      • Vars
        • Q(b);CHECK,OGATE,XS(F)::R(E),XQ(b)
        • Q(b);N_GUARD,XP(I)::S(F)
        • Q(b);N_GUARD,XP(D)::R1(E)
        • Q(b);XP(H)::S(J),XQ(b)
        • P(e);OGATEB,XP(I)::QAR(K),XR(f)
        • B(a);N_GUARD::QAR1(K),XP(d)
        • Q(b);N_GUARD::R1(E)
        • Q(b);OGATE::P(D),XQ(b)
        • Q(b);N_GUARD::S(F),XQ(b)
        • Q(b);N_GUARD::S(F)
        • Q(b);OGATEB::R(A),XQ(b)
        • Q(b);N_GUARD::R1(E),XQ(b)
        • R(f);N_GUARD::QAR2(K),XP(e)
        • P(e);OGATE,SBLOCK::QAB(K)
      • Refutation
        • P(d);CHECK
    • Try
      • B(C);
      • Vars
        • Q(b);CHECK,OGATE,XS(F)::R(E),XQ(b)
        • Q(b);N_PINS(F),XP(I)::S(F)
        • Q(b);N_GUARD,XS(J)::R1(E)
        • Q(b);N_GUARD,N_PINS(F),XP(D)::R1(E)
        • Q(b);N_PINS(F),XP(H)::S(J),XQ(b)
        • B(a);N_GUARD,XB(C)::QAR1(K),XP(d)
        • P(e);OGATEB,XP(I)::QAR(K),XR(f)
        • Q(b);N_GUARD,N_PINS(F)::R1(E)
        • Q(b);OGATE::P(D),XQ(b)
        • Q(b);N_GUARD::R1(E)
        • Q(b);N_PINS(F)::S(F),XQ(b)
        • Q(b);N_PINS(F)::S(F)
        • Q(b);N_PINS(F),OGATEB::R(A),XQ(b)
        • Q(b);N_GUARD,N_PINS(F)::R1(E),XQ(b)
        • R(f);N_GUARD::QAR2(K),XP(e)
        • P(e);OGATE,SBLOCK::QAB(K)
      • Refutation
        • P(d);
    • Try
      • R(A);
      • Vars
        • Q(b);N_GUARD,XS(J)::R1(E)
        • B(a);N_GUARD,XR(A)::QAR1(K),XP(d)
        • P(e);OGATEB,XP(I)::QAR(K),XR(f)
        • B(a);N_GUARD::QAR1(K),XP(d)
        • Q(b);OGATE::P(D),XQ(b)
        • Q(b);N_GUARD::R1(E)
        • R(f);N_GUARD::QAR2(K),XP(e)
        • P(e);OGATE,SBLOCK::QAB(K)
      • Refutation
        • P(d);
    • Try
      • R(A);P_PINQ(b)
      • Threat
        • R(A),XQ(b)
      • Vars
        • B(a);N_GUARD::QAR1(K),XP(d)
      • Refutation
        • Q(b);N_PINS(F),N_SPINQ(b),XR(A)
    • Try
      • R(E);N_SPINS(F)
      • Vars
        • Q(b);N_GUARD,XP(I)::S(F)
        • Q(b);N_GUARD,XP(D)::R1(E)
        • Q(b);XP(H)::S(J),XQ(b)
        • P(e);OGATEB,XP(I)::QAR(K),XR(f)
        • Q(b);N_GUARD::R1(E)
        • Q(b);N_GUARD::S(F),XQ(b)
        • Q(b);N_GUARD::S(F)
        • Q(b);OGATEB::R(A),XQ(b)
        • Q(b);N_GUARD::R1(E),XQ(b)
        • R(f);N_GUARD::QAR2(K),XP(e)
        • B(a);N_GUARD::QAR1(K),XP(d)
        • P(e);OGATE,SBLOCK::QAB(K)
      • Refutation
        • Q(b);P_PINS(F),XR(E)
    • Try
      • P(H);
      • Vars
        • Q(b);CHECK,OGATE,XS(F)::R(E),XQ(b)
        • Q(b);N_PINS(F),XP(I)::S(F)
        • Q(b);N_GUARD,XS(J)::R1(E)
        • Q(b);N_GUARD,N_PINS(F),XP(D)::R1(E)
        • Q(b);N_GUARD,N_PINS(F),XP(H)::R1(E)
        • P(e);OGATEB,XP(I)::QAR(K),XR(f)
        • B(a);N_GUARD::QAR1(K),XP(d)
        • Q(b);N_GUARD::R1(E)
        • Q(b);N_PINS(F)::S(F),XQ(b)
        • Q(b);N_PINS(F),OGATEB::R(A),XQ(b)
        • Q(b);N_GUARD,N_PINS(F)::R1(E),XQ(b)
        • Q(b);N_GUARD,N_PINS(F)::S(J),XQ(b)
        • R(f);N_GUARD::QAR2(K),XP(e)
        • P(e);OGATE,SBLOCK::QAB(K)
      • Refutation
        • P(d);
  • Actual
    • R(A);
    • Vars
      • Q(b);CHECK,OGATE,XS(F)::R(E),XQ(b)
      • Q(b);N_GUARD,N_PINS(F),XR(A)::R1(E)
      • Q(b);N_PINS(F),XP(I)::S(F)
      • Q(b);N_GUARD,XS(J)::R1(E)
      • Q(b);N_GUARD,N_PINS(F),XP(D)::R1(E)
      • Q(b);N_PINS(F),XP(H)::S(J),XQ(b)
      • P(e);OGATEB,XP(I)::QAR(K),XR(f)
      • P(d);N_GUARD::R1(A)
      • Q(b);OGATE::P(D),XQ(b)
      • Q(b);N_GUARD::R1(E)
      • Q(b);N_PINS(F)::S(F),XQ(b)
      • Q(b);N_PINS(F)::S(F)
      • Q(b);N_PINS(F),OGATEB::R(A),XQ(b)
      • Q(b);N_GUARD,N_PINS(F)::R1(E),XQ(b)
      • R(f);N_GUARD::QAR2(K),XP(e)
      • B(a);N_GUARD::QAR1(K),XP(d)
      • P(e);OGATE,SBLOCK::QAB(K)


Developed and maintained by Brian Stephenson.
Implemented with HTML5, MySQL, Perl (with, inter alia, CGI::Simple, HTML::Template & XML::LibXML) & CSS/Javascript (jQuery, Bootstrap & DataTables).