Problem Display
PID: 57604 (8/K2R4/4P3/1p6/1Bb3P1/2Q1pp1B/2P1k2p/R2NNrbr w - - 0 1)

Whalley, JR

Chess Life, 1957

8/K2R4/4P3/1p6/1Bb3P1/2Q1pp1B/2P1k2p/R2NNrbr

#2

11 + 9


SOLUTION


  • SOUND
  • Sets
    • 1...Rxe1
      • 2.Qxe1#
    • 1...Rf2
      • 2.Qxe3#
    • 1...Ba2
      • 2.Qd3#
    • 1...Bb3
      • 2.Qd3#
    • 1...Bd3
      • 2.Qxd3#
    • 1...Bd5
      • 2.Qd3#
    • 1...Bxe6
      • 2.Qd3#
    • 1...f2
      • 2.Qxe3#
  • Tries
    • 1.Ka6?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Kb6?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Kb8?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Bg2?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Bf2
        • 2.Bxf3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Bf3#
        • 2.Qxe3#
      • 1...fxg2!
    • 1.Rb1?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Rc1?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Ra2?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxa2
        • 2.Qd3#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Bb3
        • 2.Qd3#
        • 2.cxb3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Ra3?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Ra4?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...bxa4
        • 2.Qxc4#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Ra5?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Ra6?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Rd2+?
      • 1...Kxe1
        • 2.Sb2#
        • 2.Sf2#
        • 2.Sxe3#
        • 2.Rf2#
        • 2.Rg2#
        • 2.Rxh2#
      • 1...exd2+!
    • 1.Rd4?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Rd5?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxd5
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Rd6?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Rb7?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Rc7?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Re7?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Rf7?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Rg7?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Rh7?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Rd8?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
    • 1.Qd4?
      • 1...Bxe6
        • 2.Qd3#
      • 1...Bf2
        • 2.Sc3#
      • 1...Rf2
        • 2.Sc3#
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Sc3#
        • 2.Qxe3#
      • 1...Rxe1!
    • 1.g5?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Bxe6
        • 2.Qd3#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...f2
        • 2.Bg4#
        • 2.Qxe3#
      • 1...Bf2!
    • 1.e7?
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rf2
        • 2.Qxe3#
      • 1...Ba2
        • 2.Qd3#
      • 1...Bb3
        • 2.Qd3#
      • 1...Bd3
        • 2.Qxd3#
      • 1...Bd5
        • 2.Qd3#
      • 1...Be6
        • 2.Qd3#
      • 1...Bf7
        • 2.Qd3#
      • 1...Bg8
        • 2.Qd3#
      • 1...f2
        • 2.Qxe3#
      • 1...Bf2!
  • Keys
    • 1.Qb2!
      • 1...Rxe1
        • 2.c3#
      • 1...Bxe6
        • 2.c4#
      • 1...Bf2
        • 2.Sc3#
      • 1...Rf2
        • 2.Sc3#
      • 1...Ba2
        • 2.c4#
      • 1...Bb3
        • 2.cxb3#
      • 1...Bd3
        • 2.cxd3#
      • 1...Bd5
        • 2.c4#
      • 1...f2
        • 2.Sc3#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 8
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • R(a);OGATE,XS(C)::QAR1(E),XR(a)
    • R(a);S_CUTB(b)::QAR1(E),XP(f)
    • B(h);N_GUARD::QAB1(E)
    • B(h);N_GUARD::QAB1(E),XB(h)
    • B(h);N_GUARD,XP(I)::QAB1(E)
    • P(g);S_CUTB(b)::QAR1(E),XP(f)
  • Tries
    • Try
      • K(J);P-FLIGHT
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • K(J);S_FLIGHT
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • K(J);S_FLIGHT
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • B(F);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • B(b);S_CUTR(a)::B(F),XP(g)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
      • Refutation
        • P(g);XB(F)
    • Try
      • R(A);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(A);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(A);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XR(A)::QAB1(E)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • B(h);N_GUARD::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(A);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • B(h);N_GUARD::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(A);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • P(i);N_GUARD,XR(A)::QAB(E),XB(h)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • B(h);N_GUARD::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(A);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • B(h);N_GUARD::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(A);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • B(h);N_GUARD::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(K);CHECK
      • Refutation
        • P(f);CHECK,XR(K)
    • Try
      • R(K);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(K);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XR(K)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(K);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(K);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(K);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(K);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(K);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(K);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(K);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • R(K);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
    • Try
      • Q(E);
      • Vars
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • B(b);SBLOCK::S(B)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
      • Refutation
        • R(a);XS(C)
    • Try
      • P(H);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • B(h);N_GUARD,XP(I)::QAB1(E)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
      • Refutation
        • B(b);
    • Try
      • P(I);
      • Vars
        • R(a);OGATE,XS(C)::QAR1(E),XR(a)
        • R(a);S_CUTB(b)::QAR1(E),XP(f)
        • B(h);N_GUARD::QAB1(E)
        • B(h);N_GUARD::QAB1(E),XB(h)
        • P(g);S_CUTB(b)::QAR1(E),XP(f)
      • Refutation
        • B(b);
  • Actual
    • Q(E);
    • Vars
      • R(a);SBLOCK,XS(C)::QAR(E)+P(D)
      • B(h);OGATE,XP(I)::QAR(E)+P(D)
      • B(b);SBLOCK::S(B)
      • R(a);SBLOCK::S(B)
      • B(h);OGATE::QAR(E)+P(D)
      • B(h);OGATE::QAR(E)+P(D),XB(h)
      • P(g);SBLOCK::S(B)


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