MESON Chess Problem Database
Problem Display
PID: 186173 (B6R/6P1/1K3B2/8/8/Q3p1P1/1P4br/R5rk w - - 0 1)
White, James R
Problem Observer, 2017
#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#
- 1...Rxa1
- 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...Rh5+
- 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...Rc1+
- 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...Rc1+
- 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...Rh6+
- 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...Rh6+
- 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...Rh6+
- 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...Rh6+
- 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...Rh6+
- 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...Rxa1
- 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!
- threat
- 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...Rxa1
- 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...Rxa1
- 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...Rxa1
- 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...Rxa1
- 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...Rxa1
- 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...Rxa1
- 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...Rxa1
- 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...Rxa1
- 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!
- 1...Rxa1
- 1.Kb5?
- 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#
- 1...Rh6+
- 1.Bd4!
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);
- Try
- 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).