MESON Chess Problem Database

Problem Display
PID: 2855 (2n1R1K1/1n2bB1P/Q7/P2P1Rp1/4k1P1/r2N3r/b3N3/6B1 w - - 0 1)

Mackenzie, Arthur Ford

3rd Prize, St. James' Budget, 1894

2n1R1K1/1n2bB1P/Q7/P2P1Rp1/4k1P1/r2N3r/b3N3/6B1

#2

12 + 8

5669 Tidsskrift for Skak 1895
2638 White to Play 1913
2681 All Change Here! 1919
81 Chess 1959
133 The Problemist Supplement 2014

SOLUTION

  • SOUND
  • Sets
    • 1...Rb3
      • 2.Qc4#
    • 1...Rc3
      • 2.Sxc3#
    • 1...Raxd3
      • 2.Qe6#
    • 1...Ra4
      • 2.Sc3#
    • 1...Rxa5
      • 2.Sc3#
    • 1...Rh1
      • 2.Sg3#
    • 1...Rh2
      • 2.Sg3#
    • 1...Rhxd3
      • 2.Qe6#
    • 1...Re3
      • 2.Sf2#
    • 1...Rf3
      • 2.Re5#
    • 1...Rg3
      • 2.Sxg3#
    • 1...Rh4
      • 2.Sg3#
    • 1...Rh5
      • 2.Sg3#
    • 1...Rh6
      • 2.Sg3#
    • 1...Rxh7
      • 2.Sg3#
    • 1...Bb1
      • 2.Qc4#
    • 1...Bb3
      • 2.Sc3#
    • 1...Bc4
      • 2.Qxc4#
    • 1...Bxd5
      • 2.Bxd5#
    • 1...Sxa5
      • 2.Sc5#
    • 1...Sc5
      • 2.Sxc5#
    • 1...Sbd6
      • 2.Sc5#
    • 1...Sd8
      • 2.Sc5#
    • 1...Sb6
      • 2.Rxe7#
    • 1...Scd6
      • 2.Rxe7#
    • 1...Sa7
      • 2.Rxe7#
  • Tries
    • 1.Kg7?
      • 1...Raxd3
        • 2.Qe6#
      • 1...Rxa5
        • 2.Sc3#
      • 1...Rhxd3
        • 2.Qe6#
      • 1...Bxd5
        • 2.Bxd5#
      • 1...Sxa5
        • 2.Sc5#
      • 1...Bc4
        • 2.Qxc4#
      • 1...Rb3
        • 2.Qc4#
      • 1...Rc3
        • 2.Sxc3#
      • 1...Ra4
        • 2.Sc3#
      • 1...Rh1
        • 2.Sg3#
      • 1...Rh2
        • 2.Sg3#
      • 1...Re3
        • 2.Sf2#
      • 1...Rf3
        • 2.Re5#
      • 1...Rg3
        • 2.Sxg3#
      • 1...Rh4
        • 2.Sg3#
      • 1...Rh5
        • 2.Sg3#
      • 1...Rh6
        • 2.Sg3#
      • 1...Bb1
        • 2.Qc4#
      • 1...Bb3
        • 2.Sc3#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Sbd6
        • 2.Sc5#
      • 1...Sd8
        • 2.Sc5#
      • 1...Sb6
        • 2.Rxe7#
      • 1...Scd6
        • 2.Rxe7#
      • 1...Sa7
        • 2.Rxe7#
      • 1...Rxh7+!
    • 1.Kh8?
      • 1...Raxd3
        • 2.Qe6#
      • 1...Rxa5
        • 2.Sc3#
      • 1...Rhxd3
        • 2.Qe6#
      • 1...Bxd5
        • 2.Bxd5#
      • 1...Sxa5
        • 2.Sc5#
      • 1...Bc4
        • 2.Qxc4#
      • 1...Rb3
        • 2.Qc4#
      • 1...Rc3
        • 2.Sxc3#
      • 1...Ra4
        • 2.Sc3#
      • 1...Rh1
        • 2.Sg3#
      • 1...Rh2
        • 2.Sg3#
      • 1...Re3
        • 2.Sf2#
      • 1...Rf3
        • 2.Re5#
      • 1...Rg3
        • 2.Sxg3#
      • 1...Rh4
        • 2.Sg3#
      • 1...Rh5
        • 2.Sg3#
      • 1...Rh6
        • 2.Sg3#
      • 1...Bb1
        • 2.Qc4#
      • 1...Bb3
        • 2.Sc3#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Sbd6
        • 2.Sc5#
      • 1...Sd8
        • 2.Sc5#
      • 1...Sb6
        • 2.Rxe7#
      • 1...Scd6
        • 2.Rxe7#
      • 1...Sa7
        • 2.Rxe7#
      • 1...Rxh7+!
    • 1.Bf2?
      • 1...Raxd3
        • 2.Qe6#
      • 1...Rxa5
        • 2.Sc3#
      • 1...Rhxd3
        • 2.Qe6#
      • 1...Rxh7
        • 2.Sg3#
      • 1...Bxd5
        • 2.Bxd5#
      • 1...Sxa5
        • 2.Sc5#
      • 1...Bc4
        • 2.Qxc4#
      • 1...Rh6
        • 2.Sg3#
      • 1...Rb3
        • 2.Qc4#
      • 1...Rc3
        • 2.Sxc3#
      • 1...Ra4
        • 2.Sc3#
      • 1...Rh1
        • 2.Sg3#
      • 1...Rh2
        • 2.Sg3#
      • 1...Rf3
        • 2.Re5#
      • 1...Rg3
        • 2.Sxg3#
      • 1...Rh4
        • 2.Sg3#
      • 1...Rh5
        • 2.Sg3#
      • 1...Bb1
        • 2.Qc4#
      • 1...Bb3
        • 2.Sc3#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Sbd6
        • 2.Sc5#
      • 1...Sd8
        • 2.Sc5#
      • 1...Sb6
        • 2.Rxe7#
      • 1...Scd6
        • 2.Rxe7#
      • 1...Sa7
        • 2.Rxe7#
      • 1...Re3!
    • 1.Bd4?
      • threat
        • 2.Sf2#
      • 1...Raxd3
        • 2.Qe6#
      • 1...Rhxd3
        • 2.Qe6#
      • 1...Rf3
        • 2.Re5#
      • 1...Rh2!
    • 1.Bc5?
      • threat
        • 2.Sf2#
      • 1...Raxd3
        • 2.Qe6#
      • 1...Rhxd3
        • 2.Qe6#
      • 1...Rh2
        • 2.Sg3#
      • 1...Rf3
        • 2.Re5#
      • 1...Sxc5!
    • 1.Ba7?
      • threat
        • 2.Sf2#
      • 1...Raxd3
        • 2.Qe6#
      • 1...Rhxd3
        • 2.Qe6#
      • 1...Sxa7
        • 2.Rxe7#
      • 1...Sb6
        • 2.Rxe7#
      • 1...Rh2
        • 2.Sg3#
      • 1...Rf3
        • 2.Re5#
      • 1...Sc5!
    • 1.Bh5?
      • 1...Raxd3
        • 2.Qe6#
      • 1...Rxa5
        • 2.Sc3#
      • 1...Rhxd3
        • 2.Qe6#
      • 1...Rxh5
        • 2.Sg3#
      • 1...Sxa5
        • 2.Sc5#
      • 1...Bc4
        • 2.Qxc4#
      • 1...Rb3
        • 2.Qc4#
      • 1...Rc3
        • 2.Sxc3#
      • 1...Ra4
        • 2.Sc3#
      • 1...Rh1
        • 2.Sg3#
      • 1...Rh2
        • 2.Sg3#
      • 1...Re3
        • 2.Sf2#
      • 1...Rf3
        • 2.Re5#
      • 1...Rg3
        • 2.Sxg3#
      • 1...Rh4
        • 2.Sg3#
      • 1...Bb1
        • 2.Qc4#
      • 1...Bb3
        • 2.Sc3#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Sbd6
        • 2.Sc5#
      • 1...Sd8
        • 2.Sc5#
      • 1...Sb6
        • 2.Rxe7#
      • 1...Scd6
        • 2.Rxe7#
      • 1...Sa7
        • 2.Rxe7#
      • 1...Bxd5+!
    • 1.Qg6?
      • threat
        • 2.Rf1#
        • 2.Rf4#
        • 2.Rf6#
      • 1...Raxd3
        • 2.Qe6#
      • 1...Rhxd3
        • 2.Qe6#
      • 1...Rh6
        • 2.Rf4#
      • 1...Rf3
        • 2.Rf4#
        • 2.Re5#
      • 1...Sbd6
        • 2.Sc5#
        • 2.Rf4#
      • 1...Scd6
        • 2.Rf4#
      • 1...Kxd3!
    • 1.h8Q?
      • threat
        • 2.Qd4#
        • 2.Qe5#
      • 1...Raxd3
        • 2.Qe5#
        • 2.Qe6#
      • 1...Rhxd3
        • 2.Qe5#
        • 2.Qe6#
      • 1...Bc4
        • 2.Qxc4#
        • 2.Qd4#
      • 1...Ra4
        • 2.Sc3#
        • 2.Qe5#
      • 1...Rxh8+!
    • 1.h8S?
      • 1...Raxd3
        • 2.Qe6#
      • 1...Rxa5
        • 2.Sc3#
      • 1...Rhxd3
        • 2.Qe6#
      • 1...Bxd5
        • 2.Bxd5#
      • 1...Sxa5
        • 2.Sc5#
      • 1...Bc4
        • 2.Qxc4#
      • 1...Rh6
        • 2.Sg3#
      • 1...Rb3
        • 2.Qc4#
      • 1...Rc3
        • 2.Sxc3#
      • 1...Ra4
        • 2.Sc3#
      • 1...Rh1
        • 2.Sg3#
      • 1...Rh2
        • 2.Sg3#
      • 1...Re3
        • 2.Sf2#
      • 1...Rf3
        • 2.Re5#
      • 1...Rg3
        • 2.Sxg3#
      • 1...Rh4
        • 2.Sg3#
      • 1...Rh5
        • 2.Sg3#
      • 1...Rh7
        • 2.Sg3#
      • 1...Bb1
        • 2.Qc4#
      • 1...Bb3
        • 2.Sc3#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Sbd6
        • 2.Sc5#
      • 1...Sd8
        • 2.Sc5#
      • 1...Sb6
        • 2.Rxe7#
      • 1...Scd6
        • 2.Rxe7#
      • 1...Sa7
        • 2.Rxe7#
      • 1...Rxh8+!
    • 1.h8B?
      • 1...Raxd3
        • 2.Qe6#
      • 1...Rxa5
        • 2.Sc3#
      • 1...Rhxd3
        • 2.Qe6#
      • 1...Bxd5
        • 2.Bxd5#
      • 1...Sxa5
        • 2.Sc5#
      • 1...Bc4
        • 2.Qxc4#
      • 1...Rh6
        • 2.Sg3#
      • 1...Rb3
        • 2.Qc4#
      • 1...Rc3
        • 2.Sxc3#
      • 1...Ra4
        • 2.Sc3#
      • 1...Rh1
        • 2.Sg3#
      • 1...Rh2
        • 2.Sg3#
      • 1...Re3
        • 2.Sf2#
      • 1...Rf3
        • 2.Re5#
      • 1...Rg3
        • 2.Sxg3#
      • 1...Rh4
        • 2.Sg3#
      • 1...Rh5
        • 2.Sg3#
      • 1...Rh7
        • 2.Sg3#
      • 1...Bb1
        • 2.Qc4#
      • 1...Bb3
        • 2.Sc3#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Sbd6
        • 2.Sc5#
      • 1...Sd8
        • 2.Sc5#
      • 1...Sb6
        • 2.Rxe7#
      • 1...Scd6
        • 2.Rxe7#
      • 1...Sa7
        • 2.Rxe7#
      • 1...Rxh8+!
    • 1.h8R?
      • 1...Raxd3
        • 2.Qe6#
      • 1...Rxa5
        • 2.Sc3#
      • 1...Rhxd3
        • 2.Qe6#
      • 1...Bxd5
        • 2.Bxd5#
      • 1...Sxa5
        • 2.Sc5#
      • 1...Bc4
        • 2.Qxc4#
      • 1...Rh6
        • 2.Sg3#
      • 1...Rb3
        • 2.Qc4#
      • 1...Rc3
        • 2.Sxc3#
      • 1...Ra4
        • 2.Sc3#
      • 1...Rh1
        • 2.Sg3#
      • 1...Rh2
        • 2.Sg3#
      • 1...Re3
        • 2.Sf2#
      • 1...Rf3
        • 2.Re5#
      • 1...Rg3
        • 2.Sxg3#
      • 1...Rh4
        • 2.Sg3#
      • 1...Rh5
        • 2.Sg3#
      • 1...Rh7
        • 2.Sg3#
      • 1...Bb1
        • 2.Qc4#
      • 1...Bb3
        • 2.Sc3#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Sbd6
        • 2.Sc5#
      • 1...Sd8
        • 2.Sc5#
      • 1...Sb6
        • 2.Rxe7#
      • 1...Scd6
        • 2.Rxe7#
      • 1...Sa7
        • 2.Rxe7#
      • 1...Rxh8+!
  • Keys
    • 1.Bg6!
      • 1...Bxd5+
        • 2.Rf7#
      • 1...Raxd3
        • 2.Qe6#
      • 1...Rxa5
        • 2.Sc3#
      • 1...Rhxd3
        • 2.Qe6#
      • 1...Rxh7
        • 2.Sg3#
      • 1...Sxa5
        • 2.Sc5#
      • 1...Bc4
        • 2.Qxc4#
      • 1...Rh6
        • 2.Sg3#
      • 1...Rb3
        • 2.Qc4#
      • 1...Rc3
        • 2.Sxc3#
      • 1...Ra4
        • 2.Sc3#
      • 1...Rh1
        • 2.Sg3#
      • 1...Rh2
        • 2.Sg3#
      • 1...Re3
        • 2.Sf2#
      • 1...Rf3
        • 2.Re5#
      • 1...Rg3
        • 2.Sxg3#
      • 1...Rh4
        • 2.Sg3#
      • 1...Rh5
        • 2.Sg3#
      • 1...Bb1
        • 2.Qc4#
      • 1...Bb3
        • 2.Sc3#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Sbd6
        • 2.Sc5#
      • 1...Sd8
        • 2.Sc5#
      • 1...Sb6
        • 2.Rxe7#
      • 1...Scd6
        • 2.Rxe7#
      • 1...Sa7
        • 2.Rxe7#

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • R(b);S_CUTB(a)::QAR2(H)
    • R(b);N_GUARD::S(B),XR(b)
    • R(b);SBLOCK,XS(C)::QAR2(H)
    • R(b);N_GUARD::S(B)
    • R(b);N_GUARD,XP(E)::S(B)
    • R(c);N_GUARD::S(B)
    • R(c);SBLOCK,XS(C)::QAR2(H)
    • R(c);SBLOCK::S(C)
    • R(c);SBLOCK::R1(G)
    • R(c);N_GUARD::S(B),XR(c)
    • R(c);N_GUARD,XP(J)::S(B)
    • B(a);N_GUARD::QAR2(H)
    • B(a);S_CUTR(b)::S(B)
    • B(a);N_GUARD::QAR2(H),XB(a)
    • B(a);OGATE,P_PINB(I),XP(F)::B(I),XB(a)
    • S(f);N_GUARD,XP(E)::S(C)
    • S(f);N_GUARD::S(C),XS(f)
    • S(f);N_GUARD::S(C)
    • S(h);N_GUARD::R(K),XB(g)
  • Tries
    • Try
      • K(L);P-FLIGHT
      • Vars
        • R(b);SBLOCK,XS(C)::QAR2(H)
        • R(b);N_GUARD,XP(E)::S(B)
        • R(c);SBLOCK,XS(C)::QAR2(H)
        • B(a);OGATE,XP(F)::B(I),XB(a)
        • S(f);N_GUARD,XP(E)::S(C)
        • B(a);N_GUARD::QAR2(H),XB(a)
        • R(b);S_CUTB(a)::QAR2(H)
        • R(b);N_GUARD::S(B),XR(b)
        • R(b);N_GUARD::S(B)
        • R(c);N_GUARD::S(B)
        • R(c);SBLOCK::S(C)
        • R(c);SBLOCK::R1(G)
        • R(c);N_GUARD::S(B),XR(c)
        • B(a);N_GUARD::QAR2(H)
        • B(a);S_CUTR(b)::S(B)
        • S(f);N_GUARD::S(C),XS(f)
        • S(f);N_GUARD::S(C)
        • S(h);N_GUARD::R(K),XB(g)
      • Refutation
        • R(c);CHECK,XP(J)
    • Try
      • K(L);P-FLIGHT,P_SPINP(J)
      • Vars
        • R(b);SBLOCK,XS(C)::QAR2(H)
        • R(b);N_GUARD,XP(E)::S(B)
        • R(c);N_PINP(J),SBLOCK,XS(C)::QAR2(H)
        • B(a);OGATE,XP(F)::B(I),XB(a)
        • S(f);N_GUARD,XP(E)::S(C)
        • B(a);N_GUARD::QAR2(H),XB(a)
        • R(b);S_CUTB(a)::QAR2(H)
        • R(b);N_GUARD::S(B),XR(b)
        • R(b);N_GUARD::S(B)
        • R(c);N_GUARD::S(B)
        • R(c);N_PINP(J),SBLOCK::S(C)
        • R(c);N_PINP(J),SBLOCK::R1(G)
        • R(c);N_GUARD,N_PINP(J)::S(B),XR(c)
        • B(a);N_GUARD::QAR2(H)
        • B(a);S_CUTR(b)::S(B)
        • S(f);N_GUARD::S(C),XS(f)
        • S(f);N_GUARD::S(C)
        • S(h);N_GUARD::R(K),XB(g)
      • Refutation
        • R(c);CHECK,XP(J)
    • Try
      • B(A);
      • Vars
        • R(b);SBLOCK,XS(C)::QAR2(H)
        • R(b);N_GUARD,XP(E)::S(B)
        • R(c);SBLOCK,XS(C)::QAR2(H)
        • R(c);N_GUARD,XP(J)::S(B)
        • B(a);OGATE,P_PINB(I),XP(F)::B(I),XB(a)
        • S(f);N_GUARD,XP(E)::S(C)
        • B(a);N_GUARD::QAR2(H),XB(a)
        • R(c);N_GUARD::S(B)
        • R(b);S_CUTB(a)::QAR2(H)
        • R(b);N_GUARD::S(B),XR(b)
        • R(b);N_GUARD::S(B)
        • R(c);SBLOCK::R1(G)
        • R(c);N_GUARD::S(B),XR(c)
        • B(a);N_GUARD::QAR2(H)
        • B(a);S_CUTR(b)::S(B)
        • S(f);N_GUARD::S(C),XS(f)
        • S(f);N_GUARD::S(C)
        • S(h);N_GUARD::R(K),XB(g)
      • Refutation
        • R(c);
    • Try
      • B(A);
      • Threat
        • S(C)
      • Vars
        • R(b);SBLOCK,XS(C)::QAR2(H)
        • R(c);SBLOCK,XS(C)::QAR2(H)
        • R(c);SBLOCK::R1(G)
      • Refutation
        • R(c);
    • Try
      • B(A);
      • Threat
        • S(C)
      • Vars
        • R(b);SBLOCK,XS(C)::QAR2(H)
        • R(c);SBLOCK,XS(C)::QAR2(H)
        • R(c);N_GUARD::S(B)
        • R(c);SBLOCK::R1(G)
      • Refutation
        • S(f);XB(A)
    • Try
      • B(A);
      • Threat
        • S(C)
      • Vars
        • R(b);SBLOCK,XS(C)::QAR2(H)
        • R(c);SBLOCK,XS(C)::QAR2(H)
        • S(h);N_GUARD,XB(A)::R(K),XB(g)
        • S(h);N_GUARD::R(K),XB(g)
        • R(c);N_GUARD::S(B)
        • R(c);SBLOCK::R1(G)
      • Refutation
        • S(f);
    • Try
      • B(I);P_SPINP(F)
      • Vars
        • R(b);SBLOCK,XS(C)::QAR2(H)
        • R(b);N_GUARD,XP(E)::S(B)
        • R(c);SBLOCK,XS(C)::QAR2(H)
        • R(c);N_GUARD,XB(I)::S(B)
        • S(f);N_GUARD,XP(E)::S(C)
        • B(a);N_GUARD::QAR2(H),XB(a)
        • R(b);N_PINP(F),S_CUTB(a)::QAR2(H)
        • R(b);N_GUARD::S(B),XR(b)
        • R(b);N_GUARD::S(B)
        • R(c);N_GUARD::S(B)
        • R(c);SBLOCK::S(C)
        • R(c);SBLOCK::R1(G)
        • R(c);N_GUARD::S(B),XR(c)
        • B(a);N_GUARD,N_PINP(F)::QAR2(H)
        • B(a);S_CUTR(b)::S(B)
        • S(f);N_GUARD::S(C),XS(f)
        • S(f);N_GUARD::S(C)
        • S(h);N_GUARD::R(K),XB(g)
      • Refutation
        • B(a);CHECK,XP(F)
    • Try
      • Q(H);
      • Threat
        • DUALS(3)
      • Vars
        • R(b);SBLOCK,XS(C)::QAR2(H)
        • R(c);SBLOCK,XS(C)::QAR2(H)
        • R(c);::QAB(H)+R(G),DCHECK
        • S(h);::QAB(H)+R(G),DCHECK
      • Refutation
        • K(d);N_SPINB(g),S_FLIGHT,XS(C)
    • Try
      • P(J);
      • Threat
        • DUALS(2)
      • Refutation
        • R(c);CHECK,XQ(J)
    • Try
      • P(J);
      • Vars
        • R(b);SBLOCK,XS(C)::QAR2(H)
        • R(b);N_GUARD,XP(E)::S(B)
        • R(c);SBLOCK,XS(C)::QAR2(H)
        • B(a);OGATE,P_PINB(I),XP(F)::B(I),XB(a)
        • S(f);N_GUARD,XP(E)::S(C)
        • B(a);N_GUARD::QAR2(H),XB(a)
        • R(c);N_GUARD::S(B)
        • R(b);S_CUTB(a)::QAR2(H)
        • R(b);N_GUARD::S(B),XR(b)
        • R(b);N_GUARD::S(B)
        • R(c);SBLOCK::S(C)
        • R(c);SBLOCK::R1(G)
        • R(c);N_GUARD::S(B),XR(c)
        • B(a);N_GUARD::QAR2(H)
        • B(a);S_CUTR(b)::S(B)
        • S(f);N_GUARD::S(C),XS(f)
        • S(f);N_GUARD::S(C)
        • S(h);N_GUARD::R(K),XB(g)
      • Refutation
        • R(c);CHECK,XS(J)
    • Try
      • P(J);
      • Vars
        • R(b);SBLOCK,XS(C)::QAR2(H)
        • R(b);N_GUARD,XP(E)::S(B)
        • R(c);SBLOCK,XS(C)::QAR2(H)
        • B(a);OGATE,P_PINB(I),XP(F)::B(I),XB(a)
        • S(f);N_GUARD,XP(E)::S(C)
        • B(a);N_GUARD::QAR2(H),XB(a)
        • R(c);N_GUARD::S(B)
        • R(b);S_CUTB(a)::QAR2(H)
        • R(b);N_GUARD::S(B),XR(b)
        • R(b);N_GUARD::S(B)
        • R(c);SBLOCK::S(C)
        • R(c);SBLOCK::R1(G)
        • R(c);N_GUARD::S(B),XR(c)
        • B(a);N_GUARD::QAR2(H)
        • B(a);S_CUTR(b)::S(B)
        • S(f);N_GUARD::S(C),XS(f)
        • S(f);N_GUARD::S(C)
        • S(h);N_GUARD::R(K),XB(g)
      • Refutation
        • R(c);CHECK,XB(J)
    • Try
      • P(J);
      • Vars
        • R(b);SBLOCK,XS(C)::QAR2(H)
        • R(b);N_GUARD,XP(E)::S(B)
        • R(c);SBLOCK,XS(C)::QAR2(H)
        • B(a);OGATE,P_PINB(I),XP(F)::B(I),XB(a)
        • S(f);N_GUARD,XP(E)::S(C)
        • B(a);N_GUARD::QAR2(H),XB(a)
        • R(c);N_GUARD::S(B)
        • R(b);S_CUTB(a)::QAR2(H)
        • R(b);N_GUARD::S(B),XR(b)
        • R(b);N_GUARD::S(B)
        • R(c);SBLOCK::S(C)
        • R(c);SBLOCK::R1(G)
        • R(c);N_GUARD::S(B),XR(c)
        • B(a);N_GUARD::QAR2(H)
        • B(a);S_CUTR(b)::S(B)
        • S(f);N_GUARD::S(C),XS(f)
        • S(f);N_GUARD::S(C)
        • S(h);N_GUARD::R(K),XB(g)
      • Refutation
        • R(c);CHECK,XR(J)
  • Actual
    • B(I);P_SPINP(F)
    • Vars
      • B(a);CHECK,SBLOCK,XP(F)::B(I)+R(G)
      • R(b);SBLOCK,XS(C)::QAR2(H)
      • R(b);N_GUARD,XP(E)::S(B)
      • R(c);SBLOCK,XS(C)::QAR2(H)
      • R(c);N_GUARD,XP(J)::S(B)
      • S(f);N_GUARD,XP(E)::S(C)
      • B(a);N_GUARD::QAR2(H),XB(a)
      • R(c);N_GUARD::S(B)
      • R(b);N_PINP(F),S_CUTB(a)::QAR2(H)
      • R(b);N_GUARD::S(B),XR(b)
      • R(b);N_GUARD::S(B)
      • R(c);SBLOCK::S(C)
      • R(c);SBLOCK::B(I)+R(G),DCHECK
      • R(c);N_GUARD::S(B),XR(c)
      • B(a);N_GUARD,N_PINP(F)::QAR2(H)
      • B(a);S_CUTR(b)::S(B)
      • S(f);N_GUARD::S(C),XS(f)
      • S(f);N_GUARD::S(C)
      • S(h);N_GUARD::R(K),XB(g)
HTML5 logo

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