Problem Display
PID: 186173 (B6R/6P1/1K3B2/8/8/Q3p1P1/1P4br/R5rk w - - 0 1)

White, James R

Problem Observer, 2017

B6R/6P1/1K3B2/8/8/Q3p1P1/1P4br/R5rk

#2

9 + 5


5454 Near Snap 2019

SOLUTION


  • SOUND
  • Sets
    • 1...Rxa1
      • 2.Qxa1#
    • 1...Rb1
      • 2.Rxb1#
    • 1...Rc1
      • 2.Rxc1#
    • 1...Rd1
      • 2.Rxd1#
    • 1...Re1
      • 2.Rxe1#
    • 1...Rf1
      • 2.Rxf1#
    • 1...Rh3
      • 2.Rxh3#
    • 1...Rh4
      • 2.Rxh4#
    • 1...Rh5
      • 2.Rxh5#
    • 1...Rh6
      • 2.Rxh6#
    • 1...Rh7
      • 2.Rxh7#
    • 1...Rxh8
      • 2.gxh8Q#
      • 2.gxh8R#
    • 1...Bf3
      • 2.Bxf3#
    • 1...Be4
      • 2.Bxe4#
    • 1...Bd5
      • 2.Bxd5#
    • 1...Bc6
      • 2.Bxc6#
    • 1...Bb7
      • 2.Bxb7#
    • 1...Bxa8
      • 2.Qxa8#
  • Tries
    • 1.Kb5?
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Bc6+
        • 2.Bxc6#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.Kc5?
      • 1...Rc1+
        • 2.Rxc1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.Kc7?
      • 1...Rc1+
        • 2.Rxc1#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.Bc3?
      • 1...Rh6+
        • 2.Rxh6#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.Be5?
      • 1...Rh6+
        • 2.Rxh6#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.Bg5?
      • 1...Rh6+
        • 2.Rxh6#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.Be7?
      • 1...Rh6+
        • 2.Rxh6#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.Bd8?
      • 1...Rh6+
        • 2.Rxh6#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.Qa2?
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
        • 2.Qxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
        • 2.Qxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.Qxe3?
      • threat
        • 2.Rxg1#
        • 2.Qxg1#
      • 1...Rxh8
        • 2.Qxg1#
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
        • 2.Qxg1#
      • 1...Rh4
        • 2.Rxh4#
        • 2.Qxg1#
      • 1...Rh5
        • 2.Rxh5#
        • 2.Qxg1#
      • 1...Rh6
        • 2.Rxh6#
        • 2.Qxg1#
        • 2.Qxh6#
      • 1...Rh7
        • 2.Rxh7#
        • 2.Qxg1#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
        • 2.Qxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rxa1!
    • 1.Qa4?
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
        • 2.Qxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
        • 2.Qxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
        • 2.Qxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
        • 2.Qxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.Qa5?
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
        • 2.Qxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
        • 2.Qxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
        • 2.Qxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.Qa6?
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
        • 2.Qxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
        • 2.Qxb7#
      • 1...e2!
    • 1.Qa7?
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
        • 2.Qxb7#
      • 1...e2!
    • 1.b3?
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.b4?
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.g4?
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.g8Q?
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.Qxh8#
      • 1...Bxa8
        • 2.Qaxa8#
        • 2.Qgxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
        • 2.Qxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
        • 2.Qxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
    • 1.g8R?
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.Rxh8#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2!
  • Keys
    • 1.Bd4!
      • 1...Rh6+
        • 2.Rxh6#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Bxa8
        • 2.Qxa8#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...e2
        • 2.Rxg1#

Anticipated by 145266(1972)

There are these versions: 186177

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
    • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
    • R(a);OGATEB::R(A),XR(a)
    • R(d);OGATEB::R(I),XR(d)
    • R(d);OGATEB,P_PINB(F)::R(I),XR(d)
    • R(d);OGATE,XR(I)::PXR(d)=Q
    • B(c);OGATEB::B(H),XB(c)
    • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
  • Tries
    • Try
      • K(E);P-FLIGHT
      • Vars
        • R(d);CHECK,OGATEB::R(I),XR(d)
        • B(c);CHECK,OGATEB::B(H),XB(c)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • K(E);S_FLIGHT
      • Vars
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(I),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • K(E);S_FLIGHT
      • Vars
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • R(d);OGATEB,P_PINP(G)::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • B(F);
      • Vars
        • R(d);CHECK,OGATEB::R(I),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • B(F);
      • Vars
        • R(d);CHECK,OGATEB::R(I),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • B(F);
      • Vars
        • R(d);CHECK,OGATEB::R(I),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • B(F);
      • Vars
        • R(d);CHECK,OGATEB::R(I),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • B(F);
      • Vars
        • R(d);CHECK,OGATEB::R(I),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • Q(C);
      • Vars
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • R(d);OGATEB,P_PINB(F)::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • Q(C);XP(e)
      • Threat
        • DUALS(2)
      • Vars
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
      • Refutation
        • R(a);N_SPINR(a),P_SPINR(d),XR(A)
    • Try
      • Q(C);
      • Vars
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • R(d);OGATEB,P_PINB(F)::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • Q(C);
      • Vars
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • R(d);OGATEB,P_PINB(F)::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • Q(C);
      • Vars
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • R(d);OGATEB,P_PINB(F)::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • Q(C);
      • Vars
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • R(d);OGATEB,P_PINB(F)::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • P(B);
      • Vars
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • R(d);OGATEB,P_PINB(F)::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • P(B);
      • Vars
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • R(d);OGATEB,P_PINB(F)::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • P(D);
      • Vars
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::PXR(d)=Q
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • R(d);OGATEB,P_PINB(F)::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • P(G);
      • Vars
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::QAB(G),XR(d)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • R(d);OGATEB,P_PINB(F)::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
    • Try
      • P(G);
      • Vars
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
        • R(d);OGATE,XR(I)::R(G),XR(d)
        • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
        • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(I),XR(d)
        • R(d);OGATEB,P_PINB(F)::R(I),XR(d)
        • B(c);OGATEB::B(H),XB(c)
      • Refutation
        • P(e);
  • Actual
    • B(F);
    • Vars
      • R(d);CHECK,OGATEB::R(I),XR(d)
      • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAB1(C),XR(a)
      • R(d);OGATE,XR(I)::PXR(d)=Q
      • B(c);N_SPINB(c),OGATE,XB(H)::QAB(C),XB(c)
      • R(a);OGATEB,P_PINP(B)::R(A),XR(a)
      • R(a);OGATEB::R(A),XR(a)
      • R(d);OGATEB::R(I),XR(d)
      • B(c);OGATEB::B(H),XB(c)
      • P(e);::R1(A),XR(a)


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