MESON Chess Problem Database

Problem Display
PID: 40606 (2Rr2n1/3p2Q1/p4p2/P4P2/1K1k2br/2NP3R/1n1PP2B/7B w - - 0 1)

Kardos, Tivadar

Lindner, Laszlo

Parallele 50, 1949

2Rr2n1/3p2Q1/p4p2/P4P2/1K1k2br/2NP3R/1n1PP2B/7B

#2

12 + 9

4080 Mattbilder eines Lebens 1996

SOLUTION

  • SOUND
  • Sets
    • 1...Rxh3
      • 2.Qxg4#
    • 1...Rh5
      • 2.Qxg4#
    • 1...Rh6
      • 2.Qxg4#
    • 1...Rh7
      • 2.Qxg4#
    • 1...Rh8
      • 2.Qxg4#
    • 1...Rxc8
      • 2.Qxd7#
    • 1...Re8
      • 2.Qxd7#
    • 1...Rf8
      • 2.Qxd7#
    • 1...Bxe2
      • 2.Sxe2#
      • 2.Qg1#
    • 1...Bf3
      • 2.Qg1#
    • 1...Bxh3
      • 2.Qg1#
    • 1...Bxf5
      • 2.Qg1#
    • 1...Bh5
      • 2.Qg1#
    • 1...Sd1
      • 2.Rc4#
    • 1...Sxd3+
      • 2.Rxd3#
    • 1...Sa4
      • 2.Rc4#
    • 1...Sc4
      • 2.Rxc4#
    • 1...Sh6
      • 2.Qxf6#
    • 1...Se7
      • 2.Qxf6#
    • 1...d5
      • 2.Qa7#
    • 1...d6
      • 2.Qa7#
  • Tries
    • 1.Ka3?
      • 1...Sc4+
        • 2.Rxc4#
      • 1...Rxh3
        • 2.Qxg4#
      • 1...Bxe2
        • 2.Sxe2#
        • 2.Qg1#
      • 1...Bxh3
        • 2.Qg1#
      • 1...Bxf5
        • 2.Qg1#
      • 1...Sxd3
        • 2.Rxd3#
        • 2.e3#
      • 1...Rh5
        • 2.Qxg4#
      • 1...Rh6
        • 2.Qxg4#
      • 1...Rh7
        • 2.Qxg4#
      • 1...Rh8
        • 2.Qxg4#
      • 1...Re8
        • 2.Qxd7#
      • 1...Rf8
        • 2.Qxd7#
      • 1...Bf3
        • 2.Qg1#
      • 1...Bh5
        • 2.Qg1#
      • 1...Sd1
        • 2.Rc4#
      • 1...Sa4
        • 2.Rc4#
      • 1...Sh6
        • 2.Qxf6#
      • 1...Se7
        • 2.Qxf6#
      • 1...d5
        • 2.Qa7#
      • 1...d6
        • 2.Qa7#
      • 1...Rxc8!
    • 1.Kb3?
      • 1...Rxh3
        • 2.Qxg4#
      • 1...Bxe2
        • 2.Sxe2#
        • 2.Qg1#
      • 1...Bxh3
        • 2.Qg1#
      • 1...Bxf5
        • 2.Qg1#
      • 1...Sxd3
        • 2.Rxd3#
        • 2.Rc4#
        • 2.e3#
      • 1...Rh5
        • 2.Qxg4#
      • 1...Rh6
        • 2.Qxg4#
      • 1...Rh7
        • 2.Qxg4#
      • 1...Rh8
        • 2.Qxg4#
      • 1...Re8
        • 2.Qxd7#
      • 1...Rf8
        • 2.Qxd7#
      • 1...Bf3
        • 2.Qg1#
      • 1...Bh5
        • 2.Qg1#
      • 1...Sd1
        • 2.Rc4#
      • 1...Sa4
        • 2.Rc4#
      • 1...Sc4
        • 2.Rxc4#
      • 1...Sh6
        • 2.Qxf6#
      • 1...Se7
        • 2.Qxf6#
      • 1...d5
        • 2.Qa7#
      • 1...d6
        • 2.Qa7#
      • 1...Rxc8!
    • 1.Sb1?
      • 1...Sxd3+
        • 2.Rxd3#
      • 1...Rxh3
        • 2.Qxg4#
      • 1...Rxc8
        • 2.Qxd7#
      • 1...Bxe2
        • 2.Qg1#
      • 1...Bxh3
        • 2.Qg1#
      • 1...Bxf5
        • 2.Qg1#
      • 1...Rh5
        • 2.Qxg4#
      • 1...Rh6
        • 2.Qxg4#
      • 1...Rh7
        • 2.Qxg4#
      • 1...Rh8
        • 2.Qxg4#
      • 1...Re8
        • 2.Qxd7#
      • 1...Rf8
        • 2.Qxd7#
      • 1...Bh5
        • 2.Qg1#
      • 1...Sd1
        • 2.Rc4#
      • 1...Sa4
        • 2.Rc4#
      • 1...Sc4
        • 2.Rxc4#
      • 1...Sh6
        • 2.Qxf6#
      • 1...Se7
        • 2.Qxf6#
      • 1...d5
        • 2.Qa7#
      • 1...d6
        • 2.Qa7#
      • 1...Bf3!
    • 1.Sd1?
      • 1...Sxd3+
        • 2.Rxd3#
      • 1...Rxh3
        • 2.Qxg4#
      • 1...Rxc8
        • 2.Qxd7#
      • 1...Bxe2
        • 2.Qg1#
      • 1...Bxh3
        • 2.Qg1#
      • 1...Bxf5
        • 2.Qg1#
      • 1...Sxd1
        • 2.Rc4#
      • 1...Rh5
        • 2.Qxg4#
      • 1...Rh6
        • 2.Qxg4#
      • 1...Rh7
        • 2.Qxg4#
      • 1...Rh8
        • 2.Qxg4#
      • 1...Re8
        • 2.Qxd7#
      • 1...Rf8
        • 2.Qxd7#
      • 1...Bh5
        • 2.Qg1#
      • 1...Sa4
        • 2.Rc4#
      • 1...Sc4
        • 2.Rxc4#
      • 1...Sh6
        • 2.Qxf6#
      • 1...Se7
        • 2.Qxf6#
      • 1...d5
        • 2.Qa7#
      • 1...d6
        • 2.Qa7#
      • 1...Bf3!
    • 1.Sa2?
      • 1...Sxd3+
        • 2.Rxd3#
      • 1...Rxh3
        • 2.Qxg4#
      • 1...Rxc8
        • 2.Qxd7#
      • 1...Bxe2
        • 2.Qg1#
      • 1...Bxh3
        • 2.Qg1#
      • 1...Bxf5
        • 2.Qg1#
      • 1...Rh5
        • 2.Qxg4#
      • 1...Rh6
        • 2.Qxg4#
      • 1...Rh7
        • 2.Qxg4#
      • 1...Rh8
        • 2.Qxg4#
      • 1...Re8
        • 2.Qxd7#
      • 1...Rf8
        • 2.Qxd7#
      • 1...Bh5
        • 2.Qg1#
      • 1...Sd1
        • 2.Rc4#
      • 1...Sa4
        • 2.Rc4#
      • 1...Sc4
        • 2.Rxc4#
      • 1...Sh6
        • 2.Qxf6#
      • 1...Se7
        • 2.Qxf6#
      • 1...d5
        • 2.Qa7#
      • 1...d6
        • 2.Qa7#
      • 1...Bf3!
    • 1.Sa4?
      • 1...Sxd3+
        • 2.Rxd3#
      • 1...Rxh3
        • 2.Qxg4#
      • 1...Rxc8
        • 2.Qxd7#
      • 1...Bxe2
        • 2.Qg1#
      • 1...Bxh3
        • 2.Qg1#
      • 1...Bxf5
        • 2.Qg1#
      • 1...Sxa4
        • 2.Rc4#
      • 1...Rh5
        • 2.Qxg4#
      • 1...Rh6
        • 2.Qxg4#
      • 1...Rh7
        • 2.Qxg4#
      • 1...Rh8
        • 2.Qxg4#
      • 1...Re8
        • 2.Qxd7#
      • 1...Rf8
        • 2.Qxd7#
      • 1...Bh5
        • 2.Qg1#
      • 1...Sd1
        • 2.Rc4#
      • 1...Sc4
        • 2.Rxc4#
      • 1...Sh6
        • 2.Qxf6#
      • 1...Se7
        • 2.Qxf6#
      • 1...d5
        • 2.Qa7#
      • 1...d6
        • 2.Qa7#
      • 1...Bf3!
    • 1.Bf3?
      • 1...Rxh3
        • 2.Qxg4#
      • 1...Rxc8
        • 2.Qxd7#
      • 1...Bxf3
        • 2.Qg1#
      • 1...Bxh3
        • 2.Qg1#
      • 1...Bxf5
        • 2.Qg1#
      • 1...Rh5
        • 2.Qxg4#
      • 1...Rh6
        • 2.Qxg4#
      • 1...Rh7
        • 2.Qxg4#
      • 1...Rh8
        • 2.Qxg4#
      • 1...Re8
        • 2.Qxd7#
      • 1...Rf8
        • 2.Qxd7#
      • 1...Bh5
        • 2.Qg1#
      • 1...Sd1
        • 2.Rc4#
      • 1...Sa4
        • 2.Rc4#
      • 1...Sc4
        • 2.Rxc4#
      • 1...Sh6
        • 2.Qxf6#
      • 1...Se7
        • 2.Qxf6#
      • 1...d5
        • 2.Qa7#
      • 1...d6
        • 2.Qa7#
      • 1...Sxd3+!
    • 1.Be4?
      • threat
        • 2.e3#
      • 1...Sxd3+
        • 2.Rxd3#
      • 1...Bxe2
        • 2.Sxe2#
        • 2.Qg1#
      • 1...Sd1
        • 2.Rc4#
      • 1...Sc4
        • 2.Rxc4#
      • 1...Rxh3!
    • 1.Bb8?
      • 1...Sxd3+
        • 2.Rxd3#
      • 1...Rxh3
        • 2.Qxg4#
      • 1...Rxc8
        • 2.Qxd7#
      • 1...Bxe2
        • 2.Sxe2#
        • 2.Qg1#
      • 1...Bxh3
        • 2.Qg1#
      • 1...Bxf5
        • 2.Qg1#
      • 1...Re8
        • 2.Qxd7#
      • 1...Rh5
        • 2.Qxg4#
      • 1...Rh6
        • 2.Qxg4#
      • 1...Rh7
        • 2.Qxg4#
      • 1...Rh8
        • 2.Qxg4#
      • 1...Rf8
        • 2.Qxd7#
      • 1...Bf3
        • 2.Qg1#
      • 1...Bh5
        • 2.Qg1#
      • 1...Sd1
        • 2.Rc4#
      • 1...Sa4
        • 2.Rc4#
      • 1...Sc4
        • 2.Rxc4#
      • 1...Sh6
        • 2.Qxf6#
      • 1...Se7
        • 2.Qxf6#
      • 1...d5
        • 2.Qa7#
      • 1...d6!
    • 1.Rf3?
      • 1...Sxd3+
        • 2.Rxd3#
      • 1...Rxc8
        • 2.Qxd7#
      • 1...Bxf3
        • 2.Qg1#
      • 1...Bxf5
        • 2.Qg1#
      • 1...Re8
        • 2.Qxd7#
      • 1...Rh3
        • 2.Qxg4#
      • 1...Rh5
        • 2.Qxg4#
      • 1...Rh6
        • 2.Qxg4#
      • 1...Rh7
        • 2.Qxg4#
      • 1...Rh8
        • 2.Qxg4#
      • 1...Rf8
        • 2.Qxd7#
      • 1...Bh3
        • 2.Qg1#
      • 1...Bh5
        • 2.Qg1#
      • 1...Sd1
        • 2.Rc4#
      • 1...Sa4
        • 2.Rc4#
      • 1...Sc4
        • 2.Rxc4#
      • 1...Sh6
        • 2.Qxf6#
      • 1...Se7
        • 2.Qxf6#
      • 1...d5
        • 2.Qa7#
      • 1...d6
        • 2.Qa7#
      • 1...Rxh2!
    • 1.Rxh4?
      • threat
        • 2.Rxg4#
        • 2.Qxg4#
      • 1...Re8
        • 2.Qxd7#
      • 1...Sh6
        • 2.Qxf6#
      • 1...Sxd3+!
    • 1.Rxd8?
      • threat
        • 2.Rxd7#
        • 2.Qxd7#
      • 1...Sxd3+
        • 2.Rxd3#
      • 1...Bxf5
        • 2.Qg1#
      • 1...Rh7
        • 2.Rxd7#
        • 2.Qxg4#
      • 1...Bf3
        • 2.Qg1#
      • 1...Se7
        • 2.Qxf6#
      • 1...d5
        • 2.Rxd5#
        • 2.Qa7#
      • 1...d6
        • 2.Rxd6#
        • 2.Qa7#
      • 1...Sc4!
    • 1.Qe7?
      • threat
        • 2.Bg1#
        • 2.Qc5#
        • 2.Qd6#
        • 2.Qe3#
        • 2.Qe4#
      • 1...Sxd3+
        • 2.Rxd3#
      • 1...Rxh3
        • 2.Qc5#
        • 2.Qd6#
        • 2.Qe4#
      • 1...Rxc8
        • 2.Bg1#
        • 2.Qd6#
        • 2.Qe3#
        • 2.Qe4#
        • 2.Qxd7#
      • 1...Bxe2
        • 2.Sxe2#
        • 2.Bg1#
        • 2.Qc5#
        • 2.Qd6#
        • 2.Qe3#
      • 1...Bxh3
        • 2.Bg1#
        • 2.Qc5#
        • 2.Qd6#
        • 2.Qe3#
      • 1...Bxf5
        • 2.Bg1#
        • 2.Qc5#
        • 2.Qd6#
        • 2.Qe3#
      • 1...Re8
        • 2.Bg1#
        • 2.Qc5#
        • 2.Qd6#
        • 2.Qxd7#
      • 1...Bf3
        • 2.Bg1#
        • 2.Qc5#
        • 2.Qe3#
      • 1...Bh5
        • 2.Bg1#
        • 2.Qc5#
        • 2.Qd6#
        • 2.Qe3#
      • 1...Sd1
        • 2.Rc4#
        • 2.Qc5#
        • 2.Qd6#
        • 2.Qe4#
      • 1...Sa4
        • 2.Bg1#
        • 2.Rc4#
        • 2.Qd6#
        • 2.Qe3#
        • 2.Qe4#
      • 1...Sc4
        • 2.Rxc4#
        • 2.Qc5#
        • 2.Qe4#
      • 1...d5
        • 2.Bg1#
        • 2.Qc5#
        • 2.Qe3#
        • 2.Qa7#
      • 1...d6
        • 2.Bg1#
        • 2.Qe3#
        • 2.Qe4#
        • 2.Qa7#
      • 1...Sxe7!
    • 1.Qf7?
      • threat
        • 2.Qd5#
      • 1...Sxd3+
        • 2.Rxd3#
      • 1...Se7
        • 2.Qxf6#
      • 1...d5
        • 2.Qa7#
      • 1...Bf3!
  • Keys
    • 1.Ba8!
      • 1...Sxd3+
        • 2.Rxd3#
      • 1...Rxh3
        • 2.Qxg4#
      • 1...Rxc8
        • 2.Qxd7#
      • 1...Bxe2
        • 2.Sxe2#
        • 2.Qg1#
      • 1...Bxh3
        • 2.Qg1#
      • 1...Bxf5
        • 2.Qg1#
      • 1...Rh5
        • 2.Qxg4#
      • 1...Rh6
        • 2.Qxg4#
      • 1...Rh7
        • 2.Qxg4#
      • 1...Rh8
        • 2.Qxg4#
      • 1...Re8
        • 2.Qxd7#
      • 1...Rf8
        • 2.Qxd7#
      • 1...Bf3
        • 2.Qg1#
      • 1...Bh5
        • 2.Qg1#
      • 1...Sd1
        • 2.Rc4#
      • 1...Sa4
        • 2.Rc4#
      • 1...Sc4
        • 2.Rxc4#
      • 1...Sh6
        • 2.Qxf6#
      • 1...Se7
        • 2.Qxf6#
      • 1...d5
        • 2.Qa7#
      • 1...d6
        • 2.Qa7#

