Problem Display
PID: 9380 (1K6/7P/5R2/2p3pr/2P1k2n/2Q4N/1B1P4/4rb1n w - - 0 1)

Blake, Percy Francis

Bolton Football and Field, 1902

1K6/7P/5R2/2p3pr/2P1k2n/2Q4N/1B1P4/4rb1n

#2

8 + 8


SOLUTION


  • SOUND
  • Sets
    • 1...Ra1
      • 2.Qe3#
    • 1...Rb1
      • 2.Qe3#
    • 1...Rc1
      • 2.Qe3#
    • 1...Rd1
      • 2.Qe3#
    • 1...Re2
      • 2.Qc2#
    • 1...Re3
      • 2.Qxe3#
    • 1...Rh6
      • 2.Sxg5#
    • 1...Rxh7
      • 2.Sxg5#
    • 1...Be2
      • 2.Qe3#
    • 1...Bg2
      • 2.Qc2#
    • 1...Bd3
      • 2.Qe5#
    • 1...Bxh3
      • 2.Qc2#
    • 1...Bxc4
      • 2.Qxc4#
    • 1...Sf2
      • 2.Sxf2#
    • 1...Sg3
      • 2.Sf2#
    • 1...Sg2
      • 2.Qf3#
    • 1...Sf3
      • 2.Qxf3#
    • 1...Sf5
      • 2.Re6#
    • 1...Sg6
      • 2.Qf3#
    • 1...g4
      • 2.Rf4#
  • Tries
    • 1.Kb7?
      • 1...Bxh3
        • 2.Qc2#
      • 1...Bxc4
        • 2.Qxc4#
      • 1...Ra1
        • 2.Qe3#
      • 1...Rb1
        • 2.Qe3#
      • 1...Rc1
        • 2.Qe3#
      • 1...Rd1
        • 2.Qe3#
      • 1...Re2
        • 2.Qc2#
      • 1...Re3
        • 2.Qxe3#
      • 1...Rh6
        • 2.Sxg5#
      • 1...Be2
        • 2.Qe3#
      • 1...Bg2
        • 2.Qc2#
      • 1...Bd3
        • 2.Qe5#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sg3
        • 2.Sf2#
      • 1...Sg2
        • 2.Qf3#
      • 1...Sf3
        • 2.Qxf3#
      • 1...Sf5
        • 2.Re6#
      • 1...Sg6
        • 2.Qf3#
      • 1...g4
        • 2.Rf4#
      • 1...Rxh7+!
    • 1.Kc7?
      • 1...Bxh3
        • 2.Qc2#
      • 1...Bxc4
        • 2.Qxc4#
      • 1...Ra1
        • 2.Qe3#
      • 1...Rb1
        • 2.Qe3#
      • 1...Rc1
        • 2.Qe3#
      • 1...Rd1
        • 2.Qe3#
      • 1...Re2
        • 2.Qc2#
      • 1...Re3
        • 2.Qxe3#
      • 1...Rh6
        • 2.Sxg5#
      • 1...Be2
        • 2.Qe3#
      • 1...Bg2
        • 2.Qc2#
      • 1...Bd3
        • 2.Qe5#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sg3
        • 2.Sf2#
      • 1...Sg2
        • 2.Qf3#
      • 1...Sf3
        • 2.Qxf3#
      • 1...Sf5
        • 2.Re6#
      • 1...Sg6
        • 2.Qf3#
      • 1...g4
        • 2.Rf4#
      • 1...Rxh7+!
    • 1.Ka8?
      • 1...Rxh7
        • 2.Sxg5#
      • 1...Bxh3
        • 2.Qc2#
      • 1...Bxc4
        • 2.Qxc4#
      • 1...Rb1
        • 2.Qe3#
      • 1...Rc1
        • 2.Qe3#
      • 1...Rd1
        • 2.Qe3#
      • 1...Re2
        • 2.Qc2#
      • 1...Re3
        • 2.Qxe3#
      • 1...Rh6
        • 2.Sxg5#
      • 1...Be2
        • 2.Qe3#
      • 1...Bg2
        • 2.Qc2#
      • 1...Bd3
        • 2.Qe5#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sg3
        • 2.Sf2#
      • 1...Sg2
        • 2.Qf3#
      • 1...Sf3
        • 2.Qxf3#
      • 1...Sf5
        • 2.Re6#
      • 1...Sg6
        • 2.Qf3#
      • 1...g4
        • 2.Rf4#
      • 1...Ra1+!
    • 1.Kc8?
      • 1...Rxh7
        • 2.Sxg5#
      • 1...Bxc4
        • 2.Qxc4#
      • 1...Ra1
        • 2.Qe3#
      • 1...Rb1
        • 2.Qe3#
      • 1...Rc1
        • 2.Qe3#
      • 1...Rd1
        • 2.Qe3#
      • 1...Re2
        • 2.Qc2#
      • 1...Re3
        • 2.Qxe3#
      • 1...Rh6
        • 2.Sxg5#
      • 1...Be2
        • 2.Qe3#
      • 1...Bg2
        • 2.Qc2#
      • 1...Bd3
        • 2.Qe5#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sg3
        • 2.Sf2#
      • 1...Sg2
        • 2.Qf3#
      • 1...Sf3
        • 2.Qxf3#
      • 1...Sf5
        • 2.Re6#
      • 1...Sg6
        • 2.Qf3#
      • 1...g4
        • 2.Rf4#
      • 1...Bxh3+!
    • 1.Ba1?
      • 1...Rxa1
        • 2.Qe3#
      • 1...Rxh7
        • 2.Sxg5#
      • 1...Bxh3
        • 2.Qc2#
      • 1...Bxc4
        • 2.Qxc4#
      • 1...Rc1
        • 2.Qe3#
      • 1...Rd1
        • 2.Qe3#
      • 1...Re2
        • 2.Qc2#
      • 1...Re3
        • 2.Qxe3#
      • 1...Rh6
        • 2.Sxg5#
      • 1...Be2
        • 2.Qe3#
      • 1...Bg2
        • 2.Qc2#
      • 1...Bd3
        • 2.Qe5#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sg3
        • 2.Sf2#
      • 1...Sg2
        • 2.Qf3#
      • 1...Sf3
        • 2.Qxf3#
      • 1...Sf5
        • 2.Re6#
      • 1...Sg6
        • 2.Qf3#
      • 1...g4
        • 2.Rf4#
      • 1...Rb1+!
    • 1.Rf7?
      • 1...Rxh7
        • 2.Sxg5#
      • 1...Bxh3
        • 2.Qc2#
      • 1...Bxc4
        • 2.Qxc4#
      • 1...Ra1
        • 2.Qe3#
      • 1...Rb1
        • 2.Qe3#
      • 1...Rc1
        • 2.Qe3#
      • 1...Rd1
        • 2.Qe3#
      • 1...Re2
        • 2.Qc2#
      • 1...Re3
        • 2.Qxe3#
      • 1...Rh6
        • 2.Sxg5#
      • 1...Be2
        • 2.Qe3#
      • 1...Bg2
        • 2.Qc2#
      • 1...Bd3
        • 2.Qe5#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sg3
        • 2.Sf2#
      • 1...Sg2
        • 2.Qf3#
      • 1...Sf3
        • 2.Qxf3#
      • 1...Sg6
        • 2.Qf3#
      • 1...g4
        • 2.Rf4#
      • 1...Sf5!
    • 1.Rf8?
      • 1...Rxh7
        • 2.Sxg5#
      • 1...Bxh3
        • 2.Qc2#
      • 1...Bxc4
        • 2.Qxc4#
      • 1...Ra1
        • 2.Qe3#
      • 1...Rb1
        • 2.Qe3#
      • 1...Rc1
        • 2.Qe3#
      • 1...Rd1
        • 2.Qe3#
      • 1...Re2
        • 2.Qc2#
      • 1...Re3
        • 2.Qxe3#
      • 1...Rh6
        • 2.Sxg5#
      • 1...Be2
        • 2.Qe3#
      • 1...Bg2
        • 2.Qc2#
      • 1...Bd3
        • 2.Qe5#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sg3
        • 2.Sf2#
      • 1...Sg2
        • 2.Qf3#
      • 1...Sf3
        • 2.Qxf3#
      • 1...Sg6
        • 2.Qf3#
      • 1...g4
        • 2.Rf4#
      • 1...Sf5!
    • 1.Qg3?
      • 1...Rxh7
        • 2.Sxg5#
      • 1...Bxh3
        • 2.d3#
      • 1...Sxg3
        • 2.Sf2#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf3
        • 2.Qxf3#
      • 1...Bd3
        • 2.Qe5#
        • 2.Qg4#
      • 1...Ra1
        • 2.Qe3#
      • 1...Rb1
        • 2.Qe3#
      • 1...Rc1
        • 2.Qe3#
      • 1...Rd1
        • 2.Qe3#
      • 1...Re2
        • 2.d3#
      • 1...Rh6
        • 2.Sxg5#
      • 1...Be2
        • 2.Qe3#
      • 1...Bg2
        • 2.d3#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sg2
        • 2.Qf3#
      • 1...Sf5
        • 2.Re6#
      • 1...Sg6
        • 2.Qf3#
      • 1...g4
        • 2.Rf4#
      • 1...Bxc4!
    • 1.d3+?
      • 1...Bxd3
        • 2.Qe5#
      • 1...Ke3!
    • 1.h8Q?
      • threat
        • 2.Qe8#
      • 1...Bxh3
        • 2.Qc2#
      • 1...Bxc4
        • 2.Qxc4#
      • 1...Rh7
        • 2.Sxg5#
      • 1...Sf3
        • 2.Qxf3#
      • 1...Sf5
        • 2.Re6#
      • 1...Sg6
        • 2.Qf3#
      • 1...g4
        • 2.Rf4#
      • 1...Rxh8+!
    • 1.h8S?
      • 1...Bxh3
        • 2.Qc2#
      • 1...Bxc4
        • 2.Qxc4#
      • 1...Bd3
        • 2.Qe5#
      • 1...Ra1
        • 2.Qe3#
      • 1...Rb1
        • 2.Qe3#
      • 1...Rc1
        • 2.Qe3#
      • 1...Rd1
        • 2.Qe3#
      • 1...Re2
        • 2.Qc2#
      • 1...Re3
        • 2.Qxe3#
      • 1...Rh6
        • 2.Sxg5#
      • 1...Rh7
        • 2.Sxg5#
      • 1...Be2
        • 2.Qe3#
      • 1...Bg2
        • 2.Qc2#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sg3
        • 2.Sf2#
      • 1...Sg2
        • 2.Qf3#
      • 1...Sf3
        • 2.Qxf3#
      • 1...Sf5
        • 2.Re6#
      • 1...Sg6
        • 2.Qf3#
      • 1...g4
        • 2.Rf4#
      • 1...Rxh8+!
    • 1.h8B?
      • 1...Bxh3
        • 2.Qc2#
      • 1...Bxc4
        • 2.Qxc4#
      • 1...Bd3
        • 2.Qe5#
      • 1...Ra1
        • 2.Qe3#
      • 1...Rb1
        • 2.Qe3#
      • 1...Rc1
        • 2.Qe3#
      • 1...Rd1
        • 2.Qe3#
      • 1...Re2
        • 2.Qc2#
      • 1...Re3
        • 2.Qxe3#
      • 1...Rh6
        • 2.Sxg5#
      • 1...Rh7
        • 2.Sxg5#
      • 1...Be2
        • 2.Qe3#
      • 1...Bg2
        • 2.Qc2#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sg3
        • 2.Sf2#
      • 1...Sg2
        • 2.Qf3#
      • 1...Sf3
        • 2.Qxf3#
      • 1...Sf5
        • 2.Re6#
      • 1...Sg6
        • 2.Qf3#
      • 1...g4
        • 2.Rf4#
      • 1...Rxh8+!
    • 1.h8R?
      • threat
        • 2.Re8#
      • 1...Bxh3
        • 2.Qc2#
      • 1...Bxc4
        • 2.Qxc4#
      • 1...Rh7
        • 2.Sxg5#
      • 1...Sf3
        • 2.Qxf3#
      • 1...Sf5
        • 2.Re6#
      • 1...Sg6
        • 2.Qf3#
      • 1...g4
        • 2.Rf4#
      • 1...Rxh8+!
  • Keys
    • 1.Qb3!
      • 1...Rxh7
        • 2.Sxg5#
      • 1...Bxh3
        • 2.Qc2#
      • 1...Bxc4
        • 2.Qxc4#
      • 1...Bd3
        • 2.Qb7#
      • 1...Ra1
        • 2.Qe3#
      • 1...Rb1
        • 2.Qe3#
      • 1...Rc1
        • 2.Qe3#
      • 1...Rd1
        • 2.Qe3#
      • 1...Re2
        • 2.Qc2#
      • 1...Re3
        • 2.Qxe3#
      • 1...Rh6
        • 2.Sxg5#
      • 1...Be2
        • 2.Qe3#
      • 1...Bg2
        • 2.Qc2#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sg3
        • 2.Sf2#
      • 1...Sg2
        • 2.Qf3#
      • 1...Sf3
        • 2.Qxf3#
      • 1...Sf5
        • 2.Re6#
      • 1...Sg6
        • 2.Qf3#
      • 1...g4
        • 2.Rf4#

