MESON Chess Problem Database

Problem Display
PID: 9339 (5R2/5p1B/5qn1/4R1p1/1NPNrkP1/Q6P/1B5K/7n w - - 0 1)

L'Hermet, Johann Georg Rudolf

3rd Prize, Jamaica Gleaner, 1884

5R2/5p1B/5qn1/4R1p1/1NPNrkP1/Q6P/1B5K/7n

#2

11 + 7

SOLUTION

  • SOUND
  • Sets
    • 1...Kxe5
      • 2.Sd3#
    • 1...Qxe5
      • 2.Qf3#
    • 1...Qe7
      • 2.Rf5#
    • 1...Qg7
      • 2.Se6#
      • 2.Rf5#
    • 1...Qd8
      • 2.Se6#
      • 2.Rf5#
    • 1...Qh8
      • 2.Se6#
      • 2.Rf5#
    • 1...Qf5
      • 2.Rxf5#
    • 1...Qa6
      • 2.Rf5#
    • 1...Qb6
      • 2.Rf5#
    • 1...Qc6
      • 2.Rf5#
    • 1...Qd6
      • 2.Rf5#
    • 1...Qe6
      • 2.Sxe6#
    • 1...Re1
      • 2.Sd3#
    • 1...Re2+
      • 2.Sxe2#
    • 1...Re3
      • 2.Qxe3#
    • 1...Rxd4
      • 2.Qe3#
    • 1...Rxe5
      • 2.Qf3#
    • 1...Sf2
      • 2.Qg3#
    • 1...Sg3
      • 2.Qxg3#
    • 1...Sh4
      • 2.Rxe4#
    • 1...Sxe5
      • 2.Sd5#
    • 1...Se7
      • 2.Rxe4#
    • 1...Sxf8
      • 2.Rxe4#
    • 1...Sh8
      • 2.Rxe4#
  • Tries
    • 1.Kxh1?
      • 1...Kxe5
        • 2.Sd3#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Sxe5
        • 2.Sd5#
      • 1...Sxf8
        • 2.Rxe4#
      • 1...Re3
        • 2.Qxe3#
      • 1...Qe7
        • 2.Rf5#
      • 1...Qg7
        • 2.Se6#
        • 2.Rf5#
      • 1...Qd8
        • 2.Se6#
        • 2.Rf5#
      • 1...Qh8
        • 2.Se6#
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qa6
        • 2.Rf5#
      • 1...Qb6
        • 2.Rf5#
      • 1...Qc6
        • 2.Rf5#
      • 1...Qd6
        • 2.Rf5#
      • 1...Qe6
        • 2.Sxe6#
      • 1...Re2
        • 2.Sxe2#
      • 1...Sh4
        • 2.Rxe4#
      • 1...Se7
        • 2.Rxe4#
      • 1...Sh8
        • 2.Rxe4#
      • 1...Re1+!
    • 1.Kg2?
      • 1...Re2+
        • 2.Sxe2#
      • 1...Kxe5
        • 2.Sd3#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Sxe5
        • 2.Sd5#
      • 1...Sxf8
        • 2.Rxe4#
      • 1...Qe7
        • 2.Rf5#
      • 1...Qg7
        • 2.Se6#
        • 2.Rf5#
      • 1...Qd8
        • 2.Se6#
        • 2.Rf5#
      • 1...Qh8
        • 2.Se6#
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qa6
        • 2.Rf5#
      • 1...Qb6
        • 2.Rf5#
      • 1...Qc6
        • 2.Rf5#
      • 1...Qd6
        • 2.Rf5#
      • 1...Qe6
        • 2.Sxe6#
      • 1...Re1
        • 2.Sd3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf2
        • 2.Qg3#
      • 1...Sg3
        • 2.Qxg3#
      • 1...Se7
        • 2.Rxe4#
      • 1...Sh8
        • 2.Rxe4#
      • 1...Sh4+!
    • 1.Sbc6?
      • threat
        • 2.Qf3#
      • 1...Re2+
        • 2.Sxe2#
      • 1...Qxc6
        • 2.Rf5#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sh4
        • 2.Rxe4#
      • 1...Sxe5!
    • 1.Se6+?
      • 1...fxe6
        • 2.Rxf6#
      • 1...Qxe6!
    • 1.Bc1+?
      • 1...Re3
        • 2.Sd3#
        • 2.Qxe3#
      • 1...Kxe5!
    • 1.Bxg6?
      • threat
        • 2.Rxe4#
      • 1...Re2+
        • 2.Sxe2#
      • 1...Kxe5
        • 2.Sd3#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...fxg6
        • 2.Se6#
      • 1...Qe7
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qc6
        • 2.Rf5#
      • 1...Qe6
        • 2.Sxe6#
      • 1...Re1
        • 2.Sd3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf2
        • 2.Qg3#
      • 1...Sg3
        • 2.Qxg3#
      • 1...Qxg6!
    • 1.Rxf7?
      • threat
        • 2.Se6#
      • 1...Re2+
        • 2.Sxe2#
      • 1...Kxe5
        • 2.Sd3#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf8
        • 2.Rxe4#
      • 1...Qxf7!
    • 1.Ra8?
      • 1...Re2+
        • 2.Sxe2#
      • 1...Kxe5
        • 2.Sd3#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Sxe5
        • 2.Sd5#
      • 1...Qe7
        • 2.Rf5#
      • 1...Qg7
        • 2.Rf5#
      • 1...Qd8
        • 2.Rf5#
      • 1...Qh8
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qa6
        • 2.Rf5#
      • 1...Qb6
        • 2.Rf5#
      • 1...Qc6
        • 2.Rf5#
      • 1...Qd6
        • 2.Rf5#
      • 1...Re1
        • 2.Sd3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf2
        • 2.Qg3#
      • 1...Sg3
        • 2.Qxg3#
      • 1...Sh4
        • 2.Rxe4#
      • 1...Se7
        • 2.Rxe4#
      • 1...Sf8
        • 2.Rxe4#
      • 1...Sh8
        • 2.Rxe4#
      • 1...Qe6!
    • 1.Rb8?
      • 1...Re2+
        • 2.Sxe2#
      • 1...Kxe5
        • 2.Sd3#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Sxe5
        • 2.Sd5#
      • 1...Qe7
        • 2.Rf5#
      • 1...Qg7
        • 2.Rf5#
      • 1...Qd8
        • 2.Rf5#
      • 1...Qh8
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qa6
        • 2.Rf5#
      • 1...Qb6
        • 2.Rf5#
      • 1...Qc6
        • 2.Rf5#
      • 1...Qd6
        • 2.Rf5#
      • 1...Re1
        • 2.Sd3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf2
        • 2.Qg3#
      • 1...Sg3
        • 2.Qxg3#
      • 1...Sh4
        • 2.Rxe4#
      • 1...Se7
        • 2.Rxe4#
      • 1...Sf8
        • 2.Rxe4#
      • 1...Sh8
        • 2.Rxe4#
      • 1...Qe6!
    • 1.Rc8?
      • 1...Re2+
        • 2.Sxe2#
      • 1...Kxe5
        • 2.Sd3#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Sxe5
        • 2.Sd5#
      • 1...Qe7
        • 2.Rf5#
      • 1...Qg7
        • 2.Rf5#
      • 1...Qd8
        • 2.Rf5#
      • 1...Qh8
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qa6
        • 2.Rf5#
      • 1...Qb6
        • 2.Rf5#
      • 1...Qc6
        • 2.Rf5#
      • 1...Qd6
        • 2.Rf5#
      • 1...Re1
        • 2.Sd3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf2
        • 2.Qg3#
      • 1...Sg3
        • 2.Qxg3#
      • 1...Sh4
        • 2.Rxe4#
      • 1...Se7
        • 2.Rxe4#
      • 1...Sf8
        • 2.Rxe4#
      • 1...Sh8
        • 2.Rxe4#
      • 1...Qe6!
    • 1.Rd8?
      • 1...Re2+
        • 2.Sxe2#
      • 1...Kxe5
        • 2.Sd3#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Qxd8
        • 2.Rf5#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Sxe5
        • 2.Sd5#
      • 1...Qe7
        • 2.Rf5#
      • 1...Qg7
        • 2.Rf5#
      • 1...Qh8
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qa6
        • 2.Rf5#
      • 1...Qb6
        • 2.Rf5#
      • 1...Qc6
        • 2.Rf5#
      • 1...Qd6
        • 2.Rf5#
      • 1...Re1
        • 2.Sd3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf2
        • 2.Qg3#
      • 1...Sg3
        • 2.Qxg3#
      • 1...Sh4
        • 2.Rxe4#
      • 1...Se7
        • 2.Rxe4#
      • 1...Sf8
        • 2.Rxe4#
      • 1...Sh8
        • 2.Rxe4#
      • 1...Qe6!
    • 1.Rfe8?
      • threat
        • 2.Sd5#
        • 2.Rxe4#
        • 2.Qf3#
      • 1...Re2+
        • 2.Sxe2#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Sxe5
        • 2.Sd5#
      • 1...Qe7
        • 2.Rf5#
      • 1...Se7
        • 2.Rxe4#
      • 1...Qd8
        • 2.Rxe4#
        • 2.Rf5#
        • 2.Qf3#
      • 1...Qf5
        • 2.Sd5#
        • 2.Rxf5#
        • 2.Qf3#
      • 1...Qc6
        • 2.Rf5#
        • 2.Qf3#
      • 1...Qd6
        • 2.Rxe4#
        • 2.Rf5#
        • 2.Qf3#
      • 1...Re1
        • 2.Sd3#
        • 2.Sd5#
        • 2.Qf3#
      • 1...Re3
        • 2.Sd5#
        • 2.Qxe3#
      • 1...Sf2
        • 2.Sd5#
        • 2.Qf3#
        • 2.Qg3#
      • 1...Sg3
        • 2.Sd5#
        • 2.Qf3#
        • 2.Qxg3#
      • 1...Sh4
        • 2.Sd5#
        • 2.Rxe4#
      • 1...Qe6!
    • 1.Rg8?
      • 1...Re2+
        • 2.Sxe2#
      • 1...Kxe5
        • 2.Sd3#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Sxe5
        • 2.Sd5#
      • 1...Qe7
        • 2.Rf5#
      • 1...Qg7
        • 2.Rf5#
      • 1...Qd8
        • 2.Rf5#
      • 1...Qh8
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qa6
        • 2.Rf5#
      • 1...Qb6
        • 2.Rf5#
      • 1...Qc6
        • 2.Rf5#
      • 1...Qd6
        • 2.Rf5#
      • 1...Re1
        • 2.Sd3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf2
        • 2.Qg3#
      • 1...Sg3
        • 2.Qxg3#
      • 1...Sh4
        • 2.Rxe4#
      • 1...Se7
        • 2.Rxe4#
      • 1...Sf8
        • 2.Rxe4#
      • 1...Sh8
        • 2.Rxe4#
      • 1...Qe6!
    • 1.Rh8?
      • 1...Re2+
        • 2.Sxe2#
      • 1...Kxe5
        • 2.Sd3#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Qxh8
        • 2.Rf5#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Sxe5
        • 2.Sd5#
      • 1...Sxh8
        • 2.Rxe4#
      • 1...Qe7
        • 2.Rf5#
      • 1...Qg7
        • 2.Rf5#
      • 1...Qd8
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qa6
        • 2.Rf5#
      • 1...Qb6
        • 2.Rf5#
      • 1...Qc6
        • 2.Rf5#
      • 1...Qd6
        • 2.Rf5#
      • 1...Re1
        • 2.Sd3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf2
        • 2.Qg3#
      • 1...Sg3
        • 2.Qxg3#
      • 1...Sh4
        • 2.Rxe4#
      • 1...Se7
        • 2.Rxe4#
      • 1...Sf8
        • 2.Rxe4#
      • 1...Qe6!
    • 1.Qb3?
      • 1...Re2+
        • 2.Sxe2#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Sxe5
        • 2.Sd5#
      • 1...Sxf8
        • 2.Rxe4#
      • 1...Qe6
        • 2.Sxe6#
      • 1...Qe7
        • 2.Rf5#
      • 1...Qg7
        • 2.Se6#
        • 2.Rf5#
      • 1...Qd8
        • 2.Se6#
        • 2.Rf5#
      • 1...Qh8
        • 2.Se6#
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qa6
        • 2.Rf5#
      • 1...Qb6
        • 2.Rf5#
      • 1...Qc6
        • 2.Rf5#
      • 1...Qd6
        • 2.Rf5#
      • 1...Re1
        • 2.Sd3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf2
        • 2.Qg3#
      • 1...Sg3
        • 2.Qxg3#
      • 1...Sh4
        • 2.Rxe4#
      • 1...Se7
        • 2.Rxe4#
      • 1...Sh8
        • 2.Rxe4#
      • 1...Kxe5!
    • 1.Qc3?
      • 1...Re2+
        • 2.Sxe2#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Sxe5
        • 2.Sd5#
      • 1...Sxf8
        • 2.Rxe4#
      • 1...Qe6
        • 2.Sxe6#
      • 1...Qe7
        • 2.Rf5#
      • 1...Qg7
        • 2.Se6#
        • 2.Rf5#
      • 1...Qd8
        • 2.Se6#
        • 2.Rf5#
      • 1...Qh8
        • 2.Se6#
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qa6
        • 2.Rf5#
      • 1...Qb6
        • 2.Rf5#
      • 1...Qc6
        • 2.Rf5#
      • 1...Qd6
        • 2.Rf5#
      • 1...Re1
        • 2.Sd3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf2
        • 2.Qg3#
      • 1...Sg3
        • 2.Qxg3#
      • 1...Sh4
        • 2.Rxe4#
      • 1...Se7
        • 2.Rxe4#
      • 1...Sh8
        • 2.Rxe4#
      • 1...Kxe5!
    • 1.c5?
      • 1...Re2+
        • 2.Sxe2#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Sxe5
        • 2.Sd5#
      • 1...Sxf8
        • 2.Rxe4#
      • 1...Qe6
        • 2.Sxe6#
      • 1...Qe7
        • 2.Rf5#
      • 1...Qg7
        • 2.Se6#
        • 2.Rf5#
      • 1...Qd8
        • 2.Se6#
        • 2.Rf5#
      • 1...Qh8
        • 2.Se6#
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qa6
        • 2.Rf5#
      • 1...Qb6
        • 2.Rf5#
      • 1...Qc6
        • 2.Rf5#
      • 1...Qd6
        • 2.Rf5#
      • 1...Re1
        • 2.Sd3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf2
        • 2.Qg3#
      • 1...Sg3
        • 2.Qxg3#
      • 1...Sh4
        • 2.Rxe4#
      • 1...Se7
        • 2.Rxe4#
      • 1...Sh8
        • 2.Rxe4#
      • 1...Kxe5!
  • Keys
    • 1.Ba1!
      • 1...Re2+
        • 2.Sxe2#
      • 1...Kxe5
        • 2.Sd3#
      • 1...Qxe5
        • 2.Qf3#
      • 1...Rxd4
        • 2.Qe3#
      • 1...Rxe5
        • 2.Qf3#
      • 1...Sxe5
        • 2.Sd5#
      • 1...Sxf8
        • 2.Rxe4#
      • 1...Qe7
        • 2.Rf5#
      • 1...Qg7
        • 2.Se6#
        • 2.Rf5#
      • 1...Qd8
        • 2.Se6#
        • 2.Rf5#
      • 1...Qh8
        • 2.Se6#
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qa6
        • 2.Rf5#
      • 1...Qb6
        • 2.Rf5#
      • 1...Qc6
        • 2.Rf5#
      • 1...Qd6
        • 2.Rf5#
      • 1...Qe6
        • 2.Sxe6#
      • 1...Re1
        • 2.Sd3#
      • 1...Re3
        • 2.Qxe3#
      • 1...Sf2
        • 2.Qg3#
      • 1...Sg3
        • 2.Qxg3#
      • 1...Sh4
        • 2.Rxe4#
      • 1...Se7
        • 2.Rxe4#
      • 1...Sh8
        • 2.Rxe4#

