MESON Chess Problem Database

Problem Display
PID: 2556 (2R5/4Kp1n/Q7/1R1qkN2/4r2P/4P3/8/1B6 w - - 0 1)

St Maurice, Ephrem

Source?, 0000

2R5/4Kp1n/Q7/1R1qkN2/4r2P/4P3/8/1B6

#2

8 + 5

SOLUTION

  • SOUND
  • Sets
    • 1...Qxb5
      • 2.Qxb5#
    • 1...Qc5+
      • 2.Rbxc5#
      • 2.Rcxc5#
    • 1...Rxe3
      • 2.Qd6#
    • 1...Ra4
      • 2.Qd6#
    • 1...Rb4
      • 2.Qd6#
    • 1...Rc4
      • 2.Qd6#
    • 1...Rd4
      • 2.Qd6#
    • 1...Rf4
      • 2.Qd6#
    • 1...Rg4
      • 2.Qd6#
    • 1...Rxh4
      • 2.Qd6#
    • 1...Sg5
      • 2.Qf6#
    • 1...Sf6
      • 2.Qxf6#
    • 1...Sf8
      • 2.Qf6#
    • 1...f6
      • 2.Qe6#
  • Tries
    • 1.Bc2?
      • 1...Qc5+
        • 2.Rbxc5#
        • 2.Rcxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Bd3?
      • 1...Qc5+
        • 2.Rbxc5#
        • 2.Rcxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Ra5?
      • 1...Qc5+
        • 2.Raxc5#
        • 2.Rcxc5#
      • 1...Qxa5
        • 2.Qxa5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Qb5
        • 2.Rxb5#
        • 2.Qxb5#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Rbc5?
      • 1...Qxc5+
        • 2.Rxc5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Rc1?
      • 1...Qc5+
        • 2.Rcxc5#
        • 2.Rbxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Rc3?
      • 1...Qc5+
        • 2.Rcxc5#
        • 2.Rbxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Rc4?
      • 1...Qc5+
        • 2.Rcxc5#
        • 2.Rbxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxc4
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
        • 2.exf4#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Rcc5?
      • threat
        • 2.Rxd5#
      • 1...Qxc5+
        • 2.Rxc5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Kxf5+!
    • 1.Rc7?
      • 1...Qc5+
        • 2.Rbxc5#
        • 2.Rcxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Ra8?
      • 1...Qc5+
        • 2.Rxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Rcb8?
      • 1...Qc5+
        • 2.Rxc5#
      • 1...Qxb5
        • 2.Rxb5#
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Rd8?
      • threat
        • 2.Rbxd5#
        • 2.Rdxd5#
      • 1...Qc5+
        • 2.Rxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Kxf5+!
    • 1.Re8?
      • 1...Qc5+
        • 2.Rxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Rg8?
      • 1...Qc5+
        • 2.Rxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Rh8?
      • 1...Qc5+
        • 2.Rxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Qa1+?
      • 1...Rd4
        • 2.Qxd4#
      • 1...Kxf5+!
    • 1.Qb6?
      • 1...Qc5+
        • 2.Rbxc5#
        • 2.Rcxc5#
        • 2.Qxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qxe3#
        • 2.Qd4#
        • 2.Qc7#
        • 2.Qd6#
        • 2.Qb8#
      • 1...Rxh4
        • 2.Qc7#
        • 2.Qd6#
        • 2.Qb8#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Ra4
        • 2.Qc7#
        • 2.Qd6#
        • 2.Qb8#
      • 1...Rb4
        • 2.Qc7#
        • 2.Qd6#
        • 2.Qb8#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qxd4#
        • 2.Qc7#
        • 2.Qd6#
        • 2.Qb8#
      • 1...Rf4
        • 2.Qc7#
        • 2.Qd6#
        • 2.Qb8#
      • 1...Rg4
        • 2.Qc7#
        • 2.Qd6#
        • 2.Qb8#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
    • 1.Qc6?
      • threat
        • 2.Rxd5#
        • 2.Qxd5#
      • 1...Qc5+
        • 2.Rxc5#
        • 2.Qxc5#
      • 1...Qxb5
        • 2.Qxe4#
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
        • 2.Qc7#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Rd4
        • 2.Qd6#
        • 2.Qc7#
      • 1...Kxf5+!
    • 1.h5?
      • 1...Qc5+
        • 2.Rbxc5#
        • 2.Rcxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Rh4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf8
        • 2.Qf6#
      • 1...f6
        • 2.Qe6#
      • 1...Kxf5+!
  • Keys
    • 1.Rf8!
      • 1...Kxf5+
        • 2.Qe6#
      • 1...Qc5+
        • 2.Rxc5#
      • 1...Qxb5
        • 2.Qxb5#
      • 1...Rxe3
        • 2.Qd6#
      • 1...Rxh4
        • 2.Qd6#
      • 1...Sxf8
        • 2.Qf6#
      • 1...Ra4
        • 2.Qd6#
      • 1...Rb4
        • 2.Qd6#
      • 1...Rc4
        • 2.Qd6#
      • 1...Rd4
        • 2.Qd6#
      • 1...Rf4
        • 2.Qd6#
      • 1...Rg4
        • 2.Qd6#
      • 1...Sg5
        • 2.Qf6#
      • 1...Sf6
        • 2.Qxf6#
      • 1...f6
        • 2.Qe6#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 2
    • REMOVED MATES = 0
  • Sets
    • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
    • R(a);XP(B)::QAB1(F)
    • R(a);::QAB1(F)
    • R(a);XP(C)::QAB1(F)
    • S(e);N_GUARD::QAB1(F)
    • S(e);N_GUARD::QAB1(F),XS(e)
    • P(d);N_GUARD::QAR1(F)
  • Tries
    • Try
      • B(A);
      • Vars
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);XP(C)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • B(A);
      • Vars
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);XP(C)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • R(D);
      • Vars
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);XP(C)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • R(D);
      • Vars
        • Q(b);CHECK,N_SPINQ(b),OGATE,XR(D)::R(H),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);XP(C)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • R(H);
      • Vars
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);XP(C)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • R(H);
      • Vars
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);XP(C)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • R(H);
      • Vars
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);XR(H)::QAB1(F)
        • R(a);XP(C)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • R(H);
      • Threat
        • R1(H),XQ(b)
      • Vars
        • Q(b);CHECK,OGATE,XR(H)::R(D),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • R(H);
      • Vars
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);XP(C)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • R(H);
      • Vars
        • Q(b);CHECK,OGATEB::R(D),XQ(b)
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);XP(C)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • R(H);
      • Vars
        • Q(b);CHECK,OGATEB::R(D),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);XP(C)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • R(H);
      • Threat
        • DUALS(2)
      • Vars
        • Q(b);CHECK,OGATEB::R(D),XQ(b)
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • R(H);
      • Vars
        • Q(b);CHECK,OGATEB::R(D),XQ(b)
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);XP(C)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • R(H);
      • Vars
        • Q(b);CHECK,OGATEB::R(D),XQ(b)
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);XP(C)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • R(H);
      • Vars
        • Q(b);CHECK,OGATEB::R(D),XQ(b)
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • R(a);XP(C)::QAB1(F)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • Q(F);CHECK
      • Vars
        • R(a);N_GUARD,P_SPINR(a)::QAB1(F),XR(a)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • Q(F);
      • Vars
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • Q(F);
      • Threat
        • DUALS(2)
      • Vars
        • S(e);N_GUARD::QAB1(F),XS(e)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
    • Try
      • P(C);
      • Vars
        • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
        • R(a);XP(B)::QAB1(F)
        • S(e);N_GUARD::QAB1(F),XS(e)
        • R(a);::QAB1(F)
        • S(e);N_GUARD::QAB1(F)
        • P(d);N_GUARD::QAR1(F)
      • Refutation
        • K(c);CHECK,P-FLIGHT,P_SPINR(a),XS(E)
  • Actual
    • R(H);
    • Vars
      • K(c);CHECK,P-FLIGHT,P_SPINP(d),P_SPINR(a),XS(E)::QAB1(F)
      • Q(b);CHECK,OGATEB::R(D),XQ(b)
      • Q(b);N_SPINQ(b),OGATE,XR(D)::QAR(F),XQ(b)
      • R(a);XP(B)::QAB1(F)
      • R(a);XP(C)::QAB1(F)
      • S(e);N_GUARD,XR(H)::QAB1(F)
      • R(a);::QAB1(F)
      • S(e);N_GUARD::QAB1(F)
      • S(e);N_GUARD::QAB1(F),XS(e)
      • P(d);N_GUARD::QAR1(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).