Problem Display
PID: 268017 (3R4/2nP1rP1/4p2b/2Np4/3Qpk2/P5RB/pr1N1K2/qbB5 w - - 0 1)

Boswell, Edward

Caine, Walter Edmund

Sunday Referee, 1928

(First published on Sun Oct 28 1928)

3R4/2nP1rP1/4p2b/2Np4/3Qpk2/P5RB/pr1N1K2/qbB5

#2

11 + 11


15239 Valois Notebooks 2022

SOLUTION


  • SOUND
  • Sets
    • 1...Rc2
      • 2.Sd3#
    • 1...Rxd2+
      • 2.Bxd2#
    • 1...Rb3
      • 2.Sdxb3#
    • 1...Rb4
      • 2.Sxb1#
      • 2.Sf1#
      • 2.Sdb3#
      • 2.Sf3#
      • 2.Sc4#
      • 2.Sdxe4#
    • 1...Rb5
      • 2.Sxb1#
      • 2.Sf1#
      • 2.Sdb3#
      • 2.Sf3#
      • 2.Sc4#
      • 2.Sdxe4#
    • 1...Rb6
      • 2.Sxb1#
      • 2.Sf1#
      • 2.Sdb3#
      • 2.Sf3#
      • 2.Sc4#
      • 2.Sdxe4#
    • 1...Rb7
      • 2.Sxb1#
      • 2.Sf1#
      • 2.Sdb3#
      • 2.Sf3#
      • 2.Sc4#
      • 2.Sdxe4#
    • 1...Rb8
      • 2.Sxb1#
      • 2.Sf1#
      • 2.Sdb3#
      • 2.Sf3#
      • 2.Sc4#
      • 2.Sdxe4#
    • 1...Rf5
      • 2.Rg4#
    • 1...Rf6
      • 2.Qxf6#
    • 1...Rxd7
      • 2.Qf6#
    • 1...Re7
      • 2.Qf6#
    • 1...Rxg7
      • 2.Qf6#
    • 1...Rf8
      • 2.Rxf8#
    • 1...Bc2
      • 2.Sb1#
    • 1...Bd3
      • 2.Sxd3#
    • 1...Bg5
      • 2.Rf3#
    • 1...Sb5
      • 2.Sxe6#
    • 1...Sa6
      • 2.Sxe6#
    • 1...Sa8
      • 2.Sxe6#
    • 1...Se8
      • 2.Sxe6#
    • 1...e5
      • 2.Qe3#
  • Tries
    • 1.Kg2?
      • 1...Rxd2+
        • 2.Bxd2#
      • 1...Rxd7
        • 2.Qf6#
      • 1...Rxg7
        • 2.Qf6#
      • 1...Rc2
        • 2.Sd3#
      • 1...Rb3
        • 2.Sdxb3#
      • 1...Rb4
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb5
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb6
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb7
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb8
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rf5
        • 2.Rg4#
      • 1...Rf6
        • 2.Qxf6#
      • 1...Re7
        • 2.Qf6#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Bc2
        • 2.Sb1#
      • 1...Bd3
        • 2.Sxd3#
      • 1...Bg5
        • 2.Rf3#
      • 1...Sb5
        • 2.Sxe6#
      • 1...Sa6
        • 2.Sxe6#
      • 1...Sa8
        • 2.Sxe6#
      • 1...Se8
        • 2.Sxe6#
      • 1...e5
        • 2.Qf2#
        • 2.Qe3#
      • 1...Bxg7!
    • 1.Bxb2?
      • threat
        • 2.Qe3#
        • 2.Qe5#
      • 1...Bxg7
        • 2.Qe3#
      • 1...Rf5
        • 2.Rg4#
        • 2.Qe3#
      • 1...e5
        • 2.Qe3#
        • 2.Qxe5#
      • 1...Qxb2!
    • 1.Ra8?
      • 1...Rxd2+
        • 2.Bxd2#
      • 1...Rxd7
        • 2.Qf6#
      • 1...Rxg7
        • 2.Qf6#
      • 1...Sxa8
        • 2.Sxe6#
      • 1...Rc2
        • 2.Sd3#
      • 1...Rb3
        • 2.Sdxb3#
      • 1...Rb4
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb5
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb6
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb7
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb8
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rf5
        • 2.Rg4#
      • 1...Rf6
        • 2.Qxf6#
      • 1...Re7
        • 2.Qf6#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Bc2
        • 2.Sb1#
      • 1...Bd3
        • 2.Sxd3#
      • 1...Bg5
        • 2.Rf3#
      • 1...Sb5
        • 2.Sxe6#
      • 1...Sa6
        • 2.Sxe6#
      • 1...Se8
        • 2.Sxe6#
      • 1...e5
        • 2.Qe3#
      • 1...Bxg7!
    • 1.Rb8?
      • 1...Rxd2+
        • 2.Bxd2#
      • 1...Rxb8
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rxd7
        • 2.Qf6#
      • 1...Rxg7
        • 2.Qf6#
      • 1...Rc2
        • 2.Sd3#
      • 1...Rb3
        • 2.Sdxb3#
      • 1...Rb4
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb5
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb6
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb7
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rf5
        • 2.Rg4#
      • 1...Rf6
        • 2.Qxf6#
      • 1...Re7
        • 2.Qf6#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Bc2
        • 2.Sb1#
      • 1...Bd3
        • 2.Sxd3#
      • 1...Bg5
        • 2.Rf3#
      • 1...Sb5
        • 2.Sxe6#
      • 1...Sa6
        • 2.Sxe6#
      • 1...Sa8
        • 2.Sxe6#
      • 1...Se8
        • 2.Sxe6#
      • 1...e5
        • 2.Qe3#
      • 1...Bxg7!
    • 1.Rc8?
      • 1...Rxd2+
        • 2.Bxd2#
      • 1...Rxd7
        • 2.Qf6#
      • 1...Rxg7
        • 2.Qf6#
      • 1...Rc2
        • 2.Sd3#
      • 1...Rb3
        • 2.Sdxb3#
      • 1...Rb4
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb5
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb6
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb7
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb8
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rf5
        • 2.Rg4#
      • 1...Rf6
        • 2.Qxf6#
      • 1...Re7
        • 2.Qf6#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Bc2
        • 2.Sb1#
      • 1...Bd3
        • 2.Sxd3#
      • 1...Bg5
        • 2.Rf3#
      • 1...Sb5
        • 2.Sxe6#
      • 1...Sa6
        • 2.Sxe6#
      • 1...Sa8
        • 2.Sxe6#
      • 1...Se8
        • 2.Sxe6#
      • 1...e5
        • 2.Qe3#
      • 1...Bxg7!
    • 1.Re8?
      • 1...Rxd2+
        • 2.Bxd2#
      • 1...Rxd7
        • 2.Qf6#
      • 1...Rxg7
        • 2.Qf6#
      • 1...Sxe8
        • 2.Sxe6#
      • 1...Rc2
        • 2.Sd3#
      • 1...Rb3
        • 2.Sdxb3#
      • 1...Rb4
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb5
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb6
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb7
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb8
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rf5
        • 2.Rg4#
      • 1...Rf6
        • 2.Qxf6#
      • 1...Re7
        • 2.Qf6#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Bc2
        • 2.Sb1#
      • 1...Bd3
        • 2.Sxd3#
      • 1...Bg5
        • 2.Rf3#
      • 1...Sb5
        • 2.Sxe6#
      • 1...Sa6
        • 2.Sxe6#
      • 1...Sa8
        • 2.Sxe6#
      • 1...e5
        • 2.Qe3#
        • 2.Qxe5#
      • 1...Bxg7!
    • 1.Rg8?
      • 1...Rxd2+
        • 2.Bxd2#
      • 1...Rxd7
        • 2.Qf6#
      • 1...Rxg7
        • 2.Qf6#
      • 1...Rc2
        • 2.Sd3#
      • 1...Rb3
        • 2.Sdxb3#
      • 1...Rb4
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb5
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb6
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb7
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb8
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rf5
        • 2.Rg4#
      • 1...Rf6
        • 2.Qxf6#
      • 1...Re7
        • 2.Qf6#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Bc2
        • 2.Sb1#
      • 1...Bd3
        • 2.Sxd3#
      • 1...Bg5
        • 2.Rf3#
      • 1...Sb5
        • 2.Sxe6#
      • 1...Sa6
        • 2.Sxe6#
      • 1...Sa8
        • 2.Sxe6#
      • 1...Se8
        • 2.Sxe6#
      • 1...e5
        • 2.Qe3#
      • 1...Bxg7!
    • 1.a4?
      • 1...Rxd2+
        • 2.Bxd2#
      • 1...Rxd7
        • 2.Qf6#
      • 1...Rxg7
        • 2.Qf6#
      • 1...Rc2
        • 2.Sd3#
      • 1...Rb3
        • 2.Sdxb3#
      • 1...Rb4
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb5
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb6
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb7
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb8
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rf5
        • 2.Rg4#
      • 1...Rf6
        • 2.Qxf6#
      • 1...Re7
        • 2.Qf6#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Bc2
        • 2.Sb1#
      • 1...Bd3
        • 2.Sxd3#
      • 1...Bg5
        • 2.Rf3#
      • 1...Sb5
        • 2.Sxe6#
      • 1...Sa6
        • 2.Sxe6#
      • 1...Sa8
        • 2.Sxe6#
      • 1...Se8
        • 2.Sxe6#
      • 1...e5
        • 2.Qe3#
      • 1...Bxg7!
    • 1.g8Q?
      • threat
        • 2.Rf3#
        • 2.Qxf7#
        • 2.Qg4#
      • 1...Rxd2+
        • 2.Bxd2#
      • 1...Rxd7
        • 2.Rf3#
        • 2.Qf6#
        • 2.Qg4#
      • 1...Rb3
        • 2.Sdxb3#
        • 2.Qxf7#
        • 2.Qg4#
      • 1...Rf5
        • 2.Rf3#
        • 2.Rg4#
        • 2.Qg4#
      • 1...Rf6
        • 2.Rf3#
        • 2.Qxf6#
        • 2.Qg4#
      • 1...Re7
        • 2.Rf3#
        • 2.Qf6#
        • 2.Qg4#
      • 1...Rg7
        • 2.Qf6#
      • 1...Rh7
        • 2.Rf3#
        • 2.Qf6#
        • 2.Qg4#
      • 1...Rf8
        • 2.Rf3#
        • 2.Qg4#
      • 1...Bg5
        • 2.Rf3#
        • 2.Qxg5#
      • 1...Se8
        • 2.Sxe6#
        • 2.Rf3#
        • 2.Qg4#
      • 1...Bg7!
    • 1.g8R?
      • threat
        • 2.Rf3#
      • 1...Rxd2+
        • 2.Bxd2#
      • 1...Rb3
        • 2.Sdxb3#
      • 1...Rg7
        • 2.Qf6#
      • 1...Bg7!
  • Keys
    • 1.Rh8!
      • 1...Rxd2+
        • 2.Bxd2#
      • 1...Rxd7
        • 2.Qf6#
      • 1...Rxg7
        • 2.Qf6#
      • 1...Bxg7
        • 2.Rh4#
      • 1...Rc2
        • 2.Sd3#
      • 1...Rb3
        • 2.Sdxb3#
      • 1...Rb4
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb5
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb6
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb7
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rb8
        • 2.Sxb1#
        • 2.Sf1#
        • 2.Sdb3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sdxe4#
      • 1...Rf5
        • 2.Rg4#
      • 1...Rf6
        • 2.Qxf6#
      • 1...Re7
        • 2.Qf6#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Bc2
        • 2.Sb1#
      • 1...Bd3
        • 2.Sxd3#
      • 1...Bg5
        • 2.Rf3#
      • 1...Sb5
        • 2.Sxe6#
      • 1...Sa6
        • 2.Sxe6#
      • 1...Sa8
        • 2.Sxe6#
      • 1...Se8
        • 2.Sxe6#
      • 1...e5
        • 2.Qe3#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • R(d);S_CUTB(b)::S(H)
    • R(d);CHECK,OGATE,P_SPINR(d),XS(B)::B(A),XR(d)
    • R(d);N_PINS(B)::B(A)+S(B),XR(d)
    • R(k);SBLOCK::R1(E)
    • R(k);N_GUARD::QAR2(G),XR(k)
    • R(k);N_GUARD,XP(I)::QAR2(G)
    • R(k);N_GUARD::QAR2(G)
    • R(k);N_GUARD,XP(J)::QAR2(G)
    • R(k);OGATEB::R(K),XR(k)
    • B(b);N_PINS(B)::B(A)+S(B)
    • B(b);N_GUARD::S(H),XB(b)
    • B(i);SBLOCK::R1(E)
    • S(j);N_GUARD::S(H),XP(h)
    • P(h);SBLOCK::QAB1(G)
  • Tries
    • Try
      • K(C);P-FLIGHT
      • Vars
        • R(d);CHECK,OGATE,P_SPINR(d),XS(B)::B(A),XR(d)
        • R(k);N_GUARD,XP(I)::QAR2(G)
        • R(k);N_GUARD,P_PINR(E),XP(J)::QAR2(G)
        • R(d);S_CUTB(b)::S(H)
        • R(d);N_PINS(B)::B(A)+S(B),XR(d)
        • R(k);SBLOCK::R1(E)
        • R(k);N_GUARD::QAR2(G),XR(k)
        • R(k);N_GUARD::QAR2(G)
        • R(k);OGATEB::R(K),XR(k)
        • B(b);N_PINS(B)::B(A)+S(B)
        • B(b);N_GUARD::S(H),XB(b)
        • B(i);SBLOCK::R1(E)
        • S(j);N_GUARD::S(H),XP(h)
      • Refutation
        • B(i);XP(J)
    • Try
      • B(A);N_SPINS(B),XR(d)
      • Threat
        • DUALS(2)
      • Vars
        • B(i);XP(J)::QAB1(G)
      • Refutation
        • Q(a);P_PINS(B),XB(A)
    • Try
      • R(K);
      • Vars
        • R(d);CHECK,OGATE,P_SPINR(d),XS(B)::B(A),XR(d)
        • R(k);N_GUARD,XP(I)::QAR2(G)
        • R(k);N_GUARD,XP(J)::QAR2(G)
        • S(j);N_GUARD,XR(K)::S(H),XP(h)
        • R(d);S_CUTB(b)::S(H)
        • R(d);N_PINS(B)::B(A)+S(B),XR(d)
        • R(k);SBLOCK::R1(E)
        • R(k);N_GUARD::QAR2(G),XR(k)
        • R(k);N_GUARD::QAR2(G)
        • R(k);OGATEB::R(K),XR(k)
        • B(b);N_PINS(B)::B(A)+S(B)
        • B(b);N_GUARD::S(H),XB(b)
        • B(i);SBLOCK::R1(E)
        • S(j);N_GUARD::S(H),XP(h)
        • P(h);SBLOCK::QAB1(G)
      • Refutation
        • B(i);XP(J)
    • Try
      • R(K);
      • Vars
        • R(d);CHECK,OGATE,P_SPINR(d),XS(B)::B(A),XR(d)
        • R(k);N_GUARD,XP(I)::QAR2(G)
        • R(k);N_GUARD,XP(J)::QAR2(G)
        • R(d);S_CUTB(b)::S(H)
        • R(d);N_PINS(B)::B(A)+S(B),XR(d)
        • R(k);SBLOCK::R1(E)
        • R(k);N_GUARD::QAR2(G),XR(k)
        • R(k);N_GUARD::QAR2(G)
        • R(k);OGATEB::R(K),XR(k)
        • B(b);N_PINS(B)::B(A)+S(B)
        • B(b);N_GUARD::S(H),XB(b)
        • B(i);SBLOCK::R1(E)
        • S(j);N_GUARD::S(H),XP(h)
        • P(h);SBLOCK::QAB1(G)
      • Refutation
        • B(i);XP(J)
    • Try
      • R(K);
      • Vars
        • R(d);CHECK,OGATE,P_SPINR(d),XS(B)::B(A),XR(d)
        • R(k);N_GUARD,XP(I)::QAR2(G)
        • R(k);N_GUARD,XP(J)::QAR2(G)
        • R(d);S_CUTB(b)::S(H)
        • R(d);N_PINS(B)::B(A)+S(B),XR(d)
        • R(k);SBLOCK::R1(E)
        • R(k);N_GUARD::QAR2(G),XR(k)
        • R(k);N_GUARD::QAR2(G)
        • R(k);OGATEB::R(K),XR(k)
        • B(b);N_PINS(B)::B(A)+S(B)
        • B(b);N_GUARD::S(H),XB(b)
        • B(i);SBLOCK::R1(E)
        • S(j);N_GUARD::S(H),XP(h)
        • P(h);SBLOCK::QAB1(G)
      • Refutation
        • B(i);XP(J)
    • Try
      • R(K);
      • Vars
        • R(d);CHECK,OGATE,P_SPINR(d),XS(B)::B(A),XR(d)
        • R(k);N_GUARD,XP(I)::QAR2(G)
        • R(k);N_GUARD,XP(J)::QAR2(G)
        • S(j);N_GUARD,XR(K)::S(H),XP(h)
        • R(d);S_CUTB(b)::S(H)
        • R(d);N_PINS(B)::B(A)+S(B),XR(d)
        • R(k);SBLOCK::R1(E)
        • R(k);N_GUARD::QAR2(G),XR(k)
        • R(k);N_GUARD::QAR2(G)
        • R(k);OGATEB::R(K),XR(k)
        • B(b);N_PINS(B)::B(A)+S(B)
        • B(b);N_GUARD::S(H),XB(b)
        • B(i);SBLOCK::R1(E)
        • S(j);N_GUARD::S(H),XP(h)
      • Refutation
        • B(i);XP(J)
    • Try
      • R(K);
      • Vars
        • R(d);CHECK,OGATE,P_SPINR(d),XS(B)::B(A),XR(d)
        • R(k);N_GUARD,XP(I)::QAR2(G)
        • R(k);N_GUARD,XP(J)::QAR2(G)
        • R(d);S_CUTB(b)::S(H)
        • R(d);N_PINS(B)::B(A)+S(B),XR(d)
        • R(k);SBLOCK::R1(E)
        • R(k);N_GUARD::QAR2(G),XR(k)
        • R(k);N_GUARD::QAR2(G)
        • R(k);OGATEB::R(K),XR(k)
        • B(b);N_PINS(B)::B(A)+S(B)
        • B(b);N_GUARD::S(H),XB(b)
        • B(i);SBLOCK::R1(E)
        • S(j);N_GUARD::S(H),XP(h)
        • P(h);SBLOCK::QAB1(G)
      • Refutation
        • B(i);XP(J)
    • Try
      • P(D);
      • Vars
        • R(d);CHECK,OGATE,P_SPINR(d),XS(B)::B(A),XR(d)
        • R(k);N_GUARD,XP(I)::QAR2(G)
        • R(k);N_GUARD,XP(J)::QAR2(G)
        • R(d);S_CUTB(b)::S(H)
        • R(d);N_PINS(B)::B(A)+S(B),XR(d)
        • R(k);SBLOCK::R1(E)
        • R(k);N_GUARD::QAR2(G),XR(k)
        • R(k);N_GUARD::QAR2(G)
        • R(k);OGATEB::R(K),XR(k)
        • B(b);N_PINS(B)::B(A)+S(B)
        • B(b);N_GUARD::S(H),XB(b)
        • B(i);SBLOCK::R1(E)
        • S(j);N_GUARD::S(H),XP(h)
        • P(h);SBLOCK::QAB1(G)
      • Refutation
        • B(i);XP(J)
    • Try
      • P(J);
      • Threat
        • DUALS(3)
      • Vars
        • R(d);CHECK,OGATE,P_SPINR(d),XS(B)::B(A),XR(d)
        • R(k);N_GUARD::QAR2(G)
      • Refutation
        • B(i);
    • Try
      • P(J);
      • Threat
        • R1(E)
      • Vars
        • R(d);CHECK,OGATE,P_SPINR(d),XS(B)::B(A),XR(d)
        • R(d);N_PINS(B)::B(A)+S(B),XR(d)
        • R(k);N_GUARD::QAR2(G)
      • Refutation
        • B(i);
  • Actual
    • R(K);
    • Vars
      • R(d);CHECK,OGATE,P_SPINR(d),XS(B)::B(A),XR(d)
      • R(k);N_GUARD,XP(I)::QAR2(G)
      • R(k);N_GUARD,XP(J)::QAR2(G)
      • B(i);OGATE,XP(J)::R(K)
      • R(d);S_CUTB(b)::S(H)
      • R(d);N_PINS(B)::B(A)+S(B),XR(d)
      • R(k);SBLOCK::R1(E)
      • R(k);N_GUARD::QAR2(G),XR(k)
      • R(k);N_GUARD::QAR2(G)
      • R(k);OGATEB::R(K),XR(k)
      • B(b);N_PINS(B)::B(A)+S(B)
      • B(b);N_GUARD::S(H),XB(b)
      • B(i);SBLOCK::R1(E)
      • S(j);N_GUARD::S(H),XP(h)
      • P(h);SBLOCK::QAB1(G)


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).