MESON Chess Problem Database

Problem Display
PID: 205016 (8/1p6/1Q5p/r2N1B1K/1nk5/Pp2Bp2/1Rn2N2/2R5 w - - 0 1)

Barry, Henry William

American Chess Bulletin, 1918

8/1p6/1Q5p/r2N1B1K/1nk5/Pp2Bp2/1Rn2N2/2R5

#2

9 + 8

15148 Sadier Collection 2020

SOLUTION

  • SOUND
  • Sets
    • 1...Kxd5
      • 2.Qe6#
    • 1...Rxa3
      • 2.Qc5#
    • 1...Ra4
      • 2.Qc5#
    • 1...Rb5
      • 2.Qd4#
    • 1...Rc5
      • 2.Qxc5#
    • 1...Rxd5
      • 2.Qxb4#
    • 1...Ra6
      • 2.Qc5#
    • 1...Ra7
      • 2.Qc5#
    • 1...Ra8
      • 2.Qc5#
    • 1...Sa2
      • 2.Qxb3#
    • 1...Sd3
      • 2.Qxb3#
    • 1...Sxd5
      • 2.Qxb3#
    • 1...Sa6
      • 2.Qxb3#
    • 1...Sc6
      • 2.Qxb3#
  • Tries
    • 1.Kg4?
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Rxd5
        • 2.Qxb4#
      • 1...Sxd5
        • 2.Qxb3#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Ra6
        • 2.Qc5#
      • 1...Ra7
        • 2.Qc5#
      • 1...Ra8
        • 2.Qc5#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...h5+!
    • 1.Kh4?
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Rxd5
        • 2.Qxb4#
      • 1...Sxd5
        • 2.Qxb3#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Ra6
        • 2.Qc5#
      • 1...Ra7
        • 2.Qc5#
      • 1...Ra8
        • 2.Qc5#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...h5!
    • 1.Kxh6?
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Rxd5
        • 2.Qxb4#
      • 1...Sxd5
        • 2.Qxb3#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Ra7
        • 2.Qc5#
      • 1...Ra8
        • 2.Qc5#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...Ra6!
    • 1.Sd1?
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Rxd5
        • 2.Qxb4#
      • 1...Sxd5
        • 2.Qxb3#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Ra6
        • 2.Qc5#
      • 1...Ra7
        • 2.Qc5#
      • 1...Ra8
        • 2.Qc5#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...f2!
    • 1.Sh1?
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Rxd5
        • 2.Qxb4#
      • 1...Sxd5
        • 2.Qxb3#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Ra6
        • 2.Qc5#
      • 1...Ra7
        • 2.Qc5#
      • 1...Ra8
        • 2.Qc5#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...f2!
    • 1.Sd3?
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Rxd5
        • 2.Qxb4#
      • 1...Sxd3
        • 2.Qxb3#
      • 1...Sxd5
        • 2.Qxb3#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Ra6
        • 2.Qc5#
      • 1...Ra7
        • 2.Qc5#
      • 1...Ra8
        • 2.Qc5#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...f2!
    • 1.Sh3?
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Rxd5
        • 2.Qxb4#
      • 1...Sxd5
        • 2.Qxb3#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Ra6
        • 2.Qc5#
      • 1...Ra7
        • 2.Qc5#
      • 1...Ra8
        • 2.Qc5#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...f2!
    • 1.Sg4?
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Rxd5
        • 2.Qxb4#
      • 1...Sxd5
        • 2.Qxb3#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Ra6
        • 2.Qc5#
      • 1...Ra7
        • 2.Qc5#
      • 1...Ra8
        • 2.Qc5#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...f2!
    • 1.Sf4?
      • threat
        • 2.Qxb4#
      • 1...Kc3
        • 2.Qd4#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sd5
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...Rxf5+!
    • 1.Sf6?
      • threat
        • 2.Qxb4#
      • 1...Kc3
        • 2.Qd4#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sd5
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...Rxf5+!
    • 1.Sc7?
      • threat
        • 2.Qd4#
        • 2.Qxb4#
      • 1...Kc3
        • 2.Qd4#
      • 1...Rxa3
        • 2.Qd4#
        • 2.Qc5#
      • 1...Ra4
        • 2.Qd4#
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
        • 2.Qxb4#
      • 1...Rd5
        • 2.Qxb4#
      • 1...Sa2
        • 2.Qd4#
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qd4#
        • 2.Qxb3#
      • 1...Sd5
        • 2.Qd4#
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qd4#
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...Rxf5+!
    • 1.Se7?
      • threat
        • 2.Qxb4#
      • 1...Kc3
        • 2.Qd4#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sd5
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...Rxf5+!
    • 1.Bd3+?
      • 1...Sxd3
        • 2.Qxb3#
      • 1...Kxd5!
    • 1.Bh3?
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Sxd5
        • 2.Qxb3#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Ra6
        • 2.Qc5#
      • 1...Ra7
        • 2.Qc5#
      • 1...Ra8
        • 2.Qc5#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...Rxd5+!
    • 1.Be4?
      • threat
        • 2.Qxb4#
      • 1...Sxd5
        • 2.Qxb3#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...Rxd5+!
    • 1.Bg4?
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Sxd5
        • 2.Qxb3#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Ra6
        • 2.Qc5#
      • 1...Ra7
        • 2.Qc5#
      • 1...Ra8
        • 2.Qc5#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...Rxd5+!
    • 1.Be6?
      • threat
        • 2.Qxb4#
      • 1...Sxd5
        • 2.Qxb3#
        • 2.Qb4#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...Rxd5+!
    • 1.Bd7?
      • threat
        • 2.Qd4#
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Sc6
        • 2.Qxb3#
      • 1...Rxd5+!
    • 1.Bc8?
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Sxd5
        • 2.Qxb3#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Ra6
        • 2.Qc5#
      • 1...Ra7
        • 2.Qc5#
      • 1...Ra8
        • 2.Qc5#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...Rxd5+!
    • 1.Rcxc2+?
      • 1...Kxd5
        • 2.Qd4#
        • 2.Qe6#
      • 1...Sxc2
        • 2.Qxb3#
      • 1...bxc2!
    • 1.Rbb1?
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rxa3
        • 2.Qc5#
      • 1...Rxd5
        • 2.Qxb4#
      • 1...Sxd5
        • 2.Qxb3#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Ra6
        • 2.Qc5#
      • 1...Ra7
        • 2.Qc5#
      • 1...Ra8
        • 2.Qc5#
      • 1...Sa2
        • 2.Qxb3#
      • 1...Sd3
        • 2.Qxb3#
      • 1...Sa6
        • 2.Qxb3#
      • 1...Sc6
        • 2.Qxb3#
      • 1...b2!
    • 1.axb4?
      • 1...Kxd5
        • 2.Qe6#
      • 1...Ra1
        • 2.Qc5#
      • 1...Ra2
        • 2.Qc5#
      • 1...Ra3
        • 2.Qc5#
      • 1...Ra4
        • 2.Qc5#
      • 1...Rb5
        • 2.Qd4#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Ra6
        • 2.Qc5#
      • 1...Ra7
        • 2.Qc5#
      • 1...Ra8
        • 2.Qc5#
      • 1...Rxd5!
    • 1.a4?
      • threat
        • 2.Qd4#
      • 1...Kxd5
        • 2.Qe6#
      • 1...Rxa4
        • 2.Qc5#
      • 1...Rc5
        • 2.Qxc5#
      • 1...Sc6
        • 2.Qxb3#
      • 1...Rxd5!
  • Keys
    • 1.Bd4!
      • threat
        • 2.Se3#
      • 1...Kxd5
        • 2.Be6#
      • 1...Rxd5
        • 2.Qxb4#
      • 1...Sxd5
        • 2.Bd3#
      • 1...Rc5
        • 2.Qxc5#