FEATURES

  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • R(d);N_GUARD,XR(G)::QAR(K),XB(c)
    • R(d);N_GUARD::QAR(K),XB(c)
    • R(h);N_GUARD,XR(L)::QAR(K),XP(g)
    • R(h);N_GUARD::QAR(K),XP(g)
    • B(c);OGATE::QAB(K)
    • B(c);OGATE,XR(G)::QAB(K)
    • B(c);OGATE,XP(J)::QAB(K)
    • S(a);N_GUARD::R1(L)
    • S(a);CHECK,OGATE,XP(F)::R1(G),XS(a)
    • S(a);N_GUARD::R1(L),XS(a)
    • S(i);N_GUARD::QAB(K),XP(f)
    • P(g);OGATE::QAB(K)
  • Tries
    • Try
      • K(H);S_FLIGHT
      • Vars
        • S(a);CHECK,N_GUARD::R1(L),XS(a)
        • R(d);N_GUARD,XR(G)::QAR(K),XB(c)
        • B(c);OGATE,XR(G)::QAB(K)
        • B(c);OGATE,XP(J)::QAB(K)
        • R(d);N_GUARD::QAR(K),XB(c)
        • R(h);N_GUARD::QAR(K),XP(g)
        • B(c);OGATE::QAB(K)
        • S(a);N_GUARD::R1(L)
        • S(i);N_GUARD::QAB(K),XP(f)
        • P(g);OGATE::QAB(K)
      • Refutation
        • R(h);XR(L)
    • Try
      • K(H);P-FLIGHT
      • Vars
        • R(d);N_GUARD,XR(G)::QAR(K),XB(c)
        • B(c);OGATE,XR(G)::QAB(K)
        • B(c);OGATE,XP(J)::QAB(K)
        • R(d);N_GUARD::QAR(K),XB(c)
        • R(h);N_GUARD::QAR(K),XP(g)
        • B(c);OGATE::QAB(K)
        • S(a);N_GUARD::R1(L)
        • S(a);N_GUARD::R1(L),XS(a)
        • S(i);N_GUARD::QAB(K),XP(f)
        • P(g);OGATE::QAB(K)
      • Refutation
        • R(h);XR(L)
    • Try
      • S(E);
      • Vars
        • S(a);CHECK,OGATE,XP(F)::R1(G),XS(a)
        • R(d);N_GUARD,XR(G)::QAR(K),XB(c)
        • R(h);N_GUARD,XR(L)::QAR(K),XP(g)
        • B(c);OGATE,XP(C)::QAB(K)
        • B(c);OGATE,XR(G)::QAB(K)
        • B(c);OGATE,XP(J)::QAB(K)
        • R(d);N_GUARD::QAR(K),XB(c)
        • R(h);N_GUARD::QAR(K),XP(g)
        • B(c);OGATE::QAB(K)
        • S(a);N_GUARD::R1(L)
        • S(a);N_GUARD::R1(L),XS(a)
        • S(i);N_GUARD::QAB(K),XP(f)
        • P(g);OGATE::QAB(K)
      • Refutation
        • B(c);
    • Try
      • S(E);
      • Vars
        • S(a);CHECK,OGATE,XP(F)::R1(G),XS(a)
        • R(d);N_GUARD,XR(G)::QAR(K),XB(c)
        • R(h);N_GUARD,XR(L)::QAR(K),XP(g)
        • B(c);OGATE,XP(C)::QAB(K)
        • B(c);OGATE,XR(G)::QAB(K)
        • B(c);OGATE,XP(J)::QAB(K)
        • S(a);N_GUARD,XS(E)::R1(L)
        • R(d);N_GUARD::QAR(K),XB(c)
        • R(h);N_GUARD::QAR(K),XP(g)
        • B(c);OGATE::QAB(K)
        • S(a);N_GUARD::R1(L)
        • S(a);N_GUARD::R1(L),XS(a)
        • S(i);N_GUARD::QAB(K),XP(f)
        • P(g);OGATE::QAB(K)
      • Refutation
        • B(c);
    • Try
      • S(E);
      • Vars
        • S(a);CHECK,OGATE,XP(F)::R1(G),XS(a)
        • R(d);N_GUARD,XR(G)::QAR(K),XB(c)
        • R(h);N_GUARD,XR(L)::QAR(K),XP(g)
        • B(c);OGATE,XP(C)::QAB(K)
        • B(c);OGATE,XR(G)::QAB(K)
        • B(c);OGATE,XP(J)::QAB(K)
        • R(d);N_GUARD::QAR(K),XB(c)
        • R(h);N_GUARD::QAR(K),XP(g)
        • B(c);OGATE::QAB(K)
        • S(a);N_GUARD::R1(L)
        • S(a);N_GUARD::R1(L),XS(a)
        • S(i);N_GUARD::QAB(K),XP(f)
        • P(g);OGATE::QAB(K)
      • Refutation
        • B(c);
    • Try
      • S(E);
      • Vars
        • S(a);CHECK,OGATE,XP(F)::R1(G),XS(a)
        • R(d);N_GUARD,XR(G)::QAR(K),XB(c)
        • R(h);N_GUARD,XR(L)::QAR(K),XP(g)
        • B(c);OGATE,XP(C)::QAB(K)
        • B(c);OGATE,XR(G)::QAB(K)
        • B(c);OGATE,XP(J)::QAB(K)
        • S(a);N_GUARD,XS(E)::R1(L)
        • R(d);N_GUARD::QAR(K),XB(c)
        • R(h);N_GUARD::QAR(K),XP(g)
        • B(c);OGATE::QAB(K)
        • S(a);N_GUARD::R1(L)
        • S(a);N_GUARD::R1(L),XS(a)
        • S(i);N_GUARD::QAB(K),XP(f)
        • P(g);OGATE::QAB(K)
      • Refutation
        • B(c);
    • Try
      • B(A);
      • Vars
        • R(d);N_GUARD,XR(G)::QAR(K),XB(c)
        • R(h);N_GUARD,XR(L)::QAR(K),XP(g)
        • B(c);OGATE,XB(A)::QAB(K)
        • B(c);OGATE,XR(G)::QAB(K)
        • B(c);OGATE,XP(J)::QAB(K)
        • R(d);N_GUARD::QAR(K),XB(c)
        • R(h);N_GUARD::QAR(K),XP(g)
        • B(c);OGATE::QAB(K)
        • S(a);N_GUARD::R1(L)
        • S(a);N_GUARD::R1(L),XS(a)
        • S(i);N_GUARD::QAB(K),XP(f)
        • P(g);OGATE::QAB(K)
      • Refutation
        • S(a);CHECK,XP(F)
    • Try
      • B(A);
      • Threat
        • P(C)
      • Vars
        • S(a);CHECK,OGATE,XP(F)::R1(G),XS(a)
        • S(a);N_GUARD::R1(L)
        • S(a);N_GUARD::R1(L),XS(a)
      • Refutation
        • R(d);XR(G)
    • Try
      • B(D);
      • Vars
        • S(a);CHECK,OGATE,XP(F)::R1(G),XS(a)
        • R(d);N_GUARD,XR(G)::QAR(K),XB(c)
        • R(h);N_GUARD,XR(L)::QAR(K),XP(g)
        • B(c);OGATE,XR(G)::QAB(K)
        • B(c);OGATE,XP(J)::QAB(K)
        • R(h);N_GUARD::QAR(K),XP(g)
        • R(d);N_GUARD::QAR(K),XB(c)
        • B(c);OGATE::QAB(K)
        • S(a);N_GUARD::R1(L)
        • S(a);N_GUARD::R1(L),XS(a)
        • S(i);N_GUARD::QAB(K),XP(f)
        • P(g);OGATE::QAB(K)
      • Refutation
        • P(g);
    • Try
      • R(G);
      • Vars
        • S(a);CHECK,OGATE,XP(F)::R1(G),XS(a)
        • R(h);N_GUARD,XR(L)::QAR(K),XP(g)
        • B(c);OGATE,XR(G)::QAB(K)
        • B(c);OGATE,XP(J)::QAB(K)
        • R(h);N_GUARD::QAR(K),XP(g)
        • R(d);N_GUARD::QAR(K),XB(c)
        • B(c);OGATE::QAB(K)
        • S(a);N_GUARD::R1(L)
        • S(a);N_GUARD::R1(L),XS(a)
        • S(i);N_GUARD::QAB(K),XP(f)
        • P(g);OGATE::QAB(K)
      • Refutation
        • R(d);XB(D)
    • Try
      • R(G);P_PINB(c),XR(d)
      • Threat
        • DUALS(2)
      • Vars
        • R(h);N_GUARD::QAR(K),XP(g)
        • S(i);N_GUARD::QAB(K),XP(f)
      • Refutation
        • S(a);CHECK,XP(F)
    • Try
      • R(L);XR(h)
      • Threat
        • DUALS(2)
      • Vars
        • S(a);CHECK,OGATE,XP(F)::R1(G),XS(a)
        • B(c);OGATE,XP(J)::QAB(K)
        • B(c);OGATE::QAB(K)
        • S(i);N_GUARD::QAB(K),XP(f)
      • Refutation
        • S(a);
    • Try
      • Q(K);N_PINP(f)
      • Threat
        • DUALS(5)
      • Vars
        • S(a);CHECK,OGATE,XP(F)::R1(G),XS(a)
      • Refutation
        • S(i);XQ(K)
    • Try
      • Q(K);N_PINP(f)
      • Threat
        • QAR1(K)
      • Vars
        • S(a);CHECK,OGATE,XP(F)::R1(G),XS(a)
        • S(i);N_GUARD::QAB(K),XP(f)
        • P(g);OGATE::QAB(K)
      • Refutation
        • B(c);
  • Actual
    • B(A);
    • Vars
      • S(a);CHECK,OGATE,XP(F)::R1(G),XS(a)
      • R(d);N_GUARD,XR(G)::QAR(K),XB(c)
      • R(h);N_GUARD,XR(L)::QAR(K),XP(g)
      • B(c);OGATE,XR(G)::QAB(K)
      • B(c);OGATE,XP(J)::QAB(K)
      • R(d);N_GUARD::QAR(K),XB(c)
      • R(h);N_GUARD::QAR(K),XP(g)
      • B(c);OGATE::QAB(K)
      • S(a);N_GUARD::R1(L)
      • S(a);N_GUARD::R1(L),XS(a)
      • S(i);N_GUARD::QAB(K),XP(f)
      • P(g);OGATE::QAB(K)
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).