MESON Chess Problem Database

Problem Display
PID: 151813 (3N1n2/1p6/2qp1p2/1np2R2/pr1kp3/P3N3/3BK2Q/2R5 w - - 0 1)

Henriksen, Thorleif Cammillo

Good Companions (December), 1914

3N1n2/1p6/2qp1p2/1np2R2/pr1kp3/P3N3/3BK2Q/2R5

#2

8 + 11

SOLUTION

  • SOUND
  • Sets
    • 1...Qd5
      • 2.Rxd5#
    • 1...Qd7
      • 2.Rd5#
    • 1...Qe8
      • 2.Rd5#
    • 1...Qa6
      • 2.Rd5#
    • 1...Qb6
      • 2.Rd5#
    • 1...Qc7
      • 2.Rd5#
    • 1...Qc8
      • 2.Rd5#
    • 1...Rb1
      • 2.Rc4#
    • 1...Rb2
      • 2.Rc4#
    • 1...Rb3
      • 2.Rc4#
    • 1...Rc4
      • 2.Rxc4#
    • 1...Sxa3
      • 2.Bc3#
    • 1...Sc3+
      • 2.Bxc3#
    • 1...Sa7
      • 2.Bc3#
    • 1...Sc7
      • 2.Bc3#
    • 1...Se6
      • 2.Sxe6#
    • 1...Sg6
      • 2.Se6#
    • 1...Sd7
      • 2.Se6#
    • 1...Sh7
      • 2.Se6#
    • 1...c4
      • 2.Sc2#
    • 1...b6
      • 2.Sxc6#
  • Tries
    • 1.Be1?
      • threat
        • 2.Rd1#
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Rb1
        • 2.Rc4#
      • 1...Rb3
        • 2.Rc4#
      • 1...Rb2+!
    • 1.Bxb4?
      • threat
        • 2.Rd1#
        • 2.Rc4#
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Sxa3
        • 2.Bc3#
        • 2.Rd1#
      • 1...Qd5
        • 2.Rd1#
        • 2.Rxd5#
      • 1...c4
        • 2.Sc2#
        • 2.Rd1#
      • 1...d5
        • 2.Rd1#
      • 1...cxb4!
    • 1.Rh5?
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Se6
        • 2.Sxe6#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qd7
        • 2.Rd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Qa6
        • 2.Rd5#
      • 1...Qb6
        • 2.Rd5#
      • 1...Qc7
        • 2.Rd5#
      • 1...Qc8
        • 2.Rd5#
      • 1...Rb1
        • 2.Rc4#
      • 1...Rb2
        • 2.Rc4#
      • 1...Rb3
        • 2.Rc4#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...c4
        • 2.Sc2#
      • 1...d5
        • 2.Sf5#
      • 1...b6
        • 2.Sxc6#
      • 1...f5!
    • 1.Qg1?
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qd7
        • 2.Rd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Qa6
        • 2.Rd5#
      • 1...Qb6
        • 2.Rd5#
      • 1...Qc7
        • 2.Rd5#
      • 1...Qc8
        • 2.Rd5#
      • 1...Rb1
        • 2.Rc4#
      • 1...Rb2
        • 2.Rc4#
      • 1...Rb3
        • 2.Rc4#
      • 1...Rc4
        • 2.Sc2#
        • 2.Rxc4#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...c4
        • 2.Sc2#
      • 1...b6
        • 2.Sxc6#
      • 1...d5!
    • 1.Qg3?
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qd7
        • 2.Rd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Qa6
        • 2.Rd5#
      • 1...Qb6
        • 2.Rd5#
      • 1...Qc7
        • 2.Rd5#
      • 1...Qc8
        • 2.Rd5#
      • 1...Rb1
        • 2.Rc4#
      • 1...Rb2
        • 2.Rc4#
      • 1...Rb3
        • 2.Rc4#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...c4
        • 2.Sc2#
      • 1...b6
        • 2.Sxc6#
      • 1...d5!
    • 1.Qf4?
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qd7
        • 2.Rd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Qa6
        • 2.Rd5#
      • 1...Qb6
        • 2.Rd5#
      • 1...Qc7
        • 2.Rd5#
      • 1...Qc8
        • 2.Rd5#
      • 1...Rb1
        • 2.Rc4#
      • 1...Rb2
        • 2.Rc4#
      • 1...Rb3
        • 2.Rc4#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...c4
        • 2.Sc2#
      • 1...b6
        • 2.Sxc6#
      • 1...d5!
    • 1.Qxd6+?
      • 1...Qd5
        • 2.Rxd5#
        • 2.Qxd5#
      • 1...Sxd6
        • 2.Bc3#
      • 1...Qxd6!
    • 1.Qh1?
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qd7
        • 2.Rd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Qa6
        • 2.Rd5#
      • 1...Qb6
        • 2.Rd5#
      • 1...Qc7
        • 2.Rd5#
      • 1...Qc8
        • 2.Rd5#
      • 1...Rb1
        • 2.Rc4#
      • 1...Rb2
        • 2.Rc4#
      • 1...Rb3
        • 2.Rc4#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...c4
        • 2.Sc2#
      • 1...b6
        • 2.Sxc6#
      • 1...d5!
    • 1.Qf2?
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qd7
        • 2.Rd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Qa6
        • 2.Rd5#
      • 1...Qb6
        • 2.Rd5#
      • 1...Qc7
        • 2.Rd5#
      • 1...Qc8
        • 2.Rd5#
      • 1...Rb1
        • 2.Rc4#
      • 1...Rb2
        • 2.Rc4#
      • 1...Rb3
        • 2.Rc4#
      • 1...Rc4
        • 2.Sc2#
        • 2.Rxc4#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...c4
        • 2.Sc2#
      • 1...b6
        • 2.Sxc6#
      • 1...d5!
    • 1.Qg2?
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qd7
        • 2.Rd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Qa6
        • 2.Rd5#
      • 1...Qb6
        • 2.Rd5#
      • 1...Qc7
        • 2.Rd5#
      • 1...Qc8
        • 2.Rd5#
      • 1...Rb1
        • 2.Rc4#
      • 1...Rb2
        • 2.Rc4#
      • 1...Rb3
        • 2.Rc4#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...c4
        • 2.Sc2#
      • 1...b6
        • 2.Sxc6#
      • 1...d5!
    • 1.Qh3?
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qd7
        • 2.Rd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Qa6
        • 2.Rd5#
      • 1...Qb6
        • 2.Rd5#
      • 1...Qc7
        • 2.Rd5#
      • 1...Qc8
        • 2.Rd5#
      • 1...Rb1
        • 2.Rc4#
      • 1...Rb2
        • 2.Rc4#
      • 1...Rb3
        • 2.Rc4#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...c4
        • 2.Sc2#
      • 1...b6
        • 2.Sxc6#
      • 1...d5!
    • 1.Qh4?
      • threat
        • 2.Qxf6#
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...d5!
    • 1.Qh5?
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qd7
        • 2.Rd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Qa6
        • 2.Rd5#
      • 1...Qb6
        • 2.Rd5#
      • 1...Qc7
        • 2.Rd5#
      • 1...Qc8
        • 2.Rd5#
      • 1...Rb1
        • 2.Rc4#
      • 1...Rb2
        • 2.Rc4#
      • 1...Rb3
        • 2.Rc4#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...c4
        • 2.Sc2#
      • 1...b6
        • 2.Sxc6#
      • 1...d5!
    • 1.Qh6?
      • threat
        • 2.Qxf6#
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...d5!
    • 1.Qh7?
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Sxh7
        • 2.Se6#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qd7
        • 2.Rd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Qa6
        • 2.Rd5#
      • 1...Qb6
        • 2.Rd5#
      • 1...Qc7
        • 2.Rd5#
      • 1...Qc8
        • 2.Rd5#
      • 1...Rb1
        • 2.Rc4#
      • 1...Rb2
        • 2.Rc4#
      • 1...Rb3
        • 2.Rc4#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...c4
        • 2.Sc2#
      • 1...b6
        • 2.Sxc6#
      • 1...d5!
    • 1.Qh8?
      • threat
        • 2.Qxf6#
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...d5!
  • Keys
    • 1.Rg5!
      • 1...Sc3+
        • 2.Bxc3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...fxg5
        • 2.Qh8#
      • 1...Se6
        • 2.Sxe6#
      • 1...Qd5
        • 2.Rxd5#
      • 1...Qd7
        • 2.Rd5#
      • 1...Qe8
        • 2.Rd5#
      • 1...Qa6
        • 2.Rd5#
      • 1...Qb6
        • 2.Rd5#
      • 1...Qc7
        • 2.Rd5#
      • 1...Qc8
        • 2.Rd5#
      • 1...Rb1
        • 2.Rc4#
      • 1...Rb2
        • 2.Rc4#
      • 1...Rb3
        • 2.Rc4#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Sg6
        • 2.Se6#
      • 1...Sd7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...c4
        • 2.Sc2#
      • 1...d5
        • 2.Sf5#
      • 1...f5
        • 2.Qh8#
      • 1...b6
        • 2.Sxc6#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 3
    • REMOVED MATES = 0
  • Sets
    • Q(g);N_GUARD::R1(G),XQ(g)
    • Q(g);N_GUARD::R1(G)
    • R(b);N_GUARD::R1(A)
    • R(b);N_GUARD,P_PINB(B)::R1(A)
    • R(b);N_GUARD::R1(A),XR(b)
    • S(e);N_GUARD,XP(E)::B(B)
    • S(e);CHECK,N_GUARD::B(B),XS(e)
    • S(e);N_GUARD::B(B)
    • S(k);N_GUARD::S(H),XS(k)
    • S(k);N_GUARD::S(H)
    • P(f);SBLOCK::S(F)
    • P(j);N_GUARD::S(H),XQ(g)
  • Tries
    • Try
      • B(B);
      • Threat
        • R(A)
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • R(b);N_GUARD::R1(A)
      • Refutation
        • R(b);CHECK
    • Try
      • B(B);XR(b)
      • Threat
        • DUALS(2)
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • P(h);::R(A)
      • Refutation
        • P(f);XB(B)
    • Try
      • R(G);
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • S(e);N_GUARD,XP(E)::B(B)
        • S(k);N_GUARD::S(H),XS(k)
        • Q(g);N_GUARD::R1(G),XQ(g)
        • Q(g);N_GUARD::R1(G)
        • R(b);N_GUARD::R1(A)
        • R(b);N_GUARD,P_PINB(B)::R1(A)
        • R(b);N_GUARD::R1(A),XR(b)
        • S(e);N_GUARD::B(B)
        • S(k);N_GUARD::S(H)
        • P(f);SBLOCK::S(F)
        • P(h);SBLOCK::S(F)
        • P(j);N_GUARD::S(H),XQ(g)
      • Refutation
        • P(i);
    • Try
      • Q(D);
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • S(e);N_GUARD,XP(E)::B(B)
        • Q(g);N_GUARD::R1(G),XQ(g)
        • Q(g);N_GUARD::R1(G)
        • R(b);N_GUARD::R1(A)
        • R(b);N_GUARD,P_PINB(B)::R1(A)
        • S(e);N_GUARD::B(B)
        • S(k);N_GUARD::S(H),XS(k)
        • S(k);N_GUARD::S(H)
        • P(f);SBLOCK::QAB(D)+S(F),DCHECK
        • P(j);N_GUARD::S(H),XQ(g)
      • Refutation
        • P(h);
    • Try
      • Q(D);
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • S(e);N_GUARD,XP(E)::B(B)
        • Q(g);N_GUARD::R1(G),XQ(g)
        • Q(g);N_GUARD::R1(G)
        • R(b);N_GUARD::R1(A)
        • R(b);N_GUARD,P_PINB(B)::R1(A)
        • R(b);N_GUARD::R1(A),XR(b)
        • S(e);N_GUARD::B(B)
        • S(k);N_GUARD::S(H),XS(k)
        • S(k);N_GUARD::S(H)
        • P(f);SBLOCK::S(F)
        • P(j);N_GUARD::S(H),XQ(g)
      • Refutation
        • P(h);
    • Try
      • Q(D);P_PINP(d)
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • S(e);N_GUARD,XP(E)::B(B)
        • Q(g);N_GUARD::R1(G),XQ(g)
        • Q(g);N_GUARD::R1(G)
        • R(b);N_GUARD::R1(A)
        • R(b);N_GUARD,P_PINB(B)::R1(A)
        • R(b);N_GUARD::R1(A),XR(b)
        • S(e);N_GUARD::B(B)
        • S(k);N_GUARD::S(H),XS(k)
        • S(k);N_GUARD::S(H)
        • P(f);SBLOCK::S(F)
        • P(j);N_GUARD::S(H),XQ(g)
      • Refutation
        • P(h);
    • Try
      • Q(D);CHECK,XP(h)
      • Vars
        • S(e);XQ(D)::B(B)
      • Refutation
        • Q(g);XQ(D)
    • Try
      • Q(D);
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • S(e);N_GUARD,XP(E)::B(B)
        • Q(g);N_GUARD::R1(G),XQ(g)
        • Q(g);N_GUARD::R1(G)
        • R(b);N_GUARD::R1(A)
        • R(b);N_GUARD,P_PINB(B)::R1(A)
        • R(b);N_GUARD::R1(A),XR(b)
        • S(e);N_GUARD::B(B)
        • S(k);N_GUARD::S(H),XS(k)
        • S(k);N_GUARD::S(H)
        • P(f);SBLOCK::S(F)
        • P(j);N_GUARD::S(H),XQ(g)
      • Refutation
        • P(h);
    • Try
      • Q(D);
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • S(e);N_GUARD,XP(E)::B(B)
        • Q(g);N_GUARD::R1(G),XQ(g)
        • Q(g);N_GUARD::R1(G)
        • R(b);N_GUARD::R1(A)
        • R(b);N_GUARD,P_PINB(B)::R1(A)
        • S(e);N_GUARD::B(B)
        • S(k);N_GUARD::S(H),XS(k)
        • S(k);N_GUARD::S(H)
        • P(f);SBLOCK::QAB(D)+S(F),DCHECK
        • P(j);N_GUARD::S(H),XQ(g)
      • Refutation
        • P(h);
    • Try
      • Q(D);
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • S(e);N_GUARD,XP(E)::B(B)
        • Q(g);N_GUARD::R1(G),XQ(g)
        • Q(g);N_GUARD::R1(G)
        • R(b);N_GUARD::R1(A)
        • R(b);N_GUARD,P_PINB(B)::R1(A)
        • R(b);N_GUARD::R1(A),XR(b)
        • S(e);N_GUARD::B(B)
        • S(k);N_GUARD::S(H),XS(k)
        • S(k);N_GUARD::S(H)
        • P(f);SBLOCK::S(F)
        • P(j);N_GUARD::S(H),XQ(g)
      • Refutation
        • P(h);
    • Try
      • Q(D);
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • S(e);N_GUARD,XP(E)::B(B)
        • Q(g);N_GUARD::R1(G),XQ(g)
        • Q(g);N_GUARD::R1(G)
        • R(b);N_GUARD::R1(A)
        • R(b);N_GUARD,P_PINB(B)::R1(A)
        • R(b);N_GUARD::R1(A),XR(b)
        • S(e);N_GUARD::B(B)
        • S(k);N_GUARD::S(H),XS(k)
        • S(k);N_GUARD::S(H)
        • P(f);SBLOCK::S(F)
        • P(j);N_GUARD::S(H),XQ(g)
      • Refutation
        • P(h);
    • Try
      • Q(D);P_PINP(d)
      • Threat
        • QAB(D),XP(i)
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • Q(g);N_GUARD::R1(G),XQ(g)
        • Q(g);N_GUARD::R1(G)
        • S(k);N_GUARD::S(H)
      • Refutation
        • P(h);
    • Try
      • Q(D);
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • S(e);N_GUARD,XP(E)::B(B)
        • Q(g);N_GUARD::R1(G),XQ(g)
        • Q(g);N_GUARD::R1(G)
        • R(b);N_GUARD::R1(A)
        • R(b);N_GUARD,P_PINB(B)::R1(A)
        • R(b);N_GUARD::R1(A),XR(b)
        • S(e);N_GUARD::B(B)
        • S(k);N_GUARD::S(H),XS(k)
        • S(k);N_GUARD::S(H)
        • P(f);SBLOCK::S(F)
        • P(j);N_GUARD::S(H),XQ(g)
      • Refutation
        • P(h);
    • Try
      • Q(D);
      • Threat
        • QAB(D),XP(i)
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • Q(g);N_GUARD::R1(G),XQ(g)
        • Q(g);N_GUARD::R1(G)
        • S(k);N_GUARD::S(H)
      • Refutation
        • P(h);
    • Try
      • Q(D);
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • S(e);N_GUARD,XP(E)::B(B)
        • S(k);N_GUARD,XQ(D)::S(H)
        • Q(g);N_GUARD::R1(G),XQ(g)
        • Q(g);N_GUARD::R1(G)
        • R(b);N_GUARD::R1(A)
        • R(b);N_GUARD,P_PINB(B)::R1(A)
        • R(b);N_GUARD::R1(A),XR(b)
        • S(e);N_GUARD::B(B)
        • S(k);N_GUARD::S(H),XS(k)
        • S(k);N_GUARD::S(H)
        • P(f);SBLOCK::S(F)
        • P(j);N_GUARD::S(H),XQ(g)
      • Refutation
        • P(h);
    • Try
      • Q(D);P_PINP(i)
      • Threat
        • QAB(D),XP(i)
      • Vars
        • S(e);CHECK,N_GUARD::B(B),XS(e)
        • Q(g);N_GUARD::R1(G),XQ(g)
        • Q(g);N_GUARD::R1(G)
        • S(k);N_GUARD::S(H)
      • Refutation
        • P(h);
  • Actual
    • R(G);
    • Vars
      • S(e);CHECK,N_GUARD::B(B),XS(e)
      • S(e);N_GUARD,XP(E)::B(B)
      • P(i);OGATEB,XR(G)::QAB(D)
      • S(k);N_GUARD::S(H),XS(k)
      • Q(g);N_GUARD::R1(G),XQ(g)
      • Q(g);N_GUARD::R1(G)
      • R(b);N_GUARD::R1(A)
      • R(b);N_GUARD,P_PINB(B)::R1(A)
      • R(b);N_GUARD::R1(A),XR(b)
      • S(e);N_GUARD::B(B)
      • S(k);N_GUARD::S(H)
      • P(f);SBLOCK::S(F)
      • P(h);SBLOCK::S(F)
      • P(i);OGATEB::QAB(D)
      • P(j);N_GUARD::S(H),XQ(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).