MESON Chess Problem Database

Problem Display
PID: 99325 (3Q3B/2p5/K1p1P2p/1pR2p2/1Pp1krn1/4NN2/2PPn1P1/5R2 w - - 0 1)

Onkoud, Abdelaziz

Sakkelet, 1995

3Q3B/2p5/K1p1P2p/1pR2p2/1Pp1krn1/4NN2/2PPn1P1/5R2

#2

12 + 10

6490 yacpdb 2009

SOLUTION

  • SOUND
  • Sets
    • 1...Sc1
      • 2.Qd4#
    • 1...Sg1
      • 2.Qd4#
    • 1...Sc3
      • 2.Qd4#
    • 1...Sg3
      • 2.Qd4#
    • 1...Sd4
      • 2.Qxd4#
    • 1...Sf2
      • 2.Re5#
    • 1...Sh2
      • 2.Re5#
    • 1...Sxe3
      • 2.Re5#
    • 1...Se5
      • 2.Rxe5#
    • 1...Sf6
      • 2.Re5#
    • 1...c3
      • 2.Qd3#
    • 1...h5
      • 2.Sg5#
  • Tries
    • 1.Ka5?
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Ka7?
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Kb7?
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Sd1?
      • 1...Sc1
        • 2.Sc3#
        • 2.Qd4#
      • 1...Sg1
        • 2.Sc3#
        • 2.Qd4#
      • 1...Sc3
        • 2.Sxc3#
        • 2.Qd4#
      • 1...Sg3
        • 2.Sc3#
        • 2.Qd4#
      • 1...Sd4
        • 2.Sc3#
        • 2.Qxd4#
      • 1...Sf2
        • 2.Sxf2#
        • 2.Re5#
      • 1...Sh2
        • 2.Sf2#
        • 2.Re5#
      • 1...Se3
        • 2.Sf2#
        • 2.Re5#
      • 1...Se5
        • 2.Sf2#
        • 2.Rxe5#
      • 1...Sf6
        • 2.Sf2#
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
        • 2.d3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Ba1?
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Bb2?
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Bc3?
      • 1...Sxc3
        • 2.Qd4#
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Bf6?
      • 1...Sxe3
        • 2.Re5#
      • 1...Sxf6
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Bg7?
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Ra1?
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Rb1?
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Rc1?
      • 1...Sxc1
        • 2.Qd4#
      • 1...Sxe3
        • 2.Re5#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Rd1?
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Re1?
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Rg1?
      • 1...Sxg1
        • 2.Qd4#
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Rh1?
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Rf2?
      • 1...Sxf2
        • 2.Re5#
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Rxc4+?
      • 1...Sd4
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...bxc4!
    • 1.Rxb5?
      • 1...Sxe3
        • 2.Re5#
      • 1...cxb5
        • 2.Qd5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...c5
        • 2.Qd5#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.Rxf5?
      • 1...Rxf3
        • 2.gxf3#
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...c5
        • 2.Qd5#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf5!
    • 1.Qd6?
      • threat
        • 2.Qxc6#
      • 1...Rxf3
        • 2.gxf3#
      • 1...Sxe3
        • 2.Re5#
        • 2.Qe5#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Se5
        • 2.Rxe5#
        • 2.Qxe5#
      • 1...Sf6
        • 2.Re5#
        • 2.Qe5#
      • 1...cxd6!
    • 1.Qd7?
      • threat
        • 2.Qxc6#
      • 1...Sxe3
        • 2.Re5#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...Rxf3!
    • 1.c3?
      • 1...Sxc3
        • 2.Qd4#
      • 1...Sxe3
        • 2.Re5#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sf2
        • 2.Re5#
      • 1...Sh2
        • 2.Re5#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
    • 1.d3+?
      • 1...cxd3
        • 2.Qxd3#
      • 1...Kxe3!
    • 1.e7?
      • 1...Sxe3
        • 2.Re5#
        • 2.e8Q#
        • 2.e8R#
      • 1...Sc1
        • 2.Qd4#
      • 1...Sg1
        • 2.Qd4#
      • 1...Sc3
        • 2.Qd4#
      • 1...Sg3
        • 2.Qd4#
      • 1...Sd4
        • 2.Qxd4#
      • 1...Sf2
        • 2.Re5#
        • 2.e8Q#
        • 2.e8R#
      • 1...Sh2
        • 2.Re5#
        • 2.e8Q#
        • 2.e8R#
      • 1...Se5
        • 2.Rxe5#
      • 1...Sf6
        • 2.Re5#
      • 1...c3
        • 2.Qd3#
      • 1...h5
        • 2.Sg5#
      • 1...Rxf3!
  • Keys
    • 1.Sd5!
      • 1...Rxf3
        • 2.gxf3#
      • 1...cxd5
        • 2.Qxd5#
      • 1...Sc1
        • 2.Sc3#
      • 1...Sg1
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sg3
        • 2.Sc3#
      • 1...Sd4
        • 2.Sc3#
      • 1...Sf2
        • 2.Sf6#
      • 1...Sh2
        • 2.Sf6#
      • 1...Se3
        • 2.Sf6#
      • 1...Se5
        • 2.Sf6#
      • 1...Sf6
        • 2.Sxf6#
      • 1...c3
        • 2.d3#
      • 1...h5
        • 2.Sg5#

FEATURES

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