MESON Chess Problem Database

Problem Display
PID: 53835 (1R4rk/4p2q/4N3/5p2/5P2/2p3P1/pR5Q/B1K5 w - - 0 1)

Page, George

Chess, 1943

1R4rk/4p2q/4N3/5p2/5P2/2p3P1/pR5Q/B1K5

#2

8 + 7

SOLUTION

  • SOUND
  • Sets
    • 1...Qxh2
      • 2.Rxh2#
    • 1...Qh3
      • 2.Qxh3#
    • 1...Qh4
      • 2.Qxh4#
    • 1...Qh5
      • 2.Qxh5#
    • 1...Qh6
      • 2.Qxh6#
    • 1...Rxb8
      • 2.Rxb8#
    • 1...Rc8
      • 2.Rxc8#
    • 1...Rd8
      • 2.Rxd8#
    • 1...Re8
      • 2.Rxe8#
    • 1...Rf8
      • 2.Rxf8#
    • 1...cxb2+
      • 2.Bxb2#
    • 1...c2
      • 2.Rb1#
      • 2.Rxa2#
      • 2.Rxc2#
      • 2.R2b3#
      • 2.R2b4#
      • 2.R2b5#
      • 2.R2b6#
      • 2.R2b7#
  • Tries
    • 1.Kc2?
      • 1...Rxb8
        • 2.Rxb8#
      • 1...cxb2
        • 2.Bxb2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Qxh2+!
    • 1.Rxa2?
      • threat
        • 2.Bxc3#
      • 1...Qxh2
        • 2.Rxh2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Rxb8!
    • 1.Rc2?
      • threat
        • 2.Bxc3#
      • 1...Qxh2
        • 2.Rxh2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Rxb8!
    • 1.Rd2?
      • threat
        • 2.Bxc3#
      • 1...Qxh2
        • 2.Rxh2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rdxd8#
        • 2.Rbxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Rxb8!
    • 1.Re2?
      • threat
        • 2.Bxc3#
      • 1...Qxh2
        • 2.Rxh2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Rxb8!
    • 1.Rf2?
      • threat
        • 2.Bxc3#
      • 1...Qxh2
        • 2.Rxh2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Rxb8!
    • 1.Rg2?
      • threat
        • 2.Bxc3#
      • 1...Qxh2
        • 2.Rxh2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Rxb8!
    • 1.R2b3?
      • threat
        • 2.Bxc3#
      • 1...Rxb8
        • 2.Rxb8#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Qxh2!
    • 1.R2b4?
      • threat
        • 2.Bxc3#
      • 1...Rxb8
        • 2.Rxb8#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Qxh2!
    • 1.R2b5?
      • threat
        • 2.Bxc3#
      • 1...Rxb8
        • 2.Rxb8#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Qxh2!
    • 1.R2b6?
      • threat
        • 2.Bxc3#
      • 1...Rxb8
        • 2.Rxb8#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Qxh2!
    • 1.R2b7?
      • threat
        • 2.Bxc3#
      • 1...Rxb8
        • 2.Rxb8#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Qxh2!
    • 1.Ra8?
      • 1...cxb2+
        • 2.Bxb2#
      • 1...Qxh2
        • 2.Rxh2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rb8
        • 2.Rbxb8#
        • 2.Raxb8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...c2
        • 2.Rb1#
        • 2.Rbxa2#
        • 2.Rxc2#
        • 2.Rb3#
        • 2.Rb4#
        • 2.Rb5#
        • 2.Rb6#
        • 2.Rb7#
        • 2.Rbb8#
      • 1...Rxa8!
    • 1.Rc8?
      • 1...cxb2+
        • 2.Bxb2#
      • 1...Qxh2
        • 2.Rxh2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...c2
        • 2.Rb1#
        • 2.Rxa2#
        • 2.Rbxc2#
        • 2.Rb3#
        • 2.Rb4#
        • 2.Rb5#
        • 2.Rb6#
        • 2.Rb7#
        • 2.Rbb8#
      • 1...Rxc8!
    • 1.Rd8?
      • 1...cxb2+
        • 2.Bxb2#
      • 1...Qxh2
        • 2.Rxh2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...c2
        • 2.Rb1#
        • 2.Rxa2#
        • 2.Rxc2#
        • 2.Rb3#
        • 2.Rb4#
        • 2.Rb5#
        • 2.Rb6#
        • 2.Rb7#
        • 2.Rbb8#
      • 1...Rxd8!
    • 1.Re8?
      • 1...cxb2+
        • 2.Bxb2#
      • 1...Qxh2
        • 2.Rxh2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rf8
        • 2.Rxf8#
      • 1...c2
        • 2.Rb1#
        • 2.Rxa2#
        • 2.Rxc2#
        • 2.Rb3#
        • 2.Rb4#
        • 2.Rb5#
        • 2.Rb6#
        • 2.Rb7#
        • 2.Rbb8#
      • 1...Rxe8!
    • 1.Rf8?
      • 1...cxb2+
        • 2.Bxb2#
      • 1...Qxh2
        • 2.Rxh2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...c2
        • 2.Rb1#
        • 2.Rxa2#
        • 2.Rxc2#
        • 2.Rb3#
        • 2.Rb4#
        • 2.Rb5#
        • 2.Rb6#
        • 2.Rb7#
        • 2.Rbb8#
      • 1...Rxf8!
    • 1.Qh1?
      • 1...cxb2+
        • 2.Bxb2#
      • 1...Rxb8
        • 2.Rxb8#
      • 1...Qh2
        • 2.Rxh2#
        • 2.Qxh2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...c2
        • 2.Rb1#
        • 2.Rxa2#
        • 2.Rxc2#
        • 2.R2b3#
        • 2.R2b4#
        • 2.R2b5#
        • 2.R2b6#
        • 2.R2b7#
      • 1...Qxh1+!
    • 1.Qh3?
      • 1...cxb2+
        • 2.Bxb2#
      • 1...Rxb8
        • 2.Rxb8#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...c2
        • 2.Rb1#
        • 2.Rxa2#
        • 2.Rxc2#
        • 2.R2b3#
        • 2.R2b4#
        • 2.R2b5#
        • 2.R2b6#
        • 2.R2b7#
      • 1...Qxh3!
    • 1.Qh4?
      • 1...cxb2+
        • 2.Bxb2#
      • 1...Rxb8
        • 2.Rxb8#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...c2
        • 2.Rb1#
        • 2.Rxa2#
        • 2.Rxc2#
        • 2.R2b3#
        • 2.R2b4#
        • 2.R2b5#
        • 2.R2b6#
        • 2.R2b7#
      • 1...Qxh4!
    • 1.Qh5?
      • 1...cxb2+
        • 2.Bxb2#
      • 1...Rxb8
        • 2.Rxb8#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...c2
        • 2.Rb1#
        • 2.Rxa2#
        • 2.Rxc2#
        • 2.R2b3#
        • 2.R2b4#
        • 2.R2b5#
        • 2.R2b6#
        • 2.R2b7#
      • 1...Qxh5!
    • 1.Qh6?
      • 1...cxb2+
        • 2.Bxb2#
      • 1...Rxb8
        • 2.Rxb8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...c2
        • 2.Rb1#
        • 2.Rxa2#
        • 2.Rxc2#
        • 2.R2b3#
        • 2.R2b4#
        • 2.R2b5#
        • 2.R2b6#
        • 2.R2b7#
      • 1...Qxh6!
    • 1.g4?
      • 1...cxb2+
        • 2.Bxb2#
      • 1...Qxh2
        • 2.Rxh2#
      • 1...Rxb8
        • 2.Rxb8#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh5
        • 2.Qxh5#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...c2
        • 2.Rb1#
        • 2.Rxa2#
        • 2.Rxc2#
        • 2.R2b3#
        • 2.R2b4#
        • 2.R2b5#
        • 2.R2b6#
        • 2.R2b7#
      • 1...fxg4!
  • Keys
    • 1.Kd1!
      • 1...Qh5+
        • 2.Qxh5#
      • 1...Rd8+
        • 2.Rxd8#
      • 1...c2+
        • 2.Rxc2#
      • 1...Qxh2
        • 2.Rxh2#
      • 1...Rxb8
        • 2.Rxb8#
      • 1...cxb2
        • 2.Bxb2#
      • 1...Qh3
        • 2.Qxh3#
      • 1...Qh4
        • 2.Qxh4#
      • 1...Qh6
        • 2.Qxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#

