MESON Chess Problem Database

Problem Display
PID: 21281 (Q6R/8/8/8/6p1/2pN2P1/r4BK1/kr5R w - - 0 1)

Warton, Joseph John

Chess Amateur (The), 1918

Q6R/8/8/8/6p1/2pN2P1/r4BK1/kr5R

#2

7 + 5

2681 All Change Here! 1919
5606 The Wangling Wizards 2005

SOLUTION

  • SOUND
  • Sets
    • 1...Rc1
      • 2.Rxc1#
    • 1...Rd1
      • 2.Rxd1#
    • 1...Re1
      • 2.Rxe1#
    • 1...Rf1
      • 2.Rxf1#
    • 1...Rg1+
      • 2.Rxg1#
    • 1...Rxh1
      • 2.Rxh1#
    • 1...Ra3
      • 2.Qxa3#
    • 1...Ra4
      • 2.Qxa4#
    • 1...Ra5
      • 2.Qxa5#
    • 1...Ra6
      • 2.Qxa6#
    • 1...Ra7
      • 2.Qxa7#
    • 1...Rxa8
      • 2.Rxa8#
    • 1...c2
      • 2.Bd4#
  • Tries
    • 1.Rc1?
      • 1...Rxa8
        • 2.Rxa8#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxc1!
    • 1.Rd1?
      • 1...Rxa8
        • 2.Rxa8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxd1!
    • 1.Re1?
      • 1...Rxa8
        • 2.Rxa8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxe1!
    • 1.Rf1?
      • 1...Rxa8
        • 2.Rxa8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxf1!
    • 1.Rg1?
      • 1...Rxa8
        • 2.Rxa8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxg1+!
    • 1.R8h2?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxa8!
    • 1.R8h4?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxa8!
    • 1.R8h5?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Rxa5#
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxa8!
    • 1.R8h6?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Rxa6#
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxa8!
    • 1.R8h7?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Rxa7#
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxa8!
    • 1.Rb8?
      • threat
        • 2.Rhxb1#
        • 2.Rbxb1#
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxa8
        • 2.Rxa8#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...c2
        • 2.Bd4#
      • 1...Rxh1!
    • 1.Rc8?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxa8
        • 2.Rxa8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxh1!
    • 1.Rd8?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxa8
        • 2.Rxa8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxh1!
    • 1.Re8?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxa8
        • 2.Rxa8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rhxe1#
        • 2.Rexe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxh1!
    • 1.Rf8?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxa8
        • 2.Rxa8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxh1!
    • 1.Rg8?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxa8
        • 2.Rxa8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#
      • 1...Rxh1!
    • 1.Qa3?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...c2
        • 2.Bd4#
      • 1...Rxa3!
    • 1.Qa4?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
        • 2.Qxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...c2
        • 2.Bd4#
      • 1...Rxa4!
    • 1.Qa5?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...c2
        • 2.Bd4#
      • 1...Rxa5!
    • 1.Qa6?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...c2
        • 2.Bd4#
      • 1...Rxa6!
    • 1.Qa7?
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...c2
        • 2.Bd4#
      • 1...Rxa7!
  • Keys
    • 1.Kh2!
      • 1...Rxh1+
        • 2.Qxh1#
      • 1...Rxa8
        • 2.Rxa8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Qxa3#
      • 1...Ra4
        • 2.Qxa4#
      • 1...Ra5
        • 2.Qxa5#
      • 1...Ra6
        • 2.Qxa6#
      • 1...Ra7
        • 2.Qxa7#
      • 1...c2
        • 2.Bd4#

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • R(b);OGATEB::R(A),XR(b)
    • R(b);CHECK,OGATEB::R(A),XR(b)
    • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::R(G),XR(b)
    • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
    • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
    • R(c);N_PINB(B),OGATE,XQ(F)::R(G),XR(c)
    • P(d);N_PINB(B)::B(B)
  • Tries
    • Try
      • R(A);
      • Vars
        • R(c);N_PINB(B),OGATE,XQ(F)::R(G),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(b);N_SPINR(b),P_SPINR(c),XR(A)
    • Try
      • R(A);
      • Vars
        • R(c);N_PINB(B),OGATE,XQ(F)::R(G),XR(c)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(b);N_SPINR(b),P_SPINR(c),XR(A)
    • Try
      • R(A);
      • Vars
        • R(c);N_PINB(B),OGATE,XQ(F)::R(G),XR(c)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(b);N_SPINR(b),P_SPINR(c),XR(A)
    • Try
      • R(A);
      • Vars
        • R(c);N_PINB(B),OGATE,XQ(F)::R(G),XR(c)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(b);N_SPINR(b),P_SPINR(c),XR(A)
    • Try
      • R(A);
      • Vars
        • R(c);N_PINB(B),OGATE,XQ(F)::R(G),XR(c)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(b);CHECK,N_SPINR(b),P_SPINR(c),XR(A)
    • Try
      • R(G);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::R(G),XR(b)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(c);N_PINB(B),XQ(F)
    • Try
      • R(G);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::R(G),XR(b)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(c);N_PINB(B),XQ(F)
    • Try
      • R(G);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::R(G),XR(b)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(c);N_PINB(B),XQ(F)
    • Try
      • R(G);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::R(G),XR(b)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(c);N_PINB(B),XQ(F)
    • Try
      • R(G);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::R(G),XR(b)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(c);N_PINB(B),XQ(F)
    • Try
      • R(G);
      • Threat
        • DUALS(2)
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATE,XQ(F)::R(G),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • R(b);OGATEB::R(A),XR(b)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(b);N_SPINR(b),P_SPINR(c),XR(A)
    • Try
      • R(G);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATE,XQ(F)::R(G),XR(c)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(b);N_SPINR(b),P_SPINR(c),XR(A)
    • Try
      • R(G);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATE,XQ(F)::R(G),XR(c)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(b);N_SPINR(b),P_SPINR(c),XR(A)
    • Try
      • R(G);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATE,XQ(F)::R(G),XR(c)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(b);N_SPINR(b),P_SPINR(c),XR(A)
    • Try
      • R(G);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATE,XQ(F)::R(G),XR(c)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(b);N_SPINR(b),P_SPINR(c),XR(A)
    • Try
      • R(G);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATE,XQ(F)::R(G),XR(c)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(b);N_SPINR(b),P_SPINR(c),XR(A)
    • Try
      • Q(F);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::R(G),XR(b)
        • R(b);OGATEB::R(A),XR(b)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(c);N_PINB(B),XQ(F)
    • Try
      • Q(F);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::R(G),XR(b)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(c);N_PINB(B),XQ(F)
    • Try
      • Q(F);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::R(G),XR(b)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(c);N_PINB(B),XQ(F)
    • Try
      • Q(F);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::R(G),XR(b)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(c);N_PINB(B),XQ(F)
    • Try
      • Q(F);
      • Vars
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::R(G),XR(b)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
        • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
        • P(d);N_PINB(B)::B(B)
      • Refutation
        • R(c);N_PINB(B),XQ(F)
  • Actual
    • K(C);P-FLIGHT
    • Vars
      • R(b);CHECK,N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(b)
      • R(c);N_PINB(B),OGATE,XQ(F)::R(G),XR(c)
      • R(b);OGATEB::R(A),XR(b)
      • R(c);N_PINB(B),OGATEB::QAR2(F),XR(c)
      • R(c);N_PINB(B),OGATEB::QAR(F),XR(c)
      • P(d);N_PINB(B)::B(B)
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).