MESON Chess Problem Database

Problem Display
PID: 51373 (3nq3/bp3p2/r2r1P1p/1b5R/1QpkPB2/pPNp2p1/N5K1/1B1nR3 w - - 0 1)

Lewis, Robert Tony

Manchester Guardian, 1958

3nq3/bp3p2/r2r1P1p/1b5R/1QpkPB2/pPNp2p1/N5K1/1B1nR3

#2

11 + 15

SOLUTION

  • SOUND
  • Sets
    • 1...Qc6
      • 2.Be5#
    • 1...Qd7
      • 2.Be5#
    • 1...Qxe4+
      • 2.Rxe4#
    • 1...Qe5
      • 2.Bxe5#
    • 1...Qe6
      • 2.Sxb5#
    • 1...Qe7
      • 2.Sxb5#
    • 1...Qf8
      • 2.Sxb5#
      • 2.Be5#
    • 1...Qg8
      • 2.Sxb5#
      • 2.Be5#
    • 1...Qh8
      • 2.Sxb5#
      • 2.Be5#
    • 1...Ra4
      • 2.Qxd6#
    • 1...Ra5
      • 2.Qxd6#
    • 1...Rab6
      • 2.Qc5#
    • 1...Rac6
      • 2.Sxb5#
    • 1...Rd5
      • 2.Rxd5#
    • 1...Rdb6
      • 2.Rd5#
      • 2.Qc5#
    • 1...Rdc6
      • 2.Sxb5#
      • 2.Rd5#
    • 1...Re6
      • 2.Rd5#
    • 1...Rxf6
      • 2.Rd5#
    • 1...Rd7
      • 2.Sxb5#
    • 1...Ba4
      • 2.Qxc4#
    • 1...Bc6
      • 2.Qxc4#
    • 1...Bd7
      • 2.Qxc4#
    • 1...Bc5
      • 2.Qxc5#
    • 1...Bb6
      • 2.Qxd6#
    • 1...Bb8
      • 2.Qc5#
    • 1...Sb2
      • 2.Be3#
    • 1...Sf2
      • 2.Be3#
    • 1...Sxc3
      • 2.Qxc3#
    • 1...Se3+
      • 2.Bxe3#
    • 1...Sc6
      • 2.Sxb5#
      • 2.Qxd6#
    • 1...Se6
      • 2.Be5#
    • 1...d2
      • 2.Se2#
    • 1...b6
      • 2.Qxd6#
  • Tries
    • 1.Kf1?
      • 1...Se3+
        • 2.Bxe3#
      • 1...Qxe4
        • 2.Sxb5#
        • 2.Rxe4#
      • 1...Rxf6
        • 2.Rd5#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Qc6
        • 2.Be5#
      • 1...Qd7
        • 2.Be5#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qe6
        • 2.Sxb5#
      • 1...Qe7
        • 2.Sxb5#
      • 1...Qf8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Qg8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Qh8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Ra4
        • 2.Qxd6#
      • 1...Ra5
        • 2.Qxd6#
      • 1...Rab6
        • 2.Qc5#
      • 1...Rac6
        • 2.Sxb5#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rdb6
        • 2.Rd5#
        • 2.Qc5#
      • 1...Rdc6
        • 2.Sxb5#
        • 2.Rd5#
      • 1...Re6
        • 2.Rd5#
      • 1...Rd7
        • 2.Sxb5#
      • 1...Ba4
        • 2.Qxc4#
      • 1...Bc6
        • 2.Qxc4#
      • 1...Bd7
        • 2.Qxc4#
      • 1...Bc5
        • 2.Qxc5#
      • 1...Bb6
        • 2.Qxd6#
      • 1...Bb8
        • 2.Qc5#
      • 1...Sb2
        • 2.Be3#
      • 1...Sf2
        • 2.Be3#
      • 1...Sc6
        • 2.Sxb5#
        • 2.Qxd6#
      • 1...Se6
        • 2.Be5#
      • 1...d2
        • 2.Se2#
      • 1...b6
        • 2.Qxd6#
      • 1...g2+!
    • 1.Kg1?
      • 1...Qxe4
        • 2.Sxb5#
        • 2.Rxe4#
      • 1...Rxf6
        • 2.Rd5#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Qc6
        • 2.Be5#
      • 1...Qd7
        • 2.Be5#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qe6
        • 2.Sxb5#
      • 1...Qe7
        • 2.Sxb5#
      • 1...Qf8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Qg8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Qh8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Ra4
        • 2.Qxd6#
      • 1...Ra5
        • 2.Qxd6#
      • 1...Rab6
        • 2.Qc5#
      • 1...Rac6
        • 2.Sxb5#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rdb6
        • 2.Rd5#
        • 2.Qc5#
      • 1...Rdc6
        • 2.Sxb5#
        • 2.Rd5#
      • 1...Re6
        • 2.Rd5#
      • 1...Rd7
        • 2.Sxb5#
      • 1...Ba4
        • 2.Qxc4#
      • 1...Bc6
        • 2.Qxc4#
      • 1...Bd7
        • 2.Qxc4#
      • 1...Bc5
        • 2.Qxc5#
      • 1...Bb6
        • 2.Qxd6#
      • 1...Bb8
        • 2.Qc5#
      • 1...Sb2
        • 2.Be3#
      • 1...Sf2
        • 2.Be3#
      • 1...Se3
        • 2.Bxe3#
      • 1...Sc6
        • 2.Sxb5#
        • 2.Qxd6#
      • 1...Se6
        • 2.Be5#
      • 1...d2
        • 2.Se2#
      • 1...b6
        • 2.Qxd6#
      • 1...g2!
    • 1.Kf3?
      • 1...Qxe4+
        • 2.Rxe4#
      • 1...Rxf6
        • 2.Rd5#
      • 1...Sxc3
        • 2.Be3#
        • 2.Qxc3#
      • 1...Qc6
        • 2.Be5#
      • 1...Qd7
        • 2.Be5#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qe6
        • 2.Sxb5#
      • 1...Qe7
        • 2.Sxb5#
      • 1...Qf8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Qg8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Qh8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Ra4
        • 2.Qxd6#
      • 1...Ra5
        • 2.Qxd6#
      • 1...Rab6
        • 2.Qc5#
      • 1...Rac6
        • 2.Sxb5#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rdb6
        • 2.Rd5#
        • 2.Qc5#
      • 1...Rdc6
        • 2.Sxb5#
        • 2.Rd5#
      • 1...Re6
        • 2.Rd5#
      • 1...Rd7
        • 2.Sxb5#
      • 1...Ba4
        • 2.Qxc4#
      • 1...Bc6
        • 2.Qxc4#
      • 1...Bd7
        • 2.Qxc4#
      • 1...Bc5
        • 2.Qxc5#
      • 1...Bb6
        • 2.Qxd6#
      • 1...Bb8
        • 2.Qc5#
      • 1...Sb2
        • 2.Be3#
      • 1...Sf2
        • 2.Be3#
      • 1...Se3
        • 2.Bxe3#
      • 1...Sc6
        • 2.Sxb5#
        • 2.Qxd6#
      • 1...Se6
        • 2.Be5#
      • 1...d2
        • 2.Se2#
      • 1...b6
        • 2.Qxd6#
      • 1...g2!
    • 1.Kxg3?
      • 1...Qxe4
        • 2.Sxb5#
        • 2.Rxe4#
      • 1...Rxf6
        • 2.Rd5#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Qc6
        • 2.Be5#
      • 1...Qd7
        • 2.Be5#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qe6
        • 2.Sxb5#
      • 1...Qe7
        • 2.Sxb5#
      • 1...Qf8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Qh8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Ra4
        • 2.Qxd6#
      • 1...Ra5
        • 2.Qxd6#
      • 1...Rab6
        • 2.Qc5#
      • 1...Rac6
        • 2.Sxb5#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rdb6
        • 2.Rd5#
        • 2.Qc5#
      • 1...Rdc6
        • 2.Sxb5#
        • 2.Rd5#
      • 1...Re6
        • 2.Rd5#
      • 1...Rd7
        • 2.Sxb5#
      • 1...Ba4
        • 2.Qxc4#
      • 1...Bc6
        • 2.Qxc4#
      • 1...Bd7
        • 2.Qxc4#
      • 1...Bc5
        • 2.Qxc5#
      • 1...Bb6
        • 2.Qxd6#
      • 1...Bb8
        • 2.Qc5#
      • 1...Sb2
        • 2.Be3#
      • 1...Sf2
        • 2.Be3#
      • 1...Se3
        • 2.Bxe3#
      • 1...Sc6
        • 2.Sxb5#
        • 2.Qxd6#
      • 1...Se6
        • 2.Be5#
      • 1...d2
        • 2.Se2#
      • 1...b6
        • 2.Qxd6#
      • 1...Qg8+!
    • 1.Sxd1?
      • threat
        • 2.Qc3#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Qxe4+!
    • 1.Se2+?
      • 1...dxe2
        • 2.Qd2#
      • 1...Kxe4!
    • 1.Bc2?
      • 1...Qxe4+
        • 2.Rxe4#
      • 1...Se3+
        • 2.Bxe3#
      • 1...Rxf6
        • 2.Rd5#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Qc6
        • 2.Be5#
      • 1...Qd7
        • 2.Be5#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qe6
        • 2.Sxb5#
      • 1...Qe7
        • 2.Sxb5#
      • 1...Qf8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Qg8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Qh8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Ra4
        • 2.Qxd6#
      • 1...Ra5
        • 2.Qxd6#
      • 1...Rab6
        • 2.Qc5#
      • 1...Rac6
        • 2.Sxb5#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rdb6
        • 2.Rd5#
        • 2.Qc5#
      • 1...Rdc6
        • 2.Sxb5#
        • 2.Rd5#
      • 1...Re6
        • 2.Rd5#
      • 1...Rd7
        • 2.Sxb5#
      • 1...Ba4
        • 2.Qxc4#
      • 1...Bc6
        • 2.Qxc4#
      • 1...Bd7
        • 2.Qxc4#
      • 1...Bc5
        • 2.Qxc5#
      • 1...Bb6
        • 2.Qxd6#
      • 1...Bb8
        • 2.Qc5#
      • 1...Sb2
        • 2.Be3#
      • 1...Sf2
        • 2.Be3#
      • 1...Sc6
        • 2.Sxb5#
        • 2.Qxd6#
      • 1...Se6
        • 2.Be5#
      • 1...d2
        • 2.Se2#
      • 1...b6
        • 2.Qxd6#
      • 1...dxc2!
    • 1.Bxd6?
      • threat
        • 2.Rd5#
      • 1...Qxe4+
        • 2.Rxe4#
      • 1...Rxd6
        • 2.Qxd6#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Qc6
        • 2.Be5#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qe6
        • 2.Sxb5#
      • 1...Bc6
        • 2.Qxc4#
      • 1...Se3+!
    • 1.Rxd1?
      • threat
        • 2.Rxd3#
      • 1...d2
        • 2.Se2#
        • 2.Rxd2#
      • 1...Qxe4+!
    • 1.Rf5?
      • 1...Qxe4+
        • 2.Rxe4#
      • 1...Se3+
        • 2.Bxe3#
      • 1...Rxf6
        • 2.Rd5#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Qc6
        • 2.Be5#
      • 1...Qd7
        • 2.Be5#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qe6
        • 2.Sxb5#
      • 1...Qe7
        • 2.Sxb5#
      • 1...Qf8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Qg8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Qh8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Ra4
        • 2.Qxd6#
      • 1...Ra5
        • 2.Qxd6#
      • 1...Rab6
        • 2.Qc5#
      • 1...Rac6
        • 2.Sxb5#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rdb6
        • 2.Rd5#
        • 2.Qc5#
      • 1...Rdc6
        • 2.Sxb5#
        • 2.Rd5#
      • 1...Re6
        • 2.Rd5#
      • 1...Rd7
        • 2.Sxb5#
      • 1...Ba4
        • 2.Qxc4#
      • 1...Bc6
        • 2.Qxc4#
      • 1...Bd7
        • 2.Qxc4#
      • 1...Bc5
        • 2.Qxc5#
      • 1...Bb6
        • 2.Qxd6#
      • 1...Bb8
        • 2.Qc5#
      • 1...Sb2
        • 2.Be3#
      • 1...Sf2
        • 2.Be3#
      • 1...Sc6
        • 2.Sxb5#
        • 2.Qxd6#
      • 1...Se6
        • 2.Be5#
      • 1...d2
        • 2.Se2#
      • 1...b6
        • 2.Qxd6#
      • 1...h5!
  • Keys
    • 1.Re2!
      • 1...Qxe4+
        • 2.Rxe4#
      • 1...Se3+
        • 2.Bxe3#
      • 1...Rxf6
        • 2.Rd5#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...dxe2
        • 2.Sxe2#
      • 1...Qc6
        • 2.Be5#
      • 1...Qd7
        • 2.Be5#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qe6
        • 2.Sxb5#
      • 1...Qe7
        • 2.Sxb5#
      • 1...Qf8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Qg8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Qh8
        • 2.Sxb5#
        • 2.Be5#
      • 1...Ra4
        • 2.Qxd6#
      • 1...Ra5
        • 2.Qxd6#
      • 1...Rab6
        • 2.Qc5#
      • 1...Rac6
        • 2.Sxb5#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rdb6
        • 2.Rd5#
        • 2.Qc5#
      • 1...Rdc6
        • 2.Sxb5#
        • 2.Rd5#
      • 1...Re6
        • 2.Rd5#
      • 1...Rd7
        • 2.Sxb5#
      • 1...Ba4
        • 2.Qxc4#
      • 1...Bc6
        • 2.Qxc4#
      • 1...Bd7
        • 2.Qxc4#
      • 1...Bc5
        • 2.Qxc5#
      • 1...Bb6
        • 2.Qxd6#
      • 1...Bb8
        • 2.Qc5#
      • 1...Sb2
        • 2.Be3#
      • 1...Sf2
        • 2.Be3#
      • 1...Sc6
        • 2.Sxb5#
        • 2.Qxd6#
      • 1...Se6
        • 2.Be5#
      • 1...d2
        • 2.Rxd2#
      • 1...b6
        • 2.Qxd6#

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • Q(o);N_GUARD,P_PINP(H)::B(I)
    • Q(o);N_GUARD::B(I)
    • Q(o);CHECK,OGATE,XP(H)::R1(B),XQ(o)
    • Q(o);N_GUARD::B(I),XQ(o)
    • Q(o);N_GUARD::S(F),XB(g)
    • R(h);N_GUARD::QAR2(G),XR(i)
    • R(h);S_CUTB(k)::QAB1(G)
    • R(h);S_CUTQ(o)::S(F),XB(g)
    • R(i);N_GUARD::R1(J),XR(i)
    • R(i);N_GUARD::R1(J)
    • R(i);N_GUARD,XP(K)::R1(J)
    • R(i);S_CUTQ(o)::S(F),XB(g)
    • B(g);N_GUARD::QAR1(G),XP(e)
    • B(g);N_GUARD,P_PINP(H)::QAR1(G),XP(e)
    • B(k);N_GUARD::QAB1(G),XB(k)
    • B(k);S_CUTR(h)::QAR2(G),XR(i)
    • B(k);N_GUARD::QAB1(G)
    • S(a);N_GUARD::B(I)
    • S(a);OGATE,XS(F)::QAB1(G),XS(a)
    • S(a);CHECK,N_GUARD::B(I),XS(a)
    • S(n);S_CUTQ(o)::B(I)
    • P(c);N_GUARD::S(F)
    • P(l);S_CUTR(h)::QAR2(G),XR(i)
  • Tries
    • Try
      • K(D);S_FLIGHT
      • Vars
        • S(a);CHECK,N_GUARD::B(I),XS(a)
        • R(i);N_GUARD,P_PINB(I),XP(K)::R1(J)
        • S(a);OGATE,XS(F)::QAB1(G),XS(a)
        • Q(o);N_GUARD::B(I)
        • Q(o);N_GUARD::B(I),XQ(o)
        • Q(o);N_GUARD::S(F),XB(g)
        • R(h);N_GUARD::QAR2(G),XR(i)
        • R(h);S_CUTB(k)::QAB1(G)
        • R(h);S_CUTQ(o)::S(F),XB(g)
        • R(i);N_GUARD::R1(J),XR(i)
        • R(i);N_GUARD::R1(J)
        • R(i);S_CUTQ(o)::S(F),XB(g)
        • B(g);N_GUARD::QAR1(G),XP(e)
        • B(k);N_GUARD::QAB1(G),XB(k)
        • B(k);S_CUTR(h)::QAR2(G),XR(i)
        • B(k);N_GUARD::QAB1(G)
        • S(a);N_GUARD::B(I)
        • S(n);S_CUTQ(o)::B(I)
        • P(c);N_GUARD::S(F)
        • P(l);S_CUTR(h)::QAR2(G),XR(i)
      • Refutation
        • P(d);CHECK
    • Try
      • K(D);P-FLIGHT
      • Vars
        • R(i);N_GUARD,XP(K)::R1(J)
        • S(a);OGATE,XS(F)::QAB1(G),XS(a)
        • Q(o);N_GUARD::B(I)
        • Q(o);N_GUARD::B(I),XQ(o)
        • Q(o);N_GUARD::S(F),XB(g)
        • R(h);N_GUARD::QAR2(G),XR(i)
        • R(h);S_CUTB(k)::QAB1(G)
        • R(h);S_CUTQ(o)::S(F),XB(g)
        • R(i);N_GUARD::R1(J),XR(i)
        • R(i);N_GUARD::R1(J)
        • R(i);S_CUTQ(o)::S(F),XB(g)
        • B(g);N_GUARD::QAR1(G),XP(e)
        • B(k);N_GUARD::QAB1(G),XB(k)
        • B(k);S_CUTR(h)::QAR2(G),XR(i)
        • B(k);N_GUARD::QAB1(G)
        • S(a);N_GUARD::B(I)
        • S(a);N_GUARD::B(I),XS(a)
        • S(n);S_CUTQ(o)::B(I)
        • P(c);N_GUARD::S(F)
        • P(l);S_CUTR(h)::QAR2(G),XR(i)
      • Refutation
        • P(d);
    • Try
      • K(D);S_FLIGHT
      • Vars
        • Q(o);CHECK,OGATE,XP(H)::R1(B),XQ(o)
        • R(i);N_GUARD,P_PINB(I),XP(K)::R1(J)
        • Q(o);N_GUARD,P_PINP(H)::B(I)
        • Q(o);N_GUARD::B(I)
        • Q(o);N_GUARD::B(I),XQ(o)
        • Q(o);N_GUARD::S(F),XB(g)
        • R(h);N_GUARD::QAR2(G),XR(i)
        • R(h);S_CUTB(k)::QAB1(G)
        • R(h);S_CUTQ(o)::S(F),XB(g)
        • R(i);N_GUARD::R1(J),XR(i)
        • R(i);N_GUARD::R1(J)
        • R(i);S_CUTQ(o)::S(F),XB(g)
        • B(g);N_GUARD::QAR1(G),XP(e)
        • B(g);N_GUARD,P_PINP(H)::QAR1(G),XP(e)
        • B(k);N_GUARD::QAB1(G),XB(k)
        • B(k);S_CUTR(h)::QAR2(G),XR(i)
        • B(k);N_GUARD::QAB1(G)
        • S(a);N_GUARD::B(I)
        • S(a);N_GUARD::B(I),XS(a)
        • S(n);S_CUTQ(o)::B(I)
        • P(c);N_GUARD::S(F)
        • P(l);S_CUTR(h)::QAR2(G),XR(i)
      • Refutation
        • P(d);
    • Try
      • K(D);P-FLIGHT,XP(d)
      • Vars
        • R(i);N_GUARD,XP(K)::R1(J)
        • S(a);OGATE,XS(F)::QAB1(G),XS(a)
        • Q(o);N_GUARD::B(I)
        • Q(o);N_GUARD,P_PINB(I)::B(I),XQ(o)
        • Q(o);N_GUARD::S(F),XB(g)
        • R(h);N_GUARD::QAR2(G),XR(i)
        • R(h);S_CUTB(k)::QAB1(G)
        • R(h);S_CUTQ(o)::S(F),XB(g)
        • R(i);N_GUARD::R1(J),XR(i)
        • R(i);N_GUARD::R1(J)
        • R(i);S_CUTQ(o)::S(F),XB(g)
        • B(g);N_GUARD::QAR1(G),XP(e)
        • B(k);N_GUARD::QAB1(G),XB(k)
        • B(k);S_CUTR(h)::QAR2(G),XR(i)
        • B(k);N_GUARD::QAB1(G)
        • S(a);N_GUARD::B(I)
        • S(a);N_GUARD::B(I),XS(a)
        • S(n);S_CUTQ(o)::B(I)
        • P(c);N_GUARD::S(F)
        • P(l);S_CUTR(h)::QAR2(G),XR(i)
      • Refutation
        • Q(o);CHECK
    • Try
      • S(F);XS(a)
      • Threat
        • QAB1(G)
      • Vars
        • Q(o);N_GUARD::B(I),XQ(o)
        • R(i);N_GUARD::R1(J),XR(i)
      • Refutation
        • Q(o);CHECK,XP(H)
    • Try
      • S(F);CHECK
      • Vars
        • P(c);XS(F)::QAR2(G)
      • Refutation
        • K(f);N_SPINP(e),P-FLIGHT,P_SPINP(c),XP(H)
    • Try
      • B(A);
      • Vars
        • Q(o);CHECK,OGATE,XP(H)::R1(B),XQ(o)
        • S(a);CHECK,N_GUARD::B(I),XS(a)
        • R(i);N_GUARD,XP(K)::R1(J)
        • S(a);OGATE,XS(F)::QAB1(G),XS(a)
        • Q(o);N_GUARD,P_PINP(H)::B(I)
        • Q(o);N_GUARD::B(I)
        • Q(o);N_GUARD::B(I),XQ(o)
        • Q(o);N_GUARD::S(F),XB(g)
        • R(h);N_GUARD::QAR2(G),XR(i)
        • R(h);S_CUTB(k)::QAB1(G)
        • R(h);S_CUTQ(o)::S(F),XB(g)
        • R(i);N_GUARD::R1(J),XR(i)
        • R(i);N_GUARD::R1(J)
        • R(i);S_CUTQ(o)::S(F),XB(g)
        • B(g);N_GUARD::QAR1(G),XP(e)
        • B(g);N_GUARD,P_PINP(H)::QAR1(G),XP(e)
        • B(k);N_GUARD::QAB1(G),XB(k)
        • B(k);S_CUTR(h)::QAR2(G),XR(i)
        • B(k);N_GUARD::QAB1(G)
        • S(a);N_GUARD::B(I)
        • S(n);S_CUTQ(o)::B(I)
        • P(c);N_GUARD::S(F)
        • P(l);S_CUTR(h)::QAR2(G),XR(i)
      • Refutation
        • P(c);XB(A)
    • Try
      • B(I);XR(i)
      • Threat
        • R1(J)
      • Vars
        • Q(o);CHECK,OGATE,XP(H)::R1(B),XQ(o)
        • R(h);OGATE,XB(I)::QAR2(G),XR(h)
        • S(a);OGATE,XS(F)::QAB1(G),XS(a)
        • Q(o);N_GUARD,P_PINP(H)::B(I)
        • Q(o);N_GUARD::B(I),XQ(o)
        • Q(o);N_GUARD::S(F),XB(g)
        • B(g);N_GUARD,P_PINP(H)::QAR1(G),XP(e)
      • Refutation
        • S(a);CHECK
    • Try
      • R(B);N_PINP(e),P_PINP(c),XS(a)
      • Threat
        • R1(B),XP(c)
      • Refutation
        • Q(o);CHECK,XP(H)
    • Try
      • R(J);
      • Vars
        • Q(o);CHECK,OGATE,XP(H)::R1(B),XQ(o)
        • S(a);CHECK,N_GUARD::B(I),XS(a)
        • R(i);N_GUARD,XP(K)::R1(J)
        • S(a);OGATE,XS(F)::QAB1(G),XS(a)
        • Q(o);N_GUARD,P_PINP(H)::B(I)
        • Q(o);N_GUARD::B(I)
        • Q(o);N_GUARD::B(I),XQ(o)
        • Q(o);N_GUARD::S(F),XB(g)
        • R(h);N_GUARD::QAR2(G),XR(i)
        • R(h);S_CUTB(k)::QAB1(G)
        • R(h);S_CUTQ(o)::S(F),XB(g)
        • R(i);N_GUARD::R1(J),XR(i)
        • R(i);N_GUARD::R1(J)
        • R(i);S_CUTQ(o)::S(F),XB(g)
        • B(g);N_GUARD::QAR1(G),XP(e)
        • B(g);N_GUARD,P_PINP(H)::QAR1(G),XP(e)
        • B(k);N_GUARD::QAB1(G),XB(k)
        • B(k);S_CUTR(h)::QAR2(G),XR(i)
        • B(k);N_GUARD::QAB1(G)
        • S(a);N_GUARD::B(I)
        • S(n);S_CUTQ(o)::B(I)
        • P(c);N_GUARD::S(F)
        • P(l);S_CUTR(h)::QAR2(G),XR(i)
      • Refutation
        • P(j);
  • Actual
    • R(B);
    • Vars
      • Q(o);CHECK,OGATE,XP(H)::R1(B),XQ(o)
      • S(a);CHECK,N_GUARD::B(I),XS(a)
      • R(i);N_GUARD,XP(K)::R1(J)
      • S(a);OGATE,XS(F)::QAB1(G),XS(a)
      • P(c);XR(B)::S(F),XP(c)
      • Q(o);N_GUARD,P_PINP(H)::B(I)
      • Q(o);N_GUARD::B(I)
      • Q(o);N_GUARD::B(I),XQ(o)
      • Q(o);N_GUARD::S(F),XB(g)
      • R(h);N_GUARD::QAR2(G),XR(i)
      • R(h);S_CUTB(k)::QAB1(G)
      • R(h);S_CUTQ(o)::S(F),XB(g)
      • R(i);N_GUARD::R1(J),XR(i)
      • R(i);N_GUARD::R1(J)
      • R(i);S_CUTQ(o)::S(F),XB(g)
      • B(g);N_GUARD::QAR1(G),XP(e)
      • B(g);N_GUARD,P_PINP(H)::QAR1(G),XP(e)
      • B(k);N_GUARD::QAB1(G),XB(k)
      • B(k);S_CUTR(h)::QAR2(G),XR(i)
      • B(k);N_GUARD::QAB1(G)
      • S(a);N_GUARD::B(I)
      • S(n);S_CUTQ(o)::B(I)
      • P(c);OGATEB::R(B),XP(c)
      • P(l);S_CUTR(h)::QAR2(G),XR(i)
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).