FEATURES


  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • R(a);N_GUARD::QAR1(C)
    • R(a);N_GUARD,P_PINB(A)::QAR1(C)
    • R(a);S_CUTB(b)::QAB(C)
    • R(a);N_GUARD::QAR1(C),XR(a)
    • R(h);N_GUARD::S(D),XP(g)
    • R(h);N_GUARD,XP(G)::S(D),XP(g)
    • B(b);S_CUTR(a)::QAR1(C)
    • B(b);N_GUARD::QAB(C)
    • B(b);SBLOCK::QAR1(C)
    • B(b);N_GUARD,XS(D)::QAB(C)
    • B(b);OGATE,XP(E)::QAR2(C),XB(b)
    • S(c);N_GUARD::S(D),XS(c)
    • S(c);N_GUARD::S(D)
    • S(e);N_GUARD::QAB1(C)
    • S(e);N_GUARD::QAB1(C),XS(e)
    • S(e);SBLOCK::R(F)
    • P(g);N_GUARD::R1(F)
  • Tries
    • Try
      • K(H);P-FLIGHT
      • Vars
        • B(b);N_GUARD,XS(D)::QAB(C)
        • B(b);OGATE,XP(E)::QAR2(C),XB(b)
        • R(a);N_GUARD::QAR1(C)
        • R(a);N_GUARD,P_PINB(A)::QAR1(C)
        • R(a);S_CUTB(b)::QAB(C)
        • R(a);N_GUARD::QAR1(C),XR(a)
        • R(h);N_GUARD::S(D),XP(g)
        • B(b);S_CUTR(a)::QAR1(C)
        • B(b);N_GUARD::QAB(C)
        • B(b);SBLOCK::QAR1(C)
        • S(c);N_GUARD::S(D),XS(c)
        • S(c);N_GUARD::S(D)
        • S(e);N_GUARD::QAB1(C)
        • S(e);N_GUARD::QAB1(C),XS(e)
        • S(e);SBLOCK::R(F)
        • P(g);N_GUARD::R1(F)
      • Refutation
        • R(h);CHECK,XP(G)
    • Try
      • K(H);S_FLIGHT
      • Vars
        • B(b);N_GUARD,XS(D)::QAB(C)
        • B(b);OGATE,XP(E)::QAR2(C),XB(b)
        • R(a);N_GUARD::QAR1(C)
        • R(a);S_CUTB(b)::QAB(C)
        • R(a);N_GUARD::QAR1(C),XR(a)
        • R(h);N_GUARD::S(D),XP(g)
        • B(b);S_CUTR(a)::QAR1(C)
        • B(b);N_GUARD::QAB(C)
        • B(b);SBLOCK::QAR1(C)
        • S(c);N_GUARD::S(D),XS(c)
        • S(c);N_GUARD::S(D)
        • S(e);N_GUARD::QAB1(C)
        • S(e);N_GUARD::QAB1(C),XS(e)
        • S(e);SBLOCK::R(F)
        • P(g);N_GUARD::R1(F)
      • Refutation
        • R(h);CHECK,XP(G)
    • Try
      • K(H);P-FLIGHT
      • Vars
        • R(h);N_GUARD,XP(G)::S(D),XP(g)
        • B(b);N_GUARD,XS(D)::QAB(C)
        • B(b);OGATE,XP(E)::QAR2(C),XB(b)
        • R(a);N_GUARD::QAR1(C)
        • R(a);S_CUTB(b)::QAB(C)
        • R(a);N_GUARD::QAR1(C),XR(a)
        • R(h);N_GUARD::S(D),XP(g)
        • B(b);S_CUTR(a)::QAR1(C)
        • B(b);N_GUARD::QAB(C)
        • B(b);SBLOCK::QAR1(C)
        • S(c);N_GUARD::S(D),XS(c)
        • S(c);N_GUARD::S(D)
        • S(e);N_GUARD::QAB1(C)
        • S(e);N_GUARD::QAB1(C),XS(e)
        • S(e);SBLOCK::R(F)
        • P(g);N_GUARD::R1(F)
      • Refutation
        • R(a);CHECK
    • Try
      • K(H);P-FLIGHT
      • Vars
        • R(h);N_GUARD,XP(G)::S(D),XP(g)
        • B(b);OGATE,XP(E)::QAR2(C),XB(b)
        • R(a);N_GUARD::QAR1(C)
        • R(a);S_CUTB(b)::QAB(C)
        • R(a);N_GUARD::QAR1(C),XR(a)
        • R(h);N_GUARD::S(D),XP(g)
        • B(b);S_CUTR(a)::QAR1(C)
        • B(b);N_GUARD::QAB(C)
        • B(b);SBLOCK::QAR1(C)
        • S(c);N_GUARD::S(D),XS(c)
        • S(c);N_GUARD::S(D)
        • S(e);N_GUARD::QAB1(C)
        • S(e);N_GUARD::QAB1(C),XS(e)
        • S(e);SBLOCK::R(F)
        • P(g);N_GUARD::R1(F)
      • Refutation
        • B(b);CHECK,XS(D)
    • Try
      • B(A);
      • Vars
        • R(a);N_GUARD,XB(A)::QAR1(C)
        • R(h);N_GUARD,XP(G)::S(D),XP(g)
        • B(b);N_GUARD,XS(D)::QAB(C)
        • B(b);OGATE,XP(E)::QAR2(C),XB(b)
        • R(a);N_GUARD::QAR1(C)
        • R(a);S_CUTB(b)::QAB(C)
        • R(a);N_GUARD::QAR1(C),XR(a)
        • R(h);N_GUARD::S(D),XP(g)
        • B(b);S_CUTR(a)::QAR1(C)
        • B(b);N_GUARD::QAB(C)
        • B(b);SBLOCK::QAR1(C)
        • S(c);N_GUARD::S(D),XS(c)
        • S(c);N_GUARD::S(D)
        • S(e);N_GUARD::QAB1(C)
        • S(e);N_GUARD::QAB1(C),XS(e)
        • S(e);SBLOCK::R(F)
        • P(g);N_GUARD::R1(F)
      • Refutation
        • R(a);CHECK
    • Try
      • R(F);
      • Vars
        • R(h);N_GUARD,XP(G)::S(D),XP(g)
        • B(b);N_GUARD,XS(D)::QAB(C)
        • B(b);OGATE,XP(E)::QAR2(C),XB(b)
        • R(a);N_GUARD::QAR1(C)
        • R(a);N_GUARD,P_PINB(A)::QAR1(C)
        • R(a);S_CUTB(b)::QAB(C)
        • R(a);N_GUARD::QAR1(C),XR(a)
        • R(h);N_GUARD::S(D),XP(g)
        • B(b);S_CUTR(a)::QAR1(C)
        • B(b);N_GUARD::QAB(C)
        • B(b);SBLOCK::QAR1(C)
        • S(c);N_GUARD::S(D),XS(c)
        • S(c);N_GUARD::S(D)
        • S(e);N_GUARD::QAB1(C)
        • S(e);N_GUARD::QAB1(C),XS(e)
        • P(g);N_GUARD::R1(F)
      • Refutation
        • S(e);
    • Try
      • R(F);
      • Vars
        • R(h);N_GUARD,XP(G)::S(D),XP(g)
        • B(b);N_GUARD,XS(D)::QAB(C)
        • B(b);OGATE,XP(E)::QAR2(C),XB(b)
        • R(a);N_GUARD::QAR1(C)
        • R(a);N_GUARD,P_PINB(A)::QAR1(C)
        • R(a);S_CUTB(b)::QAB(C)
        • R(a);N_GUARD::QAR1(C),XR(a)
        • R(h);N_GUARD::S(D),XP(g)
        • B(b);S_CUTR(a)::QAR1(C)
        • B(b);N_GUARD::QAB(C)
        • B(b);SBLOCK::QAR1(C)
        • S(c);N_GUARD::S(D),XS(c)
        • S(c);N_GUARD::S(D)
        • S(e);N_GUARD::QAB1(C)
        • S(e);N_GUARD::QAB1(C),XS(e)
        • P(g);N_GUARD::R1(F)
      • Refutation
        • S(e);
    • Try
      • Q(C);
      • Vars
        • R(h);N_GUARD,XP(G)::S(D),XP(g)
        • B(b);N_GUARD,XS(D)::P(B)
        • S(c);N_GUARD,XQ(C)::S(D)
        • R(a);N_GUARD::QAR1(C),XR(a)
        • S(e);N_GUARD::QAB1(C),XS(e)
        • R(a);N_GUARD::QAR1(C)
        • R(a);N_GUARD,P_PINB(A)::QAR1(C)
        • R(a);S_CUTB(b)::P(B)
        • R(h);N_GUARD::S(D),XP(g)
        • B(b);S_CUTR(a)::QAR1(C)
        • B(b);N_GUARD::P(B)
        • S(c);N_GUARD::S(D),XS(c)
        • S(e);N_GUARD::QAB1(C)
        • S(e);SBLOCK::R(F)
        • P(g);N_GUARD::R1(F)
      • Refutation
        • B(b);XP(E)
    • Try
      • P(B);CHECK
      • Vars
        • B(b);SBLOCK,XP(B)::QAR1(C)
      • Refutation
        • K(d);P-FLIGHT
    • Try
      • P(G);
      • Threat
        • QAR(G)
      • Vars
        • B(b);N_GUARD,XS(D)::QAB(C)
        • B(b);OGATE,XP(E)::QAR2(C),XB(b)
        • R(h);N_GUARD::S(D),XP(g)
        • S(e);N_GUARD::QAB1(C),XS(e)
        • S(e);SBLOCK::R(F)
        • S(e);N_GUARD::QAB1(C)
        • P(g);N_GUARD::R1(F)
      • Refutation
        • R(h);CHECK,XQ(G)
    • Try
      • P(G);
      • Vars
        • B(b);N_GUARD,XS(D)::QAB(C)
        • B(b);OGATE,XP(E)::QAR2(C),XB(b)
        • B(b);SBLOCK::QAR1(C)
        • R(a);N_GUARD::QAR1(C)
        • R(a);N_GUARD,P_PINB(A)::QAR1(C)
        • R(a);S_CUTB(b)::QAB(C)
        • R(a);N_GUARD::QAR1(C),XR(a)
        • R(h);N_GUARD::S(D),XP(g)
        • B(b);S_CUTR(a)::QAR1(C)
        • B(b);N_GUARD::QAB(C)
        • S(c);N_GUARD::S(D),XS(c)
        • S(c);N_GUARD::S(D)
        • S(e);N_GUARD::QAB1(C)
        • S(e);N_GUARD::QAB1(C),XS(e)
        • S(e);SBLOCK::R(F)
        • P(g);N_GUARD::R1(F)
      • Refutation
        • R(h);CHECK,XS(G)
    • Try
      • P(G);
      • Vars
        • B(b);N_GUARD,XS(D)::QAB(C)
        • B(b);OGATE,XP(E)::QAR2(C),XB(b)
        • B(b);SBLOCK::QAR1(C)
        • R(a);N_GUARD::QAR1(C)
        • R(a);N_GUARD,P_PINB(A)::QAR1(C)
        • R(a);S_CUTB(b)::QAB(C)
        • R(a);N_GUARD::QAR1(C),XR(a)
        • R(h);N_GUARD::S(D),XP(g)
        • B(b);S_CUTR(a)::QAR1(C)
        • B(b);N_GUARD::QAB(C)
        • S(c);N_GUARD::S(D),XS(c)
        • S(c);N_GUARD::S(D)
        • S(e);N_GUARD::QAB1(C)
        • S(e);N_GUARD::QAB1(C),XS(e)
        • S(e);SBLOCK::R(F)
        • P(g);N_GUARD::R1(F)
      • Refutation
        • R(h);CHECK,XB(G)
    • Try
      • P(G);
      • Threat
        • R(G)
      • Vars
        • B(b);N_GUARD,XS(D)::QAB(C)
        • B(b);OGATE,XP(E)::QAR2(C),XB(b)
        • R(h);N_GUARD::S(D),XP(g)
        • S(e);N_GUARD::QAB1(C),XS(e)
        • S(e);SBLOCK::R(F)
        • S(e);N_GUARD::QAB1(C)
        • P(g);N_GUARD::R1(F)
      • Refutation
        • R(h);CHECK,XR(G)
  • Actual
    • Q(C);
    • Vars
      • R(h);N_GUARD,XP(G)::S(D),XP(g)
      • B(b);N_GUARD,XS(D)::QAB(C)
      • B(b);OGATE,XP(E)::QAR2(C),XB(b)
      • B(b);SBLOCK::QAB(C)
      • R(a);N_GUARD::QAR1(C)
      • R(a);S_CUTB(b)::QAB(C)
      • R(a);N_GUARD::QAR1(C),XR(a)
      • R(h);N_GUARD::S(D),XP(g)
      • B(b);S_CUTR(a)::QAR1(C)
      • B(b);N_GUARD::QAB(C)
      • S(c);N_GUARD::S(D),XS(c)
      • S(c);N_GUARD::S(D)
      • S(e);N_GUARD::QAB1(C)
      • S(e);N_GUARD::QAB1(C),XS(e)
      • S(e);SBLOCK::R(F)
      • P(g);N_GUARD::R1(F)


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