FEATURES

  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • K(c);S_FLIGHT,XR(I)::S(E)
    • Q(e);P_SPINP(g),SBLOCK,XR(I)::QAR1(C)
    • Q(e);N_GUARD,P_SPINP(g)::R1(I)
    • Q(e);N_GUARD::R1(I),XQ(e)
    • Q(e);N_GUARD,P_SPINP(g)::S(G),XQ(e)
    • R(b);::S(E)
    • R(b);CHECK,N_GUARD::S(G),XR(b)
    • R(b);N_GUARD::QAB1(C),XR(b)
    • R(b);N_GUARD,XS(G)::QAB1(C)
    • R(b);SBLOCK,XR(I)::QAR1(C)
    • S(a);N_GUARD::QAB1(C)
    • S(a);N_GUARD::QAB1(C),XS(a)
    • S(f);::R1(I),XR(b)
    • S(f);SBLOCK,XR(I)::S(E)
    • S(f);XR(K)::R1(I),XR(b)
  • Tries
    • Try
      • K(B);P-FLIGHT,XS(a)
      • Vars
        • K(c);S_FLIGHT,XR(I)::S(E)
        • Q(e);P_SPINP(g),SBLOCK,XR(I)::QAR1(C)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);SBLOCK,XR(I)::QAR1(C)
        • S(f);SBLOCK,XR(I)::S(E)
        • S(f);XR(K)::R1(I),XR(b)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • Q(e);N_GUARD,P_SPINP(g)::R1(I)
        • Q(e);N_GUARD::R1(I),XQ(e)
        • Q(e);N_GUARD,P_SPINP(g)::S(G),XQ(e)
        • R(b);N_GUARD::S(G),XR(b)
        • S(f);::R1(I),XR(b)
      • Refutation
        • R(b);CHECK
    • Try
      • K(B);P-FLIGHT
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • K(c);S_FLIGHT,XR(I)::S(E)
        • Q(e);P_SPINP(g),SBLOCK,XR(I)::QAR1(C)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);SBLOCK,XR(I)::QAR1(C)
        • S(f);SBLOCK,XR(I)::S(E)
        • S(f);XR(K)::R1(I),XR(b)
        • Q(e);N_GUARD,P_SPINP(g)::R1(I)
        • Q(e);N_GUARD::R1(I),XQ(e)
        • Q(e);N_GUARD,P_SPINP(g)::S(G),XQ(e)
        • R(b);::S(E)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • S(a);N_GUARD::QAB1(C)
        • S(a);N_GUARD::QAB1(C),XS(a)
        • S(f);::R1(I),XR(b)
      • Refutation
        • S(f);CHECK
    • Try
      • S(E);
      • Threat
        • QAR1(C)
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • Q(e);N_GUARD,P_SPINP(g),XS(E)::R1(I)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • S(f);::R1(I),XR(b)
      • Refutation
        • S(f);XR(I)
    • Try
      • S(G);CHECK
      • Vars
        • P(g);OGATE,P_SPINQ(e),XS(G)::R(K),XQ(e)
      • Refutation
        • Q(e);P_SPINP(g),XS(G)
    • Try
      • B(A);CHECK
      • Refutation
        • K(c);S_FLIGHT,XR(I)
    • Try
      • B(J);XS(f)
      • Threat
        • R1(I),XR(b)
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • K(c);S_FLIGHT,XR(I)::S(E)
        • Q(e);P_SPINP(g),SBLOCK,XR(I)::QAR1(C)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);SBLOCK,XR(I)::QAR1(C)
        • P(g);N_GUARD,P_SPINQ(e),XB(J)::S(G)
        • Q(e);N_GUARD,P_SPINP(g)::R1(I)
        • Q(e);N_GUARD::R1(I),XQ(e)
        • Q(e);N_GUARD,P_SPINP(g)::S(G),XQ(e)
        • R(b);::S(E)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • S(a);N_GUARD::QAB1(C)
        • S(a);N_GUARD::QAB1(C),XS(a)
      • Refutation
        • Q(e);P_SPINP(g),XB(J)
    • Try
      • R(K);P_PINQ(e),XP(g)
      • Threat
        • S(G)
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • K(c);N_SPINQ(e),S_FLIGHT,XR(I)::S(E)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);SBLOCK,XR(I)::QAR1(C)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • S(f);::R1(I),XR(b)
      • Refutation
        • Q(e);N_SPINQ(e),XR(K)
    • Try
      • R(K);
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • K(c);S_FLIGHT,XR(I)::S(E)
        • Q(e);SBLOCK,XR(I)::QAR1(C)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);SBLOCK,XR(I)::QAR1(C)
        • S(f);SBLOCK,XR(I)::S(E)
        • Q(e);N_GUARD::R1(I)
        • Q(e);N_GUARD::R1(I),XQ(e)
        • R(b);::S(E)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • S(a);N_GUARD::QAB1(C)
        • S(a);N_GUARD::QAB1(C),XS(a)
        • S(f);::R1(I),XR(b)
      • Refutation
        • Q(e);
    • Try
      • R(K);
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • K(c);S_FLIGHT,XR(I)::S(E)
        • Q(e);SBLOCK,XR(I)::QAR1(C)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);SBLOCK,XR(I)::QAR1(C)
        • S(f);SBLOCK,XR(I)::S(E)
        • Q(e);N_GUARD::R1(I)
        • Q(e);N_GUARD::R1(I),XQ(e)
        • R(b);::S(E)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • S(a);N_GUARD::QAB1(C)
        • S(a);N_GUARD::QAB1(C),XS(a)
        • S(f);::R1(I),XR(b)
      • Refutation
        • Q(e);
    • Try
      • R(K);
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • K(c);S_FLIGHT,XR(I)::S(E)
        • Q(e);SBLOCK,XR(I)::QAR1(C)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);SBLOCK,XR(I)::QAR1(C)
        • S(f);SBLOCK,XR(I)::S(E)
        • Q(e);N_GUARD::R1(I)
        • Q(e);N_GUARD::R1(I),XQ(e)
        • R(b);::S(E)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • S(a);N_GUARD::QAB1(C)
        • S(a);N_GUARD::QAB1(C),XS(a)
        • S(f);::R1(I),XR(b)
      • Refutation
        • Q(e);
    • Try
      • R(K);
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • K(c);S_FLIGHT,XR(I)::S(E)
        • Q(e);SBLOCK,XR(I)::QAR1(C)
        • Q(e);N_GUARD,XR(K)::R1(I)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);SBLOCK,XR(I)::QAR1(C)
        • S(f);SBLOCK,XR(I)::S(E)
        • Q(e);N_GUARD::R1(I)
        • Q(e);N_GUARD::R1(I),XQ(e)
        • R(b);::S(E)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • S(a);N_GUARD::QAB1(C)
        • S(a);N_GUARD::QAB1(C),XS(a)
        • S(f);::R1(I),XR(b)
      • Refutation
        • Q(e);
    • Try
      • R(K);
      • Threat
        • DUALS(3)
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • Q(e);XR(I)::QAR1(C)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);XR(I)::QAR1(C)
        • S(f);XR(I)::S(E)
        • Q(e);N_GUARD::R1(I)
        • S(f);::R1(I),XR(b)
      • Refutation
        • Q(e);
    • Try
      • R(K);
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • K(c);S_FLIGHT,XR(I)::S(E)
        • Q(e);SBLOCK,XR(I)::QAR1(C)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);SBLOCK,XR(I)::QAR1(C)
        • S(f);SBLOCK,XR(I)::S(E)
        • Q(e);N_GUARD::R1(I)
        • Q(e);N_GUARD::R1(I),XQ(e)
        • R(b);::S(E)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • S(a);N_GUARD::QAB1(C)
        • S(a);N_GUARD::QAB1(C),XS(a)
        • S(f);::R1(I),XR(b)
      • Refutation
        • Q(e);
    • Try
      • R(K);
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • K(c);S_FLIGHT,XR(I)::S(E)
        • Q(e);SBLOCK,XR(I)::QAR1(C)
        • Q(e);N_GUARD,XR(K)::R1(I)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);SBLOCK,XR(I)::QAR1(C)
        • S(f);SBLOCK,XR(I)::S(E)
        • S(f);XR(K)::R1(I),XR(b)
        • Q(e);N_GUARD::R1(I)
        • Q(e);N_GUARD::R1(I),XQ(e)
        • R(b);::S(E)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • S(a);N_GUARD::QAB1(C)
        • S(a);N_GUARD::QAB1(C),XS(a)
        • S(f);::R1(I),XR(b)
      • Refutation
        • Q(e);
    • Try
      • Q(C);
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • Q(e);P_SPINP(g),SBLOCK,XR(I)::QAR1(C)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);SBLOCK,XR(I)::QAR1(C)
        • S(f);SBLOCK,XR(I)::S(E)
        • S(f);XR(K)::R1(I),XR(b)
        • Q(e);N_GUARD,P_SPINP(g)::S(G),XQ(e)
        • Q(e);N_GUARD,P_SPINP(g)::R1(I)
        • Q(e);N_GUARD::R1(I),XQ(e)
        • R(b);::S(E)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • S(a);N_GUARD::QAB1(C)
        • S(a);N_GUARD::QAB1(C),XS(a)
        • S(f);::R1(I),XR(b)
      • Refutation
        • K(c);S_FLIGHT,XR(I)
    • Try
      • Q(C);
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • Q(e);P_SPINP(g),SBLOCK,XR(I)::QAR1(C)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);SBLOCK,XR(I)::QAR1(C)
        • S(f);SBLOCK,XR(I)::S(E)
        • S(f);XR(K)::R1(I),XR(b)
        • Q(e);N_GUARD,P_SPINP(g)::S(G),XQ(e)
        • Q(e);N_GUARD,P_SPINP(g)::R1(I)
        • Q(e);N_GUARD::R1(I),XQ(e)
        • R(b);::S(E)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • S(a);N_GUARD::QAB1(C)
        • S(a);N_GUARD::QAB1(C),XS(a)
        • S(f);::R1(I),XR(b)
      • Refutation
        • K(c);S_FLIGHT,XR(I)
    • Try
      • P(F);
      • Vars
        • R(b);CHECK,N_GUARD::S(G),XR(b)
        • Q(e);P_SPINP(g),SBLOCK,XR(I)::QAR1(C)
        • R(b);N_GUARD,XS(G)::QAB1(C)
        • R(b);SBLOCK,XR(I)::QAR1(C)
        • S(f);SBLOCK,XR(I)::S(E)
        • S(f);XR(K)::R1(I),XR(b)
        • Q(e);N_GUARD,P_SPINP(g)::S(G),XQ(e)
        • Q(e);N_GUARD,P_SPINP(g)::R1(I)
        • Q(e);N_GUARD::R1(I),XQ(e)
        • R(b);::S(E)
        • R(b);N_GUARD::QAB1(C),XR(b)
        • S(a);N_GUARD::QAB1(C)
        • S(a);N_GUARD::QAB1(C),XS(a)
        • S(f);::R1(I),XR(b)
      • Refutation
        • K(c);S_FLIGHT,XR(I)
  • Actual
    • B(A);
    • Vars
      • R(b);CHECK,N_GUARD::S(G),XR(b)
      • K(c);S_FLIGHT,XR(I)::S(E)
      • Q(e);P_SPINP(g),SBLOCK,XR(I)::QAR1(C)
      • R(b);N_GUARD,XS(G)::QAB1(C)
      • R(b);SBLOCK,XR(I)::QAR1(C)
      • S(f);SBLOCK,XR(I)::S(E)
      • S(f);XR(K)::R1(I),XR(b)
      • Q(e);N_GUARD,P_SPINP(g)::R1(I)
      • Q(e);N_GUARD::R1(I),XQ(e)
      • Q(e);N_GUARD,P_SPINP(g)::S(G),XQ(e)
      • R(b);::S(E)
      • R(b);N_GUARD::QAB1(C),XR(b)
      • S(a);N_GUARD::QAB1(C)
      • S(a);N_GUARD::QAB1(C),XS(a)
      • S(f);::R1(I),XR(b)
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).