FEATURES

  • Static
    • TYPE = BLOCK_THREAT
    • CHANGED MATES = 2
    • ADDED MATES = 0
    • REMOVED MATES = 10
  • Sets
    • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
    • R(f);N_GUARD,XP(D)::QAR1(I)
    • R(f);N_GUARD::QAR1(I)
    • R(f);SBLOCK::QAR1(I)
    • R(f);N_GUARD::QAR1(I),XR(f)
    • R(f);P_PINB(G),SBLOCK,XS(F)::QAR1(I),XS(d)
    • S(d);OGATE::QAB1(I),XP(b)
    • S(d);OGATE,SBLOCK,XS(F)::QAB1(I),XP(b)
  • Tries
    • Try
      • K(H);S_FLIGHT
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD,XP(D)::QAR1(I)
        • R(f);SBLOCK,XS(F)::QAR1(I),XS(d)
        • S(d);OGATE,SBLOCK,XS(F)::QAB1(I),XP(b)
        • R(f);N_GUARD::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • P(g);CHECK
    • Try
      • K(H);P-FLIGHT
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD,XP(D)::QAR1(I)
        • R(f);SBLOCK,XS(F)::QAR1(I),XS(d)
        • S(d);OGATE,SBLOCK,XS(F)::QAB1(I),XP(b)
        • R(f);N_GUARD::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • P(g);
    • Try
      • K(H);P-FLIGHT,XP(g)
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD,XP(D)::QAR1(I)
        • R(f);SBLOCK,XS(F)::QAR1(I),XS(d)
        • S(d);OGATE,SBLOCK,XS(F)::QAB1(I),XP(b)
        • R(f);N_GUARD::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • R(f);P_PINQ(I)
    • Try
      • S(C);
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD,XP(D)::QAR1(I)
        • R(f);P_PINB(G),SBLOCK,XS(F)::QAR1(I),XS(d)
        • S(d);OGATE,SBLOCK,XS(F)::QAB1(I),XP(b)
        • R(f);N_GUARD::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • P(c);
    • Try
      • S(C);
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD,XP(D)::QAR1(I)
        • R(f);P_PINB(G),SBLOCK,XS(F)::QAR1(I),XS(d)
        • S(d);OGATE,SBLOCK,XS(F)::QAB1(I),XP(b)
        • R(f);N_GUARD::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • P(c);
    • Try
      • S(C);
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD,XP(D)::QAR1(I)
        • R(f);P_PINB(G),SBLOCK,XS(F)::QAR1(I),XS(d)
        • S(d);OGATE,XS(C)::QAB1(I),XP(b)
        • S(d);OGATE,SBLOCK,XS(F)::QAB1(I),XP(b)
        • R(f);N_GUARD::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • P(c);
    • Try
      • S(C);
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD,XP(D)::QAR1(I)
        • R(f);P_PINB(G),SBLOCK,XS(F)::QAR1(I),XS(d)
        • S(d);OGATE,SBLOCK,XS(F)::QAB1(I),XP(b)
        • R(f);N_GUARD::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • P(c);
    • Try
      • S(C);
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD,XP(D)::QAR1(I)
        • R(f);P_PINB(G),SBLOCK,XS(F)::QAR1(I),XS(d)
        • S(d);OGATE,SBLOCK,XS(F)::QAB1(I),XP(b)
        • R(f);N_GUARD::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • P(c);
    • Try
      • S(F);P_SPINB(G)
      • Threat
        • QAR1(I),XS(d)
      • Vars
        • K(e);P-FLIGHT::QAB1(I)
        • R(f);N_GUARD,N_PINB(G),XP(D)::QAR1(I)
        • R(f);N_GUARD,N_PINB(G)::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • S(d);OGATE::QAB1(I),XP(b)
        • S(d);N_PINB(G),OGATE::QAB1(I),XP(b)
      • Refutation
        • R(f);CHECK,XB(G)
    • Try
      • S(F);P_SPINB(G)
      • Threat
        • QAR1(I),XS(d)
      • Vars
        • K(e);P-FLIGHT::QAB1(I)
        • R(f);N_GUARD,N_PINB(G),XP(D)::QAR1(I)
        • R(f);N_GUARD,N_PINB(G)::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • S(d);OGATE::QAB1(I),XP(b)
        • S(d);N_PINB(G),OGATE::QAB1(I),XP(b)
      • Refutation
        • R(f);CHECK,XB(G)
    • Try
      • S(F);P_SPINB(G)
      • Threat
        • DUALS(2)
      • Vars
        • K(e);P-FLIGHT::QAB1(I)
        • R(f);::QAR1(I)
        • R(f);::QAR1(I),XS(d)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • R(f);CHECK,XB(G)
    • Try
      • S(F);P_SPINB(G)
      • Threat
        • QAR1(I),XS(d)
      • Vars
        • K(e);P-FLIGHT::QAB1(I)
        • R(f);N_GUARD,N_PINB(G),XP(D)::QAR1(I)
        • R(f);N_GUARD,N_PINB(G)::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • S(d);OGATE::QAB1(I),XP(b)
        • S(d);N_PINB(G),OGATE::QAB1(I),XP(b)
      • Refutation
        • R(f);CHECK,XB(G)
    • Try
      • B(G);CHECK,P_SPINS(F)
      • Vars
        • S(d);OGATE,XB(G)::QAB1(I),XP(b)
      • Refutation
        • K(e);N_SPINS(a),S_FLIGHT,XS(F)
    • Try
      • B(G);P_SPINS(F)
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD,N_PINS(F),XP(D)::QAR1(I)
        • S(d);OGATE,SBLOCK,XS(F)::QAB1(I),XP(b)
        • R(f);N_GUARD,N_PINS(F)::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • R(f);CHECK,XS(F)
    • Try
      • B(G);P_SPINS(F)
      • Threat
        • QAR1(I),XS(d)
      • Vars
        • S(d);OGATE,XS(F)::QAB1(I),XP(b)
        • R(f);N_GUARD,N_PINS(F)::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • R(f);CHECK,XS(F)
    • Try
      • B(G);P_SPINS(F)
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD,N_PINS(F),XP(D)::QAR1(I)
        • S(d);OGATE,SBLOCK,XS(F)::QAB1(I),XP(b)
        • R(f);N_GUARD,N_PINS(F)::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • R(f);CHECK,XS(F)
    • Try
      • B(G);P_SPINS(F)
      • Threat
        • QAR1(I),XS(d)
      • Vars
        • R(f);N_GUARD,N_PINS(F)::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • R(f);CHECK,P_SPINR(f),XS(F)
    • Try
      • B(G);P_SPINS(F)
      • Threat
        • QAR1(I)
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • R(f);CHECK,XS(F)
    • Try
      • B(G);P_SPINS(F)
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD,N_PINS(F),XP(D)::QAR1(I)
        • S(d);OGATE,SBLOCK,XS(F)::QAB1(I),XP(b)
        • R(f);N_GUARD,N_PINS(F)::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • R(f);CHECK,XS(F)
    • Try
      • R(A);CHECK,XS(a)
      • Vars
        • S(d);OGATE,XR(A)::QAB1(I),XP(b)
      • Refutation
        • P(b);XR(A)
    • Try
      • R(B);
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD,XP(D)::QAR1(I)
        • R(f);P_PINB(G),SBLOCK,XS(F)::QAR1(I),XS(d)
        • S(d);OGATE,SBLOCK,XS(F)::QAB1(I),XP(b)
        • R(f);N_GUARD::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • P(b);
    • Try
      • P(D);XS(d)
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD::QAR1(I)
        • R(f);SBLOCK::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
      • Refutation
        • R(f);P_PINB(G),XS(F)
    • Try
      • P(D);
      • Threat
        • QAR1(I)
      • Vars
        • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::QAB1(I)
        • R(f);N_GUARD,XP(D)::QAR1(I)
        • R(f);N_GUARD::QAR1(I),XR(f)
        • S(d);OGATE::QAB1(I),XP(b)
      • Refutation
        • R(f);P_PINB(G),XS(F)
  • Actual
    • B(E);
    • Threat
      • S(F)
    • Vars
      • K(e);N_SPINS(a),OGATEB,S_FLIGHT,XS(F)::B(G)
      • R(f);P_PINB(G),SBLOCK,XS(F)::QAR1(I),XS(d)
      • S(d);N_GUARD,SBLOCK,XS(F)::B(G)
      • R(f);N_GUARD::QAR1(I),XR(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).