Problem Display
PID: 21940 (1RnBQN2/2PRP3/2kq4/P1p5/2B5/2K5/8/8 w - - 0 1)

Hume, George

3rd HM., Good Companions (April), 1922

1RnBQN2/2PRP3/2kq4/P1p5/2B5/2K5/8/8

#2

10 + 4


3348 Changing Fashions 1925

SOLUTION


  • SOUND
  • Sets
    • 1...Qh2
      • 2.Bb5#
      • 2.Bd5#
      • 2.Rd1#
      • 2.Rd2#
      • 2.Rd3#
      • 2.Rd4#
      • 2.Rd5#
    • 1...Qg3+
      • 2.Rd3#
    • 1...Qf4
      • 2.Bb5#
      • 2.Bd5#
      • 2.Rd1#
      • 2.Rd2#
      • 2.Rd3#
      • 2.Rd4#
      • 2.Rd5#
    • 1...Qe5+
      • 2.Rd4#
    • 1...Qxc7
      • 2.Bb5#
      • 2.Bd5#
    • 1...Qxe7
      • 2.Bb5#
      • 2.Bd5#
    • 1...Qd1
      • 2.Bb5#
      • 2.Rxd1#
      • 2.Rd2#
      • 2.Rd3#
      • 2.Rd4#
      • 2.Rd5#
    • 1...Qd2+
      • 2.Rxd2#
    • 1...Qd3+
      • 2.Rxd3#
    • 1...Qd4+
      • 2.Rxd4#
    • 1...Qd5
      • 2.Bb5#
      • 2.Bxd5#
      • 2.Rxd5#
    • 1...Qe6
      • 2.Bb5#
    • 1...Qf6+
      • 2.Rd4#
    • 1...Qg6
      • 2.Bb5#
      • 2.Bd5#
    • 1...Qh6
      • 2.Bb5#
      • 2.Bd5#
      • 2.Rd1#
      • 2.Rd2#
      • 2.Rd3#
      • 2.Rd4#
      • 2.Rd5#
    • 1...Qxd7
      • 2.Qxd7#
    • 1...Sb6
      • 2.Rxb6#
    • 1...Sa7
      • 2.Rb6#
    • 1...Sxe7
      • 2.Rb6#
  • Tries
    • 1.Kc2?
      • 1...Qh2+
        • 2.Rd2#
      • 1...Qd1+
        • 2.Rxd1#
      • 1...Qd2+
        • 2.Rxd2#
      • 1...Qd3+
        • 2.Rxd3#
      • 1...Qxc7
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qxe7
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qxd7
        • 2.Qxd7#
      • 1...Sxe7
        • 2.Rb6#
      • 1...Qg3
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qf4
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qe5
        • 2.Bb5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd4
        • 2.Bb5#
        • 2.Rxd4#
        • 2.Rd5#
      • 1...Qd5
        • 2.Bb5#
        • 2.Bxd5#
        • 2.Rxd5#
      • 1...Qe6
        • 2.Bb5#
      • 1...Qf6
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qh6
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Sb6
        • 2.Rxb6#
      • 1...Sa7
        • 2.Rb6#
      • 1...Qg6+!
    • 1.Kb3?
      • 1...Qg3+
        • 2.Rd3#
      • 1...Qd1+
        • 2.Rxd1#
      • 1...Qd3+
        • 2.Rxd3#
      • 1...Qxc7
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qxe7
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qxd7
        • 2.Qxd7#
      • 1...Sxe7
        • 2.Rb6#
      • 1...Qh2
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qf4
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qe5
        • 2.Bb5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd2
        • 2.Bb5#
        • 2.Rxd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd4
        • 2.Bb5#
        • 2.Rxd4#
        • 2.Rd5#
      • 1...Qd5
        • 2.Bxd5#
        • 2.Rxd5#
      • 1...Qf6
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qg6
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qh6
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Sb6
        • 2.Rxb6#
      • 1...Sa7
        • 2.Rb6#
      • 1...Qe6!
    • 1.Se6?
      • 1...Qg3+
        • 2.Rd3#
      • 1...Qe5+
        • 2.Rd4#
      • 1...Qd2+
        • 2.Rxd2#
      • 1...Qd3+
        • 2.Rxd3#
      • 1...Qd4+
        • 2.Rxd4#
      • 1...Qxc7
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qxe7
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qxe6
        • 2.Bb5#
      • 1...Sxe7
        • 2.Rb6#
      • 1...Qh2
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qf4
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd1
        • 2.Bb5#
        • 2.Rxd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd5
        • 2.Bb5#
        • 2.Bxd5#
        • 2.Rxd5#
      • 1...Sb6
        • 2.Rxb6#
      • 1...Sa7
        • 2.Rb6#
      • 1...Qxd7!
    • 1.Sg6?
      • 1...Qg3+
        • 2.Rd3#
      • 1...Qe5+
        • 2.Sxe5#
        • 2.Rd4#
      • 1...Qd2+
        • 2.Rxd2#
      • 1...Qd3+
        • 2.Rxd3#
      • 1...Qd4+
        • 2.Rxd4#
      • 1...Qf6+
        • 2.Rd4#
      • 1...Qxc7
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qxe7
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qxg6
        • 2.Bb5#
        • 2.Bd5#
      • 1...Sxe7
        • 2.Rb6#
      • 1...Qh2
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qf4
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd1
        • 2.Se5#
        • 2.Bb5#
        • 2.Rxd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd5
        • 2.Bb5#
        • 2.Bxd5#
        • 2.Rxd5#
      • 1...Qe6
        • 2.Bb5#
      • 1...Sb6
        • 2.Rxb6#
      • 1...Sa7
        • 2.Rb6#
      • 1...Qxd7!
    • 1.Sh7?
      • 1...Qg3+
        • 2.Rd3#
      • 1...Qe5+
        • 2.Rd4#
      • 1...Qd2+
        • 2.Rxd2#
      • 1...Qd3+
        • 2.Rxd3#
      • 1...Qd4+
        • 2.Rxd4#
      • 1...Qf6+
        • 2.Rd4#
      • 1...Qxc7
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qxe7
        • 2.Bb5#
        • 2.Bd5#
      • 1...Sxe7
        • 2.Rb6#
      • 1...Qh2
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qf4
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd1
        • 2.Bb5#
        • 2.Rxd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd5
        • 2.Bb5#
        • 2.Bxd5#
        • 2.Rxd5#
      • 1...Qe6
        • 2.Bb5#
      • 1...Qg6
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qh6
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Sb6
        • 2.Rxb6#
      • 1...Sa7
        • 2.Rb6#
      • 1...Qxd7!
    • 1.Bb3?
      • 1...Qg3+
        • 2.Rd3#
      • 1...Qe5+
        • 2.Rd4#
      • 1...Qd2+
        • 2.Rxd2#
      • 1...Qd3+
        • 2.Rxd3#
      • 1...Qd4+
        • 2.Rxd4#
      • 1...Qf6+
        • 2.Rd4#
      • 1...Qxc7
        • 2.Ba4#
        • 2.Bd5#
      • 1...Qxe7
        • 2.Ba4#
        • 2.Bd5#
      • 1...Qxd7
        • 2.Qxd7#
      • 1...Sxe7
        • 2.Rb6#
      • 1...Sb6
        • 2.Rxb6#
      • 1...Qe6
        • 2.Ba4#
      • 1...Qh2
        • 2.Ba4#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qf4
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd1
        • 2.Rxd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd5
        • 2.Ba4#
        • 2.Bxd5#
        • 2.Rxd5#
      • 1...Qg6
        • 2.Ba4#
        • 2.Bd5#
      • 1...Qh6
        • 2.Ba4#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Sa7
        • 2.Rb6#
      • 1...c4!
    • 1.Rb1?
      • 1...Qg3+
        • 2.Rd3#
      • 1...Qe5+
        • 2.Rd4#
      • 1...Qd2+
        • 2.Rxd2#
      • 1...Qd3+
        • 2.Rxd3#
      • 1...Qd4+
        • 2.Rxd4#
      • 1...Qf6+
        • 2.Rd4#
      • 1...Qxc7
        • 2.Bd5#
      • 1...Qxe7
        • 2.Bd5#
      • 1...Qxd7
        • 2.Qxd7#
      • 1...Sxe7
        • 2.Rb6#
      • 1...Sb6
        • 2.Rxb6#
      • 1...Qh2
        • 2.Bd5#
        • 2.Rdd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qf4
        • 2.Bd5#
        • 2.Rdd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd1
        • 2.Rdxd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd5
        • 2.Bxd5#
        • 2.Rxd5#
      • 1...Qg6
        • 2.Bd5#
      • 1...Qh6
        • 2.Bd5#
        • 2.Rdd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Sa7
        • 2.Rb6#
      • 1...Qe6!
    • 1.Rb2?
      • 1...Qg3+
        • 2.Rd3#
      • 1...Qe5+
        • 2.Rd4#
      • 1...Qd2+
        • 2.Rdxd2#
      • 1...Qd3+
        • 2.Rxd3#
      • 1...Qd4+
        • 2.Rxd4#
      • 1...Qf6+
        • 2.Rd4#
      • 1...Qxc7
        • 2.Bd5#
      • 1...Qxe7
        • 2.Bd5#
      • 1...Qxd7
        • 2.Qxd7#
      • 1...Sxe7
        • 2.Rb6#
      • 1...Sb6
        • 2.Rxb6#
      • 1...Qh2
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rdd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qf4
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rdd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd1
        • 2.Rxd1#
        • 2.Rdd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd5
        • 2.Bxd5#
        • 2.Rxd5#
      • 1...Qg6
        • 2.Bd5#
      • 1...Qh6
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rdd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Sa7
        • 2.Rb6#
      • 1...Qe6!
    • 1.Rb3?
      • 1...Qg3+
        • 2.Rd3#
      • 1...Qe5+
        • 2.Rd4#
      • 1...Qd2+
        • 2.Rxd2#
      • 1...Qd3+
        • 2.Rxd3#
      • 1...Qd4+
        • 2.Rxd4#
      • 1...Qf6+
        • 2.Rd4#
      • 1...Qxc7
        • 2.Bd5#
      • 1...Qxe7
        • 2.Bd5#
      • 1...Qxd7
        • 2.Qxd7#
      • 1...Sxe7
        • 2.Rb6#
      • 1...Sb6
        • 2.Rxb6#
      • 1...Qh2
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qf4
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd1
        • 2.Rxd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd5
        • 2.Bxd5#
        • 2.Rxd5#
      • 1...Qg6
        • 2.Bd5#
      • 1...Qh6
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Sa7
        • 2.Rb6#
      • 1...Qe6!
    • 1.Qg6?
      • 1...Qxg6
        • 2.Bb5#
        • 2.Bd5#
      • 1...Sxe7
        • 2.Rxd6#
        • 2.Rb6#
        • 2.Qxd6#
      • 1...Qe6
        • 2.Bb5#
        • 2.Bd5#
      • 1...Sb6
        • 2.Rxd6#
        • 2.Rxb6#
        • 2.Qxd6#
      • 1...Sa7
        • 2.Rxd6#
        • 2.Rb6#
        • 2.Qxd6#
      • 1...Qf6+!
  • Keys
    • 1.Kb2!
      • 1...Qh2+
        • 2.Rd2#
      • 1...Qe5+
        • 2.Rd4#
      • 1...Qd2+
        • 2.Rxd2#
      • 1...Qd4+
        • 2.Rxd4#
      • 1...Qf6+
        • 2.Rd4#
      • 1...Qxc7
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qxe7
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qxd7
        • 2.Qxd7#
      • 1...Sxe7
        • 2.Rb6#
      • 1...Qg3
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qf4
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd1
        • 2.Bb5#
        • 2.Rxd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd3
        • 2.Rxd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Qd5
        • 2.Bb5#
        • 2.Bxd5#
        • 2.Rxd5#
      • 1...Qe6
        • 2.Bb5#
      • 1...Qg6
        • 2.Bb5#
        • 2.Bd5#
      • 1...Qh6
        • 2.Bb5#
        • 2.Bd5#
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rd3#
        • 2.Rd4#
        • 2.Rd5#
      • 1...Sb6
        • 2.Rxb6#
      • 1...Sa7
        • 2.Rb6#

