MESON Chess Problem Database

Problem Display
PID: 133050 (4Q3/6pp/4P2k/3PN1nP/3p1N2/3Pp3/5nKR/2BB4 w - - 0 1)

Reddmann, Hauke

Die Schwalbe, 1995

4Q3/6pp/4P2k/3PN1nP/3p1N2/3Pp3/5nKR/2BB4

#2

11 + 7

14475 Mat Plus Review 2007

SOLUTION

  • SOUND
  • Sets
    • 1...Sxd1
      • 2.Sg4#
    • 1...Sh1
      • 2.Sg4#
    • 1...Sxd3
      • 2.Sg4#
    • 1...Sfh3
      • 2.Sg4#
    • 1...Sfe4
      • 2.Sg4#
    • 1...Sg4
      • 2.Sxg4#
    • 1...Sf3
      • 2.Sf7#
    • 1...Sgh3
      • 2.Sf7#
    • 1...Sge4
      • 2.Sf7#
    • 1...Sxe6
      • 2.Sf7#
    • 1...Sf7
      • 2.Sxf7#
    • 1...g6
      • 2.Qf8#
  • Tries
    • 1.Kf1?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2+!
    • 1.Se2?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...Sgh3!
    • 1.Sh3?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sfxh3
        • 2.Sg4#
      • 1...Sgxh3
        • 2.Sf7#
      • 1...Sxe6
        • 2.Sf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...e2
        • 2.Bxg5#
      • 1...Sf3!
    • 1.Sfg6?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...hxg6
        • 2.Qxg6#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2
        • 2.Sf7#
      • 1...Sfh3!
    • 1.Bb2?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.Ba3?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Bf8#
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.Bxe3?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...dxe3!
    • 1.Bc2?
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sd1
        • 2.Sg4#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.Bb3?
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sd1
        • 2.Sg4#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.Bf3?
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxf3
        • 2.Sf7#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sd1
        • 2.Sg4#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.Ba4?
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sd1
        • 2.Sg4#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.Rh1?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxh1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.Rh3?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sfxh3
        • 2.Sg4#
      • 1...Sgxh3
        • 2.Sf7#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.Rh4?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.Qe7?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...e2!
    • 1.Qa8?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.Qb8?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.Qc8?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.Qd8?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...e2!
    • 1.Qf8?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.Qg8?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...g6
        • 2.Qf8#
      • 1...e2!
    • 1.Qh8?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...g6
        • 2.Qf8#
      • 1...e2!
    • 1.d6?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
    • 1.e7?
      • 1...Sxd1
        • 2.Sg4#
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Se6
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#
      • 1...e2!
  • Keys
    • 1.Be2!
      • 1...Sxd3
        • 2.Sg4#
      • 1...Sxe6
        • 2.Sf7#
      • 1...Sf3
        • 2.Sf7#
      • 1...Sgh3
        • 2.Sf7#
      • 1...Sge4
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...g6
        • 2.Qf8#
      • 1...Sd1
        • 2.Sg4#
      • 1...Sh1
        • 2.Sg4#
      • 1...Sfh3
        • 2.Sg4#
      • 1...Sfe4
        • 2.Sg4#
      • 1...Sg4
        • 2.Sxg4#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • S(a);N_GUARD,XB(B)::S(H)
    • S(a);N_GUARD::S(H)
    • S(a);N_GUARD,XP(E)::S(H)
    • S(a);N_GUARD::S(H),XS(a)
    • S(d);N_GUARD::S(H)
    • S(d);N_GUARD,XP(J)::S(H)
    • S(d);N_GUARD::S(H),XS(d)
    • P(f);OGATEB::QAB(K)
  • Tries
    • Try
      • K(C);S_FLIGHT
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);CHECK
    • Try
      • S(F);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,P_SPINP(b),XP(J)::S(H)
        • S(d);N_GUARD,P_SPINP(b)::S(H)
        • S(d);N_GUARD,P_SPINP(b)::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • S(d);P_SPINP(b)
    • Try
      • S(F);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(a);N_GUARD,XS(F)::S(H)
        • S(d);N_GUARD,P_SPINP(b),XS(F)::S(H)
        • S(d);N_GUARD,P_SPINP(b),XP(J)::S(H)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
        • S(d);N_GUARD,P_SPINP(b)::S(H)
        • S(d);N_GUARD,P_SPINP(b)::S(H),XS(d)
        • P(b);OGATE,P_SPINS(d)::B(A),XS(d)
      • Refutation
        • S(d);P_SPINP(b)
    • Try
      • S(F);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,P_SPINP(b),XP(J)::S(H)
        • P(g);OGATE,XS(F)::QAR1(K),XP(g)
        • S(d);N_GUARD,P_SPINP(b)::S(H)
        • S(d);N_GUARD,P_SPINP(b)::S(H),XS(d)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
        • P(b);P_SPINS(d)::S(H)
      • Refutation
        • S(a);
    • Try
      • B(A);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • B(A);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • B(A);XP(b)
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(c);XB(A)
    • Try
      • B(B);
      • Vars
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • B(B);
      • Vars
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • B(B);
      • Vars
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XB(B)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • B(B);
      • Vars
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • R(D);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XR(D)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • R(D);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(a);N_GUARD,XR(D)::S(H)
        • S(d);N_GUARD,XR(D)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • R(D);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • Q(K);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
      • Refutation
        • P(b);
    • Try
      • Q(K);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • Q(K);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • Q(K);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • Q(K);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
      • Refutation
        • P(b);
    • Try
      • Q(K);P_PINP(f)
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • Q(K);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
        • P(f);OGATEB::QAB(K)
      • Refutation
        • P(b);
    • Try
      • Q(K);P_PINP(g)
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
        • P(f);OGATEB::QAB(K)
      • Refutation
        • P(b);
    • Try
      • P(G);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD,XP(J)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
    • Try
      • P(J);
      • Vars
        • S(a);N_GUARD,XB(B)::S(H)
        • S(a);N_GUARD,XP(E)::S(H)
        • S(d);N_GUARD::S(H)
        • S(d);N_GUARD::S(H),XS(d)
        • P(f);OGATEB::QAB(K)
        • S(a);N_GUARD::S(H)
        • S(a);N_GUARD::S(H),XS(a)
      • Refutation
        • P(b);
  • Actual
    • B(B);
    • Vars
      • S(a);N_GUARD,XP(E)::S(H)
      • S(d);N_GUARD,XP(J)::S(H)
      • S(d);N_GUARD::S(H)
      • S(d);N_GUARD::S(H),XS(d)
      • P(f);OGATEB::QAB(K)
      • S(a);N_GUARD::S(H)
      • S(a);N_GUARD::S(H),XS(a)
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).