MESON Chess Problem Database

Problem Display
PID: 53834 (2K1k3/1P2P2B/2R4P/8/p6n/Br2R1p1/Q5P1/8 w - - 0 1)

Gunn, Robert Ivan

Chess, 1943

2K1k3/1P2P2B/2R4P/8/p6n/Br2R1p1/Q5P1/8

#2

10 + 5

SOLUTION

  • SOUND
  • Sets
    • 1...Kf7
      • 2.e8Q#
      • 2.e8B#
    • 1...Rb1
      • 2.Qg8#
    • 1...Rb2
      • 2.Qg8#
    • 1...Rxa3
      • 2.Qg8#
    • 1...Rc3
      • 2.Qg8#
    • 1...Rd3
      • 2.Qg8#
    • 1...Rxe3
      • 2.Qg8#
    • 1...Rb4
      • 2.Qg8#
    • 1...Rb5
      • 2.Qg8#
    • 1...Rb6
      • 2.Qg8#
    • 1...Rxb7
      • 2.Qg8#
    • 1...Sxg2
      • 2.Bg6#
    • 1...Sf3
      • 2.Bg6#
    • 1...Sf5
      • 2.Bg6#
    • 1...Sg6
      • 2.Bxg6#
  • Tries
    • 1.Kc7?
      • 1...Kf7
        • 2.e8Q#
        • 2.e8B#
      • 1...Rxa3
        • 2.Qg8#
        • 2.b8Q#
        • 2.b8R#
      • 1...Rxe3
        • 2.Qg8#
        • 2.b8Q#
        • 2.b8R#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rc3
        • 2.Qg8#
        • 2.b8Q#
        • 2.b8R#
      • 1...Rd3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rxb7+!
    • 1.Bb4?
      • 1...Kf7
        • 2.e8Q#
        • 2.e8B#
      • 1...Rxe3
        • 2.Qg8#
      • 1...Rxb4
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Ra3
        • 2.Qg8#
      • 1...Rc3
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...a3!
    • 1.Bc5?
      • 1...Kf7
        • 2.e8Q#
        • 2.e8B#
      • 1...Rxe3
        • 2.Qg8#
      • 1...Rxb7
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Ra3
        • 2.Qg8#
      • 1...Rc3
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...a3!
    • 1.Bb1?
      • 1...Kf7
        • 2.e8Q#
      • 1...Rxb1
        • 2.Qg8#
      • 1...Rxa3
        • 2.Qg8#
      • 1...Rxe3
        • 2.Qg8#
      • 1...Rxb7
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rc3
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Sf5!
    • 1.Bc2?
      • 1...Kf7
        • 2.e8Q#
      • 1...Rxa3
        • 2.Qg8#
      • 1...Rxe3
        • 2.Qg8#
      • 1...Rxb7
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rc3
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Sf5!
    • 1.Bd3?
      • 1...Kf7
        • 2.e8Q#
      • 1...Rxa3
        • 2.Qg8#
      • 1...Rxd3
        • 2.Qg8#
      • 1...Rxb7
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rc3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Sf5!
    • 1.Bf5?
      • 1...Kf7
        • 2.e8Q#
      • 1...Rxa3
        • 2.Bd7#
        • 2.Qg8#
      • 1...Rxe3
        • 2.Bd7#
        • 2.Qg8#
      • 1...Rxb7
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Bd7#
        • 2.Qg8#
      • 1...Rb2
        • 2.Bd7#
        • 2.Qg8#
      • 1...Rc3
        • 2.Bd7#
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Rb4
        • 2.Bd7#
        • 2.Qg8#
      • 1...Rb5
        • 2.Bd7#
        • 2.Qg8#
      • 1...Rb6
        • 2.Bd7#
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Sxf5!
    • 1.Re1?
      • 1...Kf7
        • 2.e8Q#
        • 2.e8B#
      • 1...Rxa3
        • 2.Qg8#
      • 1...Rxb7
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rc3
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Re3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rf3!
    • 1.Re2?
      • 1...Kf7
        • 2.e8Q#
        • 2.e8B#
      • 1...Rxa3
        • 2.Qg8#
      • 1...Rxb7
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rc3
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Re3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rf3!
    • 1.Rf3?
      • threat
        • 2.Rf8#
      • 1...Rxa3
        • 2.Qf7#
      • 1...Sxf3
        • 2.Bg6#
      • 1...Rb4
        • 2.Qf7#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rxf3!
    • 1.Re4?
      • 1...Kf7
        • 2.e8Q#
        • 2.e8B#
      • 1...Rxa3
        • 2.Qg8#
      • 1...Rxb7
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rc3
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Re3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rf3!
    • 1.Re5?
      • 1...Kf7
        • 2.e8Q#
        • 2.e8B#
      • 1...Rxa3
        • 2.Qg8#
      • 1...Rxb7
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rc3
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Re3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rf3!
    • 1.Ra6?
      • 1...Kf7
        • 2.e8Q#
        • 2.e8B#
      • 1...Rxa3
        • 2.Qg8#
      • 1...Rxe3
        • 2.Qg8#
      • 1...Rxb7
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rc3+!
    • 1.Rb6?
      • 1...Kf7
        • 2.e8Q#
        • 2.e8B#
      • 1...Rxa3
        • 2.Qg8#
      • 1...Rxe3
        • 2.Qg8#
      • 1...Rxb6
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rc3+!
    • 1.Rd6?
      • 1...Kf7
        • 2.e8Q#
      • 1...Rxa3
        • 2.Rd8#
        • 2.Qg8#
      • 1...Rxe3
        • 2.Rd8#
      • 1...Rxb7
        • 2.Rd8#
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Rd8#
        • 2.Qg8#
      • 1...Rb2
        • 2.Rd8#
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Rb4
        • 2.Rd8#
        • 2.Qg8#
      • 1...Rb5
        • 2.Rd8#
        • 2.Qg8#
      • 1...Rb6
        • 2.Rd8#
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rc3+!
    • 1.Rf6?
      • threat
        • 2.Rf8#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rc3+!
    • 1.Qxb3?
      • threat
        • 2.Qg8#
      • 1...Sg6
        • 2.Bxg6#
      • 1...axb3!
    • 1.Qf2?
      • threat
        • 2.Qf8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...gxf2!
    • 1.b8Q?
      • 1...Kf7
        • 2.e8Q#
        • 2.e8B#
      • 1...Rxa3
        • 2.Kc7#
        • 2.Qg8#
      • 1...Rxe3
        • 2.Kc7#
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rc3
        • 2.Kc7#
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Rb7
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rxb8+!
    • 1.b8S?
      • 1...Kf7
        • 2.e8Q#
        • 2.e8B#
      • 1...Rxa3
        • 2.Qg8#
      • 1...Rxe3
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rc3
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Rb7
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rxb8+!
    • 1.b8B?
      • 1...Kf7
        • 2.e8Q#
        • 2.e8B#
      • 1...Rxa3
        • 2.Qg8#
      • 1...Rxe3
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rc3
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Rb7
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rxb8+!
    • 1.b8R?
      • 1...Kf7
        • 2.e8Q#
        • 2.e8B#
      • 1...Rxa3
        • 2.Kc7#
        • 2.Qg8#
      • 1...Rxe3
        • 2.Kc7#
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rc3
        • 2.Kc7#
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Rb7
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#
      • 1...Rxb8+!
  • Keys
    • 1.Rc7!
      • 1...Kf7
        • 2.e8S#
      • 1...Rxa3
        • 2.Qg8#
      • 1...Rxe3
        • 2.Qg8#
      • 1...Rxb7
        • 2.Qg8#
      • 1...Sxg2
        • 2.Bg6#
      • 1...Rb1
        • 2.Qg8#
      • 1...Rb2
        • 2.Qg8#
      • 1...Rc3
        • 2.Qg8#
      • 1...Rd3
        • 2.Qg8#
      • 1...Rb4
        • 2.Qg8#
      • 1...Rb5
        • 2.Qg8#
      • 1...Rb6
        • 2.Qg8#
      • 1...Sf3
        • 2.Bg6#
      • 1...Sf5
        • 2.Bg6#
      • 1...Sg6
        • 2.Bxg6#

