MESON Chess Problem Database

Problem Display
PID: 3124 (2K5/3N2p1/3N1bP1/2R5/2rkp3/Q1npnp1p/5R1B/8 w - - 0 1)

Warton, Joseph John

Warton, Thomas Joseph

Source?, 1918

2K5/3N2p1/3N1bP1/2R5/2rkp3/Q1npnp1p/5R1B/8

#2

8 + 10

2681 All Change Here! 1919

SOLUTION

  • SOUND
  • Sets
    • 1...Ra4
      • 2.Qxc3#
    • 1...Rb4
      • 2.Qxc3#
    • 1...Rxc5+
      • 2.Qxc5#
    • 1...Bh4
      • 2.Be5#
    • 1...Be5
      • 2.Bxe5#
    • 1...Bg5
      • 2.Be5#
    • 1...Be7
      • 2.Be5#
    • 1...Bd8
      • 2.Be5#
    • 1...Sb1
      • 2.Sb5#
    • 1...Scd1
      • 2.Sb5#
    • 1...Sa2
      • 2.Sb5#
    • 1...Se2
      • 2.Sb5#
    • 1...Sa4
      • 2.Sb5#
    • 1...Sb5
      • 2.Sxb5#
    • 1...Scd5
      • 2.Sb5#
    • 1...Sed1
      • 2.Sf5#
    • 1...Sf1
      • 2.Sf5#
    • 1...Sc2
      • 2.Sf5#
    • 1...Sg2
      • 2.Sf5#
    • 1...Sg4
      • 2.Sf5#
    • 1...Sed5
      • 2.Sf5#
    • 1...Sf5
      • 2.Sxf5#
    • 1...d2
      • 2.Rxd2#
  • Tries
    • 1.Kb7?
      • 1...Rxc5
        • 2.Qxc5#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Ra4
        • 2.Qxc3#
      • 1...Bh4
        • 2.Be5#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bg5
        • 2.Be5#
      • 1...Be7
        • 2.Be5#
      • 1...Bd8
        • 2.Be5#
      • 1...Sb1
        • 2.Sb5#
      • 1...Scd1
        • 2.Sb5#
      • 1...Sa2
        • 2.Sb5#
      • 1...Se2
        • 2.Sb5#
      • 1...Sa4
        • 2.Sb5#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Scd5
        • 2.Sb5#
      • 1...Rb4+!
    • 1.Kb8?
      • 1...Rxc5
        • 2.Qxc5#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Ra4
        • 2.Qxc3#
      • 1...Bh4
        • 2.Be5#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bg5
        • 2.Be5#
      • 1...Be7
        • 2.Be5#
      • 1...Bd8
        • 2.Be5#
      • 1...Sb1
        • 2.Sb5#
      • 1...Scd1
        • 2.Sb5#
      • 1...Sa2
        • 2.Sb5#
      • 1...Se2
        • 2.Sb5#
      • 1...Sa4
        • 2.Sb5#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Scd5
        • 2.Sb5#
      • 1...Rb4+!
    • 1.Se5?
      • threat
        • 2.Sc6#
      • 1...Bxe5
        • 2.Bxe5#
      • 1...Rb4
        • 2.Qxc3#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Rxc5+!
    • 1.Sb6?
      • 1...Rb4
        • 2.Qxc3#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Ra4
        • 2.Qxc3#
      • 1...Bh4
        • 2.Be5#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bg5
        • 2.Be5#
      • 1...Be7
        • 2.Be5#
      • 1...Bd8
        • 2.Be5#
      • 1...Sb1
        • 2.Sb5#
      • 1...Scd1
        • 2.Sb5#
      • 1...Sa2
        • 2.Sb5#
      • 1...Se2
        • 2.Sb5#
      • 1...Sa4
        • 2.Sb5#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Scd5
        • 2.Sb5#
      • 1...Rxc5+!
    • 1.Sb8?
      • threat
        • 2.Sc6#
      • 1...Rb4
        • 2.Qxc3#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Rxc5+!
    • 1.Sf8?
      • threat
        • 2.Se6#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Rxc5+!
    • 1.Bg3?
      • 1...Rxc5+
        • 2.Qxc5#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Ra4
        • 2.Qxc3#
      • 1...Rb4
        • 2.Qxc3#
      • 1...Bh4
        • 2.Be5#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bg5
        • 2.Be5#
      • 1...Be7
        • 2.Be5#
      • 1...Bd8
        • 2.Be5#
      • 1...Sb1
        • 2.Sb5#
      • 1...Scd1
        • 2.Sb5#
      • 1...Sa2
        • 2.Sb5#
      • 1...Se2
        • 2.Sb5#
      • 1...Sa4
        • 2.Sb5#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Scd5
        • 2.Sb5#
      • 1...h2!
    • 1.Bf4?
      • 1...Rxc5+
        • 2.Qxc5#
      • 1...d2
        • 2.Rxd2#
      • 1...Ra4
        • 2.Qxc3#
      • 1...Rb4
        • 2.Qxc3#
      • 1...Bh4
        • 2.Be5#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bg5
        • 2.Be5#
      • 1...Be7
        • 2.Be5#
      • 1...Bd8
        • 2.Be5#
      • 1...Sb1
        • 2.Sb5#
      • 1...Scd1
        • 2.Sb5#
      • 1...Sa2
        • 2.Sb5#
      • 1...Se2
        • 2.Sb5#
      • 1...Sa4
        • 2.Sb5#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Scd5
        • 2.Sb5#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
        • 2.Rxc4#
      • 1...Sf5
        • 2.Sxf5#
      • 1...h2!
    • 1.Ra2?
      • 1...Rxc5+
        • 2.Qxc5#
      • 1...Sxa2
        • 2.Sb5#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Ra4
        • 2.Qxc3#
      • 1...Rb4
        • 2.Qxc3#
      • 1...Bh4
        • 2.Be5#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bg5
        • 2.Be5#
      • 1...Be7
        • 2.Be5#
      • 1...Bd8
        • 2.Be5#
      • 1...Sb1
        • 2.Sb5#
      • 1...Scd1
        • 2.Sb5#
      • 1...Se2
        • 2.Sb5#
      • 1...Sa4
        • 2.Sb5#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Scd5
        • 2.Sb5#
      • 1...f2!
    • 1.Rb2?
      • 1...Rxc5+
        • 2.Qxc5#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Ra4
        • 2.Qxc3#
      • 1...Rb4
        • 2.Qxc3#
      • 1...Bh4
        • 2.Be5#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bg5
        • 2.Be5#
      • 1...Be7
        • 2.Be5#
      • 1...Bd8
        • 2.Be5#
      • 1...Sb1
        • 2.Sb5#
      • 1...Scd1
        • 2.Sb5#
      • 1...Sa2
        • 2.Sb5#
      • 1...Se2
        • 2.Sb5#
      • 1...Sa4
        • 2.Sb5#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Scd5
        • 2.Sb5#
      • 1...f2!
    • 1.Rd2?
      • 1...Rxc5+
        • 2.Qxc5#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...Ra4
        • 2.Qxc3#
      • 1...Rb4
        • 2.Qxc3#
      • 1...Bh4
        • 2.Be5#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bg5
        • 2.Be5#
      • 1...Be7
        • 2.Be5#
      • 1...Bd8
        • 2.Be5#
      • 1...Sb1
        • 2.Sb5#
      • 1...Scd1
        • 2.Sb5#
      • 1...Sa2
        • 2.Sb5#
      • 1...Se2
        • 2.Sb5#
      • 1...Sa4
        • 2.Sb5#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Scd5
        • 2.Sb5#
      • 1...f2!
    • 1.Rxc4+?
      • 1...Sxc4
        • 2.Qc5#
      • 1...Kd5!
    • 1.Qc1?
      • 1...d2
        • 2.Rxd2#
        • 2.Qxd2#
      • 1...Ra4
        • 2.Qxc3#
      • 1...Rb4
        • 2.Qxc3#
      • 1...Bh4
        • 2.Be5#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bg5
        • 2.Be5#
      • 1...Be7
        • 2.Be5#
      • 1...Bd8
        • 2.Be5#
      • 1...Sb1
        • 2.Sb5#
      • 1...Scd1
        • 2.Sb5#
      • 1...Sa2
        • 2.Sb5#
      • 1...Se2
        • 2.Sb5#
      • 1...Sa4
        • 2.Sb5#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Scd5
        • 2.Sb5#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
        • 2.Rxc4#
      • 1...Sf5
        • 2.Sxf5#
      • 1...Rxc5+!
    • 1.Qb2?
      • threat
        • 2.Sb5#
      • 1...Sd1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sd5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
        • 2.Qxd2#
      • 1...Rb4
        • 2.Qxc3#
      • 1...Rxc5+!
    • 1.Qb4?
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Bh4
        • 2.Be5#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bg5
        • 2.Be5#
      • 1...Be7
        • 2.Be5#
      • 1...Bd8
        • 2.Be5#
      • 1...Sb1
        • 2.Sb5#
      • 1...Scd1
        • 2.Sb5#
      • 1...Sa2
        • 2.Sb5#
      • 1...Se2
        • 2.Sb5#
      • 1...Sa4
        • 2.Sb5#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Scd5
        • 2.Sb5#
      • 1...Rxb4!
    • 1.Qa1?
      • threat
        • 2.Sb5#
      • 1...Sd1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sd5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Rb4
        • 2.Qxc3#
      • 1...Rxc5+!
    • 1.Qb3?
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Ra4
        • 2.Qxc3#
      • 1...Rb4
        • 2.Qxc3#
      • 1...Bh4
        • 2.Be5#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bg5
        • 2.Be5#
      • 1...Be7
        • 2.Be5#
      • 1...Bd8
        • 2.Be5#
      • 1...Sb1
        • 2.Sb5#
      • 1...Scd1
        • 2.Sb5#
      • 1...Sa2
        • 2.Sb5#
      • 1...Se2
        • 2.Sb5#
      • 1...Sa4
        • 2.Sb5#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Scd5
        • 2.Sb5#
      • 1...Rxc5+!
    • 1.Qxc3+?
      • 1...Rxc3
        • 2.Sb5#
      • 1...Kxc3!
    • 1.Qa5?
      • 1...Rxc5+
        • 2.Qxc5#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Ra4
        • 2.Qxc3#
      • 1...Bh4
        • 2.Be5#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bg5
        • 2.Be5#
      • 1...Be7
        • 2.Be5#
      • 1...Bd8
        • 2.Be5#
      • 1...Sb1
        • 2.Sb5#
      • 1...Scd1
        • 2.Sb5#
      • 1...Sa2
        • 2.Sb5#
      • 1...Se2
        • 2.Sb5#
      • 1...Sa4
        • 2.Sb5#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Scd5
        • 2.Sb5#
      • 1...Rb4!
  • Keys
    • 1.Qa7!
      • 1...Rxc5+
        • 2.Qxc5#
      • 1...Sb1
        • 2.Sb5#
      • 1...Scd1
        • 2.Sb5#
      • 1...Sa2
        • 2.Sb5#
      • 1...Se2
        • 2.Sb5#
      • 1...Sa4
        • 2.Sb5#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Scd5
        • 2.Sb5#
        • 2.Rxc4#
      • 1...Sed1
        • 2.Sf5#
      • 1...Sf1
        • 2.Sf5#
      • 1...Sc2
        • 2.Sf5#
      • 1...Sg2
        • 2.Sf5#
      • 1...Sg4
        • 2.Sf5#
      • 1...Sed5
        • 2.Sf5#
        • 2.Rxc4#
      • 1...Sf5
        • 2.Sxf5#
      • 1...d2
        • 2.Rxd2#
      • 1...Ra4
        • 2.Ra5#
      • 1...Rb4
        • 2.Rb5#
      • 1...Bh4
        • 2.Be5#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bg5
        • 2.Be5#
      • 1...Be7
        • 2.Be5#
      • 1...Bd8
        • 2.Be5#

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 2
    • ADDED MATES = 0
    • REMOVED MATES = 2
  • Sets
    • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
    • R(f);CHECK,OGATE,XR(D)::QAB1(C),XR(f)
    • B(i);N_GUARD::B(B)
    • B(i);N_GUARD::B(B),XB(i)
    • S(a);N_GUARD::S(E)
    • S(a);N_GUARD::S(E),XS(a)
    • S(c);N_GUARD::S(E)
    • S(c);N_GUARD::S(E),XS(c)
    • P(b);OGATEB::R(A),XP(b)
  • Tries
    • Try
      • K(H);N_SPINR(D),S_FLIGHT
      • Vars
        • R(f);OGATE,XR(D)::QAB1(C),XR(f)
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • P(b);OGATEB::R(A),XP(b)
        • R(f);N_GUARD::QAB1(C),XS(a)
        • B(i);N_GUARD::B(B)
        • B(i);N_GUARD::B(B),XB(i)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
      • Refutation
        • R(f);CHECK
    • Try
      • K(H);N_SPINR(D),P-FLIGHT
      • Vars
        • R(f);OGATE,XR(D)::QAB1(C),XR(f)
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • P(b);OGATEB::R(A),XP(b)
        • R(f);N_GUARD::QAB1(C),XS(a)
        • B(i);N_GUARD::B(B)
        • B(i);N_GUARD,P_PINS(E)::B(B),XB(i)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
      • Refutation
        • R(f);CHECK
    • Try
      • S(G);
      • Threat
        • S(G)
      • Vars
        • B(i);OGATE,XS(G)::B(B),XB(i)
        • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • P(b);OGATEB::R(A),XP(b)
      • Refutation
        • R(f);CHECK,XR(D)
    • Try
      • S(G);
      • Vars
        • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • P(b);OGATEB::R(A),XP(b)
        • B(i);N_GUARD::B(B)
        • B(i);N_GUARD::B(B),XB(i)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
      • Refutation
        • R(f);CHECK,XR(D)
    • Try
      • S(G);
      • Threat
        • S(G)
      • Vars
        • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • P(b);OGATEB::R(A),XP(b)
      • Refutation
        • R(f);CHECK,XR(D)
    • Try
      • S(G);
      • Threat
        • S(G)
      • Vars
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • P(b);OGATEB::R(A),XP(b)
      • Refutation
        • R(f);CHECK,XR(D)
    • Try
      • B(B);
      • Vars
        • R(f);CHECK,OGATE,XR(D)::QAB1(C),XR(f)
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • P(b);OGATEB::R(A),XP(b)
        • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
        • B(i);N_GUARD::B(B)
        • B(i);N_GUARD::B(B),XB(i)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
      • Refutation
        • P(e);
    • Try
      • B(B);
      • Vars
        • R(f);CHECK,OGATE,XR(D)::QAB1(C),XR(f)
        • P(b);OGATEB::R(A),XP(b)
        • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
        • B(i);N_GUARD::B(B)
        • B(i);N_GUARD::B(B),XB(i)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
      • Refutation
        • P(e);
    • Try
      • R(A);
      • Vars
        • R(f);CHECK,OGATE,XR(D)::QAB1(C),XR(f)
        • S(a);N_GUARD,XR(A)::S(E)
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • P(b);OGATEB::R(A),XP(b)
        • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
        • B(i);N_GUARD::B(B)
        • B(i);N_GUARD::B(B),XB(i)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
      • Refutation
        • P(d);
    • Try
      • R(A);
      • Vars
        • R(f);CHECK,OGATE,XR(D)::QAB1(C),XR(f)
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • P(b);OGATEB::R(A),XP(b)
        • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
        • B(i);N_GUARD::B(B)
        • B(i);N_GUARD::B(B),XB(i)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
      • Refutation
        • P(d);
    • Try
      • R(A);P_PINP(b)
      • Vars
        • R(f);CHECK,OGATE,XR(D)::QAB1(C),XR(f)
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
        • B(i);N_GUARD::B(B)
        • B(i);N_GUARD::B(B),XB(i)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
      • Refutation
        • P(d);
    • Try
      • R(D);CHECK,N_SPINR(D),XR(f)
      • Vars
        • S(c);XR(D)::QAB1(C)
      • Refutation
        • K(g);P-FLIGHT
    • Try
      • Q(C);
      • Vars
        • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
        • B(i);N_GUARD::B(B)
        • B(i);N_GUARD::B(B),XB(i)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
      • Refutation
        • R(f);CHECK,XR(D)
    • Try
      • Q(C);P_PINS(a)
      • Threat
        • S(E)
      • Vars
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
      • Refutation
        • R(f);CHECK,XR(D)
    • Try
      • Q(C);P_PINR(f)
      • Vars
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • P(b);OGATEB::R(A),XP(b)
        • B(i);N_GUARD::B(B)
        • B(i);N_GUARD::B(B),XB(i)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
      • Refutation
        • R(f);N_PINR(D),N_SPINR(f),XQ(C)
    • Try
      • Q(C);P_PINS(a)
      • Threat
        • S(E)
      • Vars
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • P(b);OGATEB::R(A),XP(b)
        • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
      • Refutation
        • R(f);CHECK,XR(D)
    • Try
      • Q(C);
      • Vars
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • P(b);OGATEB::R(A),XP(b)
        • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
        • B(i);N_GUARD::B(B)
        • B(i);N_GUARD::B(B),XB(i)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
      • Refutation
        • R(f);CHECK,XR(D)
    • Try
      • Q(C);CHECK,XS(a)
      • Vars
        • R(f);XQ(C)::S(E)
      • Refutation
        • K(g);P_SPINR(f),S_FLIGHT,XQ(C)
    • Try
      • Q(C);
      • Vars
        • R(f);CHECK,OGATE,XR(D)::QAB1(C),XR(f)
        • S(c);N_GUARD::S(E)
        • S(c);N_GUARD::S(E),XS(c)
        • P(b);OGATEB::R(A),XP(b)
        • R(f);N_GUARD,N_PINR(D)::QAB1(C),XS(a)
        • B(i);N_GUARD::B(B)
        • B(i);N_GUARD::B(B),XB(i)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
      • Refutation
        • R(f);N_PINR(D)
  • Actual
    • Q(C);
    • Vars
      • R(f);CHECK,OGATE,P_SPINR(f),XR(D)::QAB1(C),XR(f)
      • S(a);N_GUARD::S(E)
      • S(a);N_GUARD::S(E),XS(a)
      • S(c);N_GUARD::S(E)
      • S(c);N_GUARD::S(E),XS(c)
      • P(b);OGATEB::R(A),XP(b)
      • R(f);N_PINR(D)::QAB(C)+R(D)
      • B(i);N_GUARD::B(B)
      • B(i);N_GUARD::B(B),XB(i)
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).