FEATURES

  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
    • Q(e);OGATEB::QAR(D),XQ(e)
    • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
    • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
    • R(f);OGATEB::R(H),XR(f)
    • P(b);CHECK,OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
  • Tries
    • Try
      • K(B);P-FLIGHT
      • Vars
        • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
        • P(b);OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • Q(e);CHECK,N_SPINQ(e),XQ(D)
    • Try
      • R(C);P_PINP(b),XP(a)
      • Threat
        • B(A),XP(b)
      • Vars
        • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • R(f);N_SPINR(f),XR(H)
    • Try
      • R(C);P_PINP(b)
      • Threat
        • B(A),XP(b)
      • Vars
        • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • R(f);N_SPINR(f),XR(H)
    • Try
      • R(C);P_PINP(b)
      • Threat
        • B(A),XP(b)
      • Vars
        • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • R(f);N_SPINR(f),XR(H)
    • Try
      • R(C);P_PINP(b)
      • Threat
        • B(A),XP(b)
      • Vars
        • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • R(f);N_SPINR(f),XR(H)
    • Try
      • R(C);P_PINP(b)
      • Threat
        • B(A),XP(b)
      • Vars
        • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • R(f);N_SPINR(f),XR(H)
    • Try
      • R(C);P_PINP(b)
      • Threat
        • B(A),XP(b)
      • Vars
        • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • R(f);N_SPINR(f),XR(H)
    • Try
      • R(C);P_PINP(b)
      • Threat
        • B(A),XP(b)
      • Vars
        • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • Q(e);N_SPINQ(e),XQ(D)
    • Try
      • R(C);P_PINP(b)
      • Threat
        • B(A),XP(b)
      • Vars
        • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • Q(e);N_SPINQ(e),XQ(D)
    • Try
      • R(C);P_PINP(b)
      • Threat
        • B(A),XP(b)
      • Vars
        • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • Q(e);N_SPINQ(e),XQ(D)
    • Try
      • R(C);P_PINP(b)
      • Threat
        • B(A),XP(b)
      • Vars
        • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • Q(e);N_SPINQ(e),XQ(D)
    • Try
      • R(C);P_PINP(b)
      • Threat
        • B(A),XP(b)
      • Vars
        • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • Q(e);N_SPINQ(e),XQ(D)
    • Try
      • R(H);
      • Vars
        • P(b);CHECK,OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
        • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • R(f);N_SPINR(f),XR(H)
    • Try
      • R(H);
      • Vars
        • P(b);CHECK,OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
        • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • R(f);N_SPINR(f),XR(H)
    • Try
      • R(H);
      • Vars
        • P(b);CHECK,OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
        • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • R(f);N_SPINR(f),XR(H)
    • Try
      • R(H);
      • Vars
        • P(b);CHECK,OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
        • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • R(f);N_SPINR(f),XR(H)
    • Try
      • R(H);
      • Vars
        • P(b);CHECK,OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
        • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
      • Refutation
        • R(f);N_SPINR(f),XR(H)
    • Try
      • Q(D);
      • Vars
        • P(b);CHECK,OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
        • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • Q(e);CHECK,N_SPINQ(e),XQ(D)
    • Try
      • Q(D);
      • Vars
        • P(b);CHECK,OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
        • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • Q(e);N_SPINQ(e),XQ(D)
    • Try
      • Q(D);
      • Vars
        • P(b);CHECK,OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
        • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • Q(e);N_SPINQ(e),XQ(D)
    • Try
      • Q(D);
      • Vars
        • P(b);CHECK,OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
        • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • Q(e);N_SPINQ(e),XQ(D)
    • Try
      • Q(D);
      • Vars
        • P(b);CHECK,OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
        • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • Q(e);N_SPINQ(e),P_PINP(F),XQ(D)
    • Try
      • P(E);
      • Vars
        • P(b);CHECK,OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
        • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
        • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
        • Q(e);OGATEB::QAR(D),XQ(e)
        • Q(e);OGATEB,P_PINP(F)::QAR2(D),XQ(e)
        • R(f);OGATEB::R(H),XR(f)
      • Refutation
        • P(c);XP(E)
  • Actual
    • K(B);P-FLIGHT
    • Vars
      • Q(e);CHECK,OGATEB::QAR(D),XQ(e)
      • R(f);CHECK,OGATEB::R(H),XR(f)
      • P(b);CHECK,OGATEB::B(A)+R(C),XP(b)
      • Q(e);N_SPINQ(e),OGATE,XQ(D)::R(C),XQ(e)
      • R(f);N_SPINR(f),OGATE,XR(H)::R(C),XR(f)
      • P(b);OGATE,P_SPINP(b),XR(C)::B(A),XP(b)
      • Q(e);OGATEB::QAR(D),XQ(e)
      • Q(e);OGATEB::QAR2(D),XQ(e)
      • R(f);OGATEB::R(H),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).