MESON Chess Problem Database

Problem Display
PID: 2761 (3R4/6Q1/pr1b1p2/Nn2kbR1/pPB5/P4P1N/4p1K1/4B3 w - - 0 1)

Tyrrell, Samuel

Source?, 0000

3R4/6Q1/pr1b1p2/Nn2kbR1/pPB5/P4P1N/4p1K1/4B3

#2

11 + 9

1693 English Chess Problems 1876

SOLUTION

  • SOUND
  • Sets
    • 1...Rc6
      • 2.Sxc6#
    • 1...Rb7
      • 2.Sc6#
    • 1...Rb8
      • 2.Sc6#
    • 1...Bxb4
      • 2.Bg3#
    • 1...Bc5
      • 2.Bg3#
    • 1...Bc7
      • 2.Bg3#
    • 1...Be7
      • 2.Bg3#
    • 1...Bb8
      • 2.Bg3#
    • 1...Bf8
      • 2.Bg3#
    • 1...Sxa3
      • 2.Bc3#
    • 1...Sc3
      • 2.Bxc3#
    • 1...Sd4
      • 2.Bg3#
    • 1...Sa7
      • 2.Bc3#
    • 1...Sc7
      • 2.Bc3#
  • Tries
    • 1.Kh1?
      • 1...Bxb4
        • 2.Bg3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Bc5
        • 2.Bg3#
      • 1...Bc7
        • 2.Bg3#
      • 1...Be7
        • 2.Bg3#
      • 1...Bb8
        • 2.Bg3#
      • 1...Bf8
        • 2.Bg3#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Bg3#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Kh2?
      • 1...Bxb4
        • 2.Bg3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Bc5
        • 2.Bg3#
      • 1...Bc7
        • 2.Bg3#
      • 1...Be7
        • 2.Bg3#
      • 1...Bb8
        • 2.Bg3#
      • 1...Bf8
        • 2.Bg3#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Bg3#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4+!
    • 1.Ba2?
      • 1...Bxb4
        • 2.Bg3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Bc5
        • 2.Bg3#
      • 1...Bc7
        • 2.Bg3#
      • 1...Be7
        • 2.Bg3#
      • 1...Bb8
        • 2.Bg3#
      • 1...Bf8
        • 2.Bg3#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Bg3#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Bf7?
      • 1...Bxb4
        • 2.Sc4#
        • 2.Bg3#
        • 2.Rd5#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Bc5
        • 2.Sc4#
        • 2.Bg3#
        • 2.Rd5#
      • 1...Bc7
        • 2.Sc4#
        • 2.Bg3#
        • 2.Rd5#
      • 1...Be7
        • 2.Sc4#
        • 2.Bg3#
        • 2.Rd5#
      • 1...Bb8
        • 2.Sc4#
        • 2.Bg3#
        • 2.Rd5#
      • 1...Bf8
        • 2.Sc4#
        • 2.Bg3#
        • 2.Rd5#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Sc4#
        • 2.Bg3#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Bg8?
      • 1...Bxb4
        • 2.Sc4#
        • 2.Bg3#
        • 2.Rd5#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Bc5
        • 2.Sc4#
        • 2.Bg3#
        • 2.Rd5#
      • 1...Bc7
        • 2.Sc4#
        • 2.Bg3#
        • 2.Rd5#
      • 1...Be7
        • 2.Sc4#
        • 2.Bg3#
        • 2.Rd5#
      • 1...Bb8
        • 2.Sc4#
        • 2.Bg3#
        • 2.Rd5#
      • 1...Bf8
        • 2.Sc4#
        • 2.Bg3#
        • 2.Rd5#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Sc4#
        • 2.Bg3#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Rh5?
      • 1...Bxb4
        • 2.Bg3#
        • 2.Qg3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Bc5
        • 2.Bg3#
        • 2.Qg3#
      • 1...Bc7
        • 2.Bg3#
        • 2.Qg3#
      • 1...Be7
        • 2.Bg3#
        • 2.Qg3#
      • 1...Bb8
        • 2.Bg3#
        • 2.Qg3#
      • 1...Bf8
        • 2.Bg3#
        • 2.Qg3#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Bg3#
        • 2.Qg3#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Rxd6?
      • threat
        • 2.Bg3#
        • 2.Qxf6#
        • 2.Qe7#
      • 1...Kxd6
        • 2.Bg3#
      • 1...Sxd6
        • 2.Bc3#
      • 1...Rb7
        • 2.Bg3#
        • 2.Qxf6#
      • 1...Sd4
        • 2.Bg3#
        • 2.Qxf6#
      • 1...Sc7
        • 2.Bg3#
        • 2.Qxf6#
      • 1...Rxd6!
    • 1.Rd7?
      • 1...Bxb4
        • 2.Bg3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Bc5
        • 2.Bg3#
      • 1...Bc7
        • 2.Bg3#
      • 1...Be7
        • 2.Bg3#
      • 1...Bb8
        • 2.Bg3#
      • 1...Bf8
        • 2.Bg3#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Bg3#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Qh6?
      • 1...Bxb4
        • 2.Bg3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...fxg5
        • 2.Qg7#
        • 2.Qh8#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Bc5
        • 2.Bg3#
      • 1...Bc7
        • 2.Bg3#
      • 1...Be7
        • 2.Bg3#
      • 1...Bb8
        • 2.Bg3#
      • 1...Bf8
        • 2.Bg3#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Bg3#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Qf8?
      • 1...Bxb4
        • 2.Bg3#
      • 1...Bxf8
        • 2.Bg3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...fxg5
        • 2.Qg7#
        • 2.Qh8#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Bc5
        • 2.Bg3#
        • 2.Qxc5#
      • 1...Bc7
        • 2.Bg3#
        • 2.Qc5#
      • 1...Be7
        • 2.Bg3#
      • 1...Bb8
        • 2.Bg3#
        • 2.Qc5#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Bg3#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Qh8?
      • 1...Bxb4
        • 2.Bg3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Bc5
        • 2.Bg3#
      • 1...Bc7
        • 2.Bg3#
      • 1...Be7
        • 2.Bg3#
      • 1...Bb8
        • 2.Bg3#
      • 1...Bf8
        • 2.Bg3#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Bg3#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Qg6?
      • 1...Bxb4
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
      • 1...Sxa3
        • 2.Bc3#
      • 1...fxg5
        • 2.Qg7#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Bc5
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
      • 1...Bc7
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
      • 1...Be7
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
      • 1...Bb8
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
      • 1...Bf8
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Bg3#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Qa7?
      • 1...Bxb4
        • 2.Bg3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Sxa7
        • 2.Bc3#
      • 1...fxg5
        • 2.Qg7#
      • 1...Rc6
        • 2.Sxc6#
        • 2.Bg3#
        • 2.Qe3#
      • 1...Rb7
        • 2.Sc6#
        • 2.Bg3#
        • 2.Qe3#
      • 1...Rb8
        • 2.Sc6#
        • 2.Bg3#
        • 2.Qe3#
      • 1...Bc5
        • 2.Bg3#
      • 1...Bc7
        • 2.Bg3#
      • 1...Be7
        • 2.Bg3#
      • 1...Bb8
        • 2.Bg3#
      • 1...Bf8
        • 2.Bg3#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Bg3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Qb7?
      • threat
        • 2.Qe4#
        • 2.Qd5#
      • 1...Rxb7
        • 2.Sc6#
      • 1...fxg5
        • 2.Qg7#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sc7
        • 2.Bc3#
        • 2.Qe4#
      • 1...Kd4!
    • 1.Qd7?
      • 1...Bxb4
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
        • 2.Qd5#
      • 1...Sxa3
        • 2.Bc3#
      • 1...fxg5
        • 2.Qg7#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Bc5
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
        • 2.Qd5#
      • 1...Bc7
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
        • 2.Qd5#
      • 1...Be7
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
        • 2.Qd5#
      • 1...Bb8
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
        • 2.Qd5#
      • 1...Bf8
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
        • 2.Qd5#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Bg3#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Qe7+?
      • 1...Bxe7
        • 2.Bg3#
      • 1...Kd4!
    • 1.Qf7?
      • threat
        • 2.Qd5#
      • 1...fxg5
        • 2.Qg7#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Qh7?
      • 1...Bxb4
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
      • 1...Sxa3
        • 2.Bc3#
      • 1...fxg5
        • 2.Qg7#
        • 2.Qh8#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Bc5
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
      • 1...Bc7
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
      • 1...Be7
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
      • 1...Bb8
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
      • 1...Bf8
        • 2.Bg3#
        • 2.Rxf5#
        • 2.Qxf5#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Bg3#
      • 1...Sa7
        • 2.Bc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
    • 1.Qg8?
      • threat
        • 2.Qd5#
      • 1...fxg5
        • 2.Qg7#
        • 2.Qh8#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sc7
        • 2.Bc3#
      • 1...Kd4!
  • Keys
    • 1.Qc7!
      • 1...Kd4
        • 2.Qc5#
      • 1...Bxc7
        • 2.Bg3#
      • 1...Sxa3
        • 2.Bc3#
      • 1...Sxc7
        • 2.Bc3#
      • 1...fxg5
        • 2.Qg7#
      • 1...Rc6
        • 2.Sxc6#
      • 1...Rb7
        • 2.Sc6#
      • 1...Rb8
        • 2.Sc6#
      • 1...Sc3
        • 2.Bxc3#
      • 1...Sd4
        • 2.Bg3#
      • 1...Sa7
        • 2.Bc3#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 2
    • REMOVED MATES = 5
  • Sets
    • R(g);N_GUARD::S(H),XR(g)
    • R(g);N_GUARD::S(H)
    • B(h);XP(F)::B(A)
    • B(h);::B(A)
    • S(c);N_GUARD,XP(C)::B(A)
    • S(c);N_GUARD::B(A),XS(c)
    • S(c);SBLOCK::B(A)
    • S(c);N_GUARD::B(A)
  • Tries
    • Try
      • K(B);S_FLIGHT
      • Vars
        • B(h);XP(F)::B(A)
        • S(c);N_GUARD,XP(C)::B(A)
        • R(g);N_GUARD::S(H),XR(g)
        • R(g);N_GUARD::S(H)
        • B(h);::B(A)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);SBLOCK::B(A)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • K(B);P-FLIGHT
      • Vars
        • B(h);XP(F)::B(A)
        • S(c);N_GUARD,XP(C)::B(A)
        • R(g);N_GUARD::S(H),XR(g)
        • R(g);N_GUARD::S(H)
        • B(h);::B(A)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);SBLOCK::B(A)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);CHECK,N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • B(G);
      • Vars
        • B(h);XP(F)::B(A)
        • S(c);N_GUARD,XP(C)::B(A)
        • R(g);N_GUARD::S(H),XR(g)
        • R(g);N_GUARD::S(H)
        • B(h);::B(A)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);SBLOCK::B(A)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • B(G);
      • Vars
        • S(c);N_GUARD,XP(C)::B(A)
        • R(g);N_GUARD::S(H),XR(g)
        • R(g);N_GUARD::S(H)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • B(G);
      • Vars
        • S(c);N_GUARD,XP(C)::B(A)
        • R(g);N_GUARD::S(H),XR(g)
        • R(g);N_GUARD::S(H)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • R(I);
      • Vars
        • S(c);N_GUARD,XP(C)::B(A)
        • R(g);N_GUARD::S(H),XR(g)
        • R(g);N_GUARD::S(H)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • R(K);XB(h)
      • Threat
        • DUALS(3)
      • Vars
        • K(d);N_SPINB(e),N_SPINP(i),S_FLIGHT,XR(K)::B(A)
        • S(c);N_GUARD,SBLOCK,XR(K)::B(A)
      • Refutation
        • R(g);XR(K)
    • Try
      • R(K);
      • Vars
        • B(h);XP(F)::B(A)
        • S(c);N_GUARD,XP(C)::B(A)
        • R(g);N_GUARD::S(H),XR(g)
        • R(g);N_GUARD::S(H)
        • B(h);::B(A)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);SBLOCK::B(A)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • Q(J);N_PINP(i)
      • Vars
        • B(h);XP(F)::B(A)
        • S(c);N_GUARD,XP(C)::B(A)
        • R(g);N_GUARD::S(H),XR(g)
        • R(g);N_GUARD::S(H)
        • B(h);::B(A)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);SBLOCK::B(A)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • Q(J);N_PINP(i)
      • Vars
        • B(h);XP(F)::B(A)
        • B(h);XQ(J)::B(A)
        • S(c);N_GUARD,XP(C)::B(A)
        • R(g);N_GUARD::S(H),XR(g)
        • R(g);N_GUARD::S(H)
        • B(h);::B(A)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);SBLOCK::B(A)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • Q(J);
      • Vars
        • B(h);XP(F)::B(A)
        • S(c);N_GUARD,XP(C)::B(A)
        • R(g);N_GUARD::S(H),XR(g)
        • R(g);N_GUARD::S(H)
        • B(h);::B(A)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);SBLOCK::B(A)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • Q(J);N_PINP(i)
      • Vars
        • S(c);N_GUARD,XP(C)::B(A)
        • P(i);N_SPINB(e),OGATEB,XR(I)::QAB(J)
        • R(g);N_GUARD::S(H),XR(g)
        • R(g);N_GUARD::S(H)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);SBLOCK::B(A)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • Q(J);N_PINP(i)
      • Vars
        • B(h);XP(F)::B(A)
        • S(c);N_GUARD,XP(C)::B(A)
        • S(c);N_GUARD,XQ(J)::B(A)
        • P(i);N_SPINB(e),OGATEB,XR(I)::QAB(J)
        • B(h);::B(A)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);SBLOCK::B(A)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),P_SPINR(g),S_FLIGHT
    • Try
      • Q(J);N_PINP(i)
      • Threat
        • DUALS(2)
      • Vars
        • R(g);N_GUARD,XQ(J)::S(H)
        • P(i);N_SPINB(e),OGATEB,XR(I)::QAB(J)
        • R(g);N_GUARD::S(H),XR(g)
        • S(c);N_GUARD::B(A),XS(c)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • Q(J);N_PINP(i)
      • Vars
        • S(c);N_GUARD,XP(C)::B(A)
        • P(i);N_SPINB(e),OGATEB,XR(I)::QAB(J)
        • R(g);N_GUARD::S(H),XR(g)
        • R(g);N_GUARD::S(H)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);SBLOCK::B(A)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • Q(J);CHECK,N_PINP(i)
      • Vars
        • B(h);XQ(J)::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • Q(J);N_PINP(i)
      • Threat
        • QAR1(J)
      • Vars
        • P(i);N_SPINB(e),OGATEB,XR(I)::QAB(J)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • Q(J);N_PINP(i)
      • Vars
        • S(c);N_GUARD,XP(C)::B(A)
        • R(g);N_GUARD::S(H),XR(g)
        • R(g);N_GUARD::S(H)
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);SBLOCK::B(A)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
    • Try
      • Q(J);N_PINP(i)
      • Threat
        • QAR1(J)
      • Vars
        • S(c);N_GUARD::B(A),XS(c)
        • S(c);N_GUARD::B(A)
      • Refutation
        • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT
  • Actual
    • Q(J);N_PINP(i)
    • Vars
      • K(d);N_SPINB(e),P_SPINB(h),S_FLIGHT::QAB1(J)
      • B(h);XQ(J)::B(A)
      • S(c);N_GUARD,XP(C)::B(A)
      • S(c);N_GUARD,XQ(J)::B(A)
      • P(i);N_SPINB(e),OGATEB,P_SPINB(h),XR(I)::QAB(J)
      • R(g);N_GUARD::S(H),XR(g)
      • R(g);N_GUARD::S(H)
      • S(c);N_GUARD::B(A),XS(c)
      • S(c);SBLOCK::B(A)
      • S(c);N_GUARD::B(A)
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).