FEATURES


  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 2
  • Sets
    • Q(c);CHECK,OGATE::QAB(I)+R(E)
    • Q(c);CHECK,OGATE::QAB(I)+R(E),XQ(c)
    • Q(c);::B(B)
    • Q(c);OGATE,P_SPINQ(c),XR(E)::QAB1(I),XQ(c)
    • S(d);N_GUARD::R1(G),XS(d)
    • S(d);N_GUARD::R1(G)
    • S(d);N_GUARD,XP(F)::R1(G)
  • Tries
    • Try
      • K(A);P-FLIGHT
      • Vars
        • Q(c);CHECK,OGATE::QAB(I)+R(E)
        • Q(c);CHECK,OGATE::QAB(I)+R(E),XQ(c)
        • Q(c);OGATE,P_SPINQ(c),XR(E)::QAB1(I),XQ(c)
        • S(d);N_GUARD,XP(F)::R1(G)
        • Q(c);::B(B)
        • S(d);N_GUARD::R1(G),XS(d)
        • S(d);N_GUARD::R1(G)
      • Refutation
        • Q(c);CHECK
    • Try
      • K(A);P-FLIGHT
      • Vars
        • Q(c);CHECK,OGATE::QAB(I)+R(E)
        • Q(c);CHECK,OGATE::QAB(I)+R(E),XQ(c)
        • Q(c);OGATE,P_SPINQ(c),XR(E)::QAB1(I),XQ(c)
        • S(d);N_GUARD,XP(F)::R1(G)
        • S(d);N_GUARD::R1(G),XS(d)
        • S(d);N_GUARD::R1(G)
      • Refutation
        • Q(c);P_PINB(B)
    • Try
      • S(J);
      • Vars
        • Q(c);CHECK,OGATE::QAB(I)+R(E)
        • Q(c);CHECK,OGATE::QAB(I)+R(E),XQ(c)
        • Q(c);XS(J)::B(B)
        • S(d);N_GUARD,XP(F)::R1(G)
        • S(d);N_GUARD::R1(G),XS(d)
        • S(d);N_GUARD::R1(G)
      • Refutation
        • Q(c);P_SPINQ(c),XR(E)
    • Try
      • S(J);
      • Vars
        • Q(c);CHECK,OGATE::QAB(I)+R(E)
        • Q(c);CHECK,OGATE::QAB(I)+R(E),XQ(c)
        • S(d);N_GUARD,XP(F)::R1(G)
        • Q(c);::B(B)
        • S(d);N_GUARD::R1(G),XS(d)
        • S(d);N_GUARD::R1(G)
      • Refutation
        • Q(c);P_SPINQ(c),XR(E)
    • Try
      • S(J);
      • Vars
        • Q(c);CHECK,OGATE::QAB(I)+R(E)
        • Q(c);CHECK,OGATE::QAB(I)+R(E),XQ(c)
        • S(d);N_GUARD,XP(F)::R1(G)
        • Q(c);::B(B)
        • S(d);N_GUARD::R1(G),XS(d)
        • S(d);N_GUARD::R1(G)
      • Refutation
        • Q(c);P_SPINQ(c),XR(E)
    • Try
      • B(B);
      • Vars
        • Q(c);CHECK,OGATE::QAB(I)+R(E)
        • Q(c);CHECK,OGATE::QAB(I)+R(E),XQ(c)
        • Q(c);OGATE,P_SPINQ(c),XR(E)::QAB1(I),XQ(c)
        • S(d);N_GUARD,XP(F)::R1(G)
        • S(d);N_GUARD::R1(G),XS(d)
        • Q(c);::B(B)
        • S(d);N_GUARD::R1(G)
      • Refutation
        • P(a);
    • Try
      • R(G);
      • Vars
        • Q(c);CHECK,OGATE::QAB(I)+R(E)
        • Q(c);CHECK,OGATE::QAB(I)+R(E),XQ(c)
        • Q(c);N_GUARD,XP(D)::B(B)
        • Q(c);N_GUARD,XP(F)::B(B)
        • Q(c);OGATE,P_SPINQ(c),XR(E)::QAB1(I),XQ(c)
        • S(d);N_GUARD,XP(F)::R1(G)
        • S(d);N_GUARD::R1(G),XS(d)
        • Q(c);N_GUARD::B(B)
        • S(d);N_GUARD::R1(G)
      • Refutation
        • Q(c);
    • Try
      • R(G);
      • Vars
        • Q(c);CHECK,OGATE::QAB(I)+R(E)
        • Q(c);CHECK,OGATE::QAB(I)+R(E),XQ(c)
        • Q(c);N_GUARD,XP(D)::B(B)
        • Q(c);N_GUARD,XP(F)::B(B)
        • Q(c);OGATE,P_SPINQ(c),XR(E)::QAB1(I),XQ(c)
        • S(d);N_GUARD,XP(F)::R1(G)
        • S(d);N_GUARD::R1(G),XS(d)
        • Q(c);N_GUARD::B(B)
        • S(d);N_GUARD::R1(G)
      • Refutation
        • Q(c);
    • Try
      • R(G);
      • Vars
        • Q(c);CHECK,OGATE::QAB(I)+R(E)
        • Q(c);CHECK,OGATE::QAB(I)+R(E),XQ(c)
        • Q(c);N_GUARD,XP(D)::B(B)
        • Q(c);N_GUARD,XP(F)::B(B)
        • Q(c);OGATE,P_SPINQ(c),XR(E)::QAB1(I),XQ(c)
        • S(d);N_GUARD,XP(F)::R1(G)
        • S(d);N_GUARD::R1(G),XS(d)
        • Q(c);N_GUARD::B(B)
        • S(d);N_GUARD::R1(G)
      • Refutation
        • Q(c);
    • Try
      • Q(I);P_PINQ(c)
      • Refutation
        • Q(c);CHECK
  • Actual
    • K(A);S_FLIGHT
    • Vars
      • Q(c);CHECK,OGATE::QAB(I)+R(E)
      • Q(c);CHECK,OGATE::QAB(I)+R(E),XQ(c)
      • Q(c);OGATE,P_SPINQ(c),XR(E)::QAB1(I),XQ(c)
      • S(d);N_GUARD,XP(F)::R1(G)
      • Q(c);::B(B)
      • S(d);N_GUARD::R1(G),XS(d)
      • S(d);N_GUARD::R1(G)


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).