FEATURES

  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
    • R(a);OGATE::QAR2(A)
    • R(a);OGATE,XB(C)::QAR2(A)
    • R(a);OGATE,P_PINR(E)::QAR2(A)
    • R(a);OGATE,XR(D)::QAR2(A)
    • R(a);OGATE,XP(G)::QAR2(A)
    • S(d);N_GUARD,XP(B)::B(I)
    • S(d);N_GUARD::B(I)
    • S(d);N_GUARD::B(I),XS(d)
  • Tries
    • Try
      • K(J);P-FLIGHT
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);CHECK,XP(G)
    • Try
      • B(C);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XR(D)::QAR2(A)
        • R(a);OGATE,XB(C)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • R(a);OGATE,P_PINR(E)::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • P(c);
    • Try
      • B(C);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XR(D)::QAR2(A)
        • R(a);OGATE,XP(G)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • P(c);
    • Try
      • B(I);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XB(I)::QAR2(A)
        • R(a);OGATE,XB(C)::QAR2(A)
        • R(a);OGATE,XR(D)::QAR2(A)
        • R(a);OGATE,XP(G)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • R(a);OGATE,P_PINR(E)::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • S(d);
    • Try
      • B(I);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XB(C)::QAR2(A)
        • R(a);OGATE,XR(D)::QAR2(A)
        • R(a);OGATE,XP(G)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • R(a);OGATE,P_PINR(E)::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • S(d);
    • Try
      • B(I);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XB(C)::QAR2(A)
        • R(a);OGATE,XB(I)::QAR2(A)
        • R(a);OGATE,XP(G)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • R(a);OGATE,P_PINR(E)::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • S(d);
    • Try
      • B(I);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XP(G)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • S(d);XB(I)
    • Try
      • R(D);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XB(C)::QAR2(A)
        • R(a);OGATE,XP(G)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • R(a);OGATE,P_PINR(E)::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);
    • Try
      • R(D);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XB(C)::QAR2(A)
        • R(a);OGATE,XP(G)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • R(a);OGATE,P_PINR(E)::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);
    • Try
      • R(D);
      • Threat
        • R1(D)
      • Vars
        • R(a);OGATE,XB(C)::QAB1(A)
        • S(d);N_GUARD,XR(D)::B(I)
        • R(a);OGATE::QAB1(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);XR(D)
    • Try
      • R(D);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XB(C)::QAR2(A)
        • R(a);OGATE,XP(G)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • R(a);OGATE,P_PINR(E)::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);
    • Try
      • R(D);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XB(C)::QAR2(A)
        • R(a);OGATE,XP(G)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • R(a);OGATE,P_PINR(E)::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);
    • Try
      • R(E);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XB(C)::QAR2(A)
        • R(a);OGATE,XR(D)::QAR2(A)
        • R(a);OGATE,XP(G)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);CHECK
    • Try
      • R(E);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XB(C)::QAR2(A)
        • R(a);OGATE,XR(D)::QAR2(A)
        • R(a);OGATE,XR(E)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);CHECK
    • Try
      • R(E);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);XR(D)::R1(E)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);CHECK
    • Try
      • R(E);
      • Threat
        • R1(E)
      • Vars
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);CHECK
    • Try
      • Q(A);XR(a)
      • Threat
        • QAR2(A)
      • Vars
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • P(c);XQ(A)
    • Try
      • Q(A);
      • Threat
        • QAR1(A)
      • Vars
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • P(b);XQ(A)
    • Try
      • P(G);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);CHECK,XQ(G)
    • Try
      • P(G);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XB(C)::QAR2(A)
        • R(a);OGATE,XR(D)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • R(a);OGATE,P_PINR(E)::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);CHECK,XS(G)
    • Try
      • P(G);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • R(a);OGATE,XB(C)::QAR2(A)
        • R(a);OGATE,XR(D)::QAR2(A)
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • R(a);OGATE,P_PINR(E)::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);CHECK,XB(G)
    • Try
      • P(G);
      • Vars
        • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=Q
        • S(d);N_GUARD,XP(B)::B(I)
        • R(a);OGATE::QAR2(A)
        • S(d);N_GUARD::B(I)
        • S(d);N_GUARD::B(I),XS(d)
      • Refutation
        • R(a);CHECK,XR(G)
  • Actual
    • R(E);
    • Vars
      • K(e);OGATE,P_SPINR(a),S_FLIGHT::P=S
      • R(a);OGATE,XB(C)::QAR2(A)
      • R(a);OGATE,XR(D)::QAR2(A)
      • R(a);OGATE,XP(G)::QAR2(A)
      • S(d);N_GUARD,XP(B)::B(I)
      • R(a);OGATE::QAR2(A)
      • R(a);OGATE,P_PINR(E)::QAR2(A)
      • S(d);N_GUARD::B(I)
      • S(d);N_GUARD::B(I),XS(d)
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).