MESON Chess Problem Database
Problem Display
PID: 145266 (R6B/1P6/4N3/1P3K1Q/8/5p2/rb6/kr5R w - - 0 1)
Morse, Christopher Jeremy
The Problemist, 1972
#2
8 + 5
| 5454 | Near Snap | 2019 |
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.Qxh1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- Tries
- 1.Ke4?
- 1...Re1+
- 2.Rxe1#
- 1...Ra4+
- 2.Rxa4#
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 2.Qxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Re1+
- 1.Kf4?
- 1...Ra4+
- 2.Rxa4#
- 1...Be5+
- 2.Bxe5#
- 2.Qxe5#
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Ra4+
- 1.Kg4?
- 1...Rg1+
- 2.Rxg1#
- 1...Ra4+
- 2.Rxa4#
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 2.Qxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Rg1+
- 1.Kg5?
- 1...Rg1+
- 2.Rxg1#
- 1...Bf6+
- 2.Bxf6#
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Rg1+
- 1.Kg6?
- 1...Rg1+
- 2.Rxg1#
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 2.Qxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Rg1+
- 1.Sf4?
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Rxh1
- 1.Sg5?
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Rxh1
- 1.Sc7?
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Rxh1
- 1.Sd8?
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Rxh1
- 1.Sf8?
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Rxh1
- 1.Qxf3?
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 2.Qxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 2.Qxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 2.Qxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 2.Qxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...Bxh8!
- 1...Rxh1
- 1.Qh2?
- threat
- 2.Bxb2#
- 2.Qxb2#
- 1...Rxh1
- 2.Qxh1#
- 2.Qxb2#
- 1...Rxa8
- 2.Qxb2#
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Rxa2#
- 2.Qxa2#
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 2.Qxb2#
- 1...Rd1
- 2.Rxd1#
- 2.Qxb2#
- 1...Re1
- 2.Rxe1#
- 2.Qxb2#
- 1...Rf1
- 2.Rxf1#
- 2.Qxb2#
- 1...Rg1
- 2.Rxg1#
- 2.Qxg1#
- 2.Qxb2#
- 1...Ra3
- 2.Rxa3#
- 2.Qxb2#
- 1...Ra4
- 2.Rxa4#
- 2.Qxb2#
- 1...Ra5
- 2.Rxa5#
- 2.Qxb2#
- 1...Ra6
- 2.Rxa6#
- 2.Qxb2#
- 1...Ra7
- 2.Rxa7#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 2.Rxa2#
- 2.Qxa2#
- 1...Bd4
- 2.Bxd4#
- 2.Rxa2#
- 2.Qxa2#
- 1...Be5
- 2.Bxe5#
- 2.Rxa2#
- 2.Qxe5#
- 2.Qxa2#
- 1...Bf6
- 2.Bxf6#
- 2.Rxa2#
- 2.Qxa2#
- 1...Bg7
- 2.Bxg7#
- 2.Rxa2#
- 2.Qxa2#
- 1...f2!
- threat
- 1.Qh3?
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 2.Qxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Rxh1
- 1.Qh4?
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 2.Qxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 2.Qxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 2.Qxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 2.Qxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Rxh1
- 1.Qh6?
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 2.Qxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 2.Qxf6#
- 1...Bg7
- 2.Bxg7#
- 2.Qxg7#
- 1...f2!
- 1...Rxh1
- 1.Qh7?
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 2.Qxg7#
- 1...f2!
- 1...Rxh1
- 1.b6?
- 1...Ra5+
- 2.Rxa5#
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Ra5+
- 1.b8Q?
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.Qxa8#
- 1...Bxh8
- 2.Qhxh8#
- 2.Qbxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 2.Qxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 2.Qxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Rxh1
- 1.b8R?
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.Rxa8#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...f2!
- 1...Rxh1
- 1.Ke4?
- Keys
- 1.Sc5!
- threat
- 2.Sb3#
- 1...Rxh1
- 2.Qxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra3
- 2.Rxa3#
- 1...Ra4
- 2.Rxa4#
- 1...Ra5
- 2.Rxa5#
- 1...Ra6
- 2.Rxa6#
- 1...Ra7
- 2.Rxa7#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- threat
- 1.Sc5!
This anticipates 186173(2017)
This is a version
FEATURES
- Static
- TYPE = THREAT
- CHANGED MATES = 0
- ADDED MATES = 0
- REMOVED MATES = 0
- Sets
- R(b);OGATEB::R(A),XR(b)
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);OGATEB::B(H),XB(d)
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- Tries
- Try
- K(C);S_FLIGHT
- Vars
- R(b);CHECK,OGATEB::R(A),XR(b)
- R(c);CHECK,OGATEB::R(G),XR(c)
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- K(C);P-FLIGHT
- Vars
- R(c);CHECK,OGATEB::R(G),XR(c)
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- K(C);S_FLIGHT
- Vars
- R(b);CHECK,OGATEB::R(A),XR(b)
- R(c);CHECK,OGATEB::R(G),XR(c)
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- K(C);P-FLIGHT
- Vars
- R(b);CHECK,OGATEB::R(A),XR(b)
- B(d);CHECK,OGATEB::B(H),XB(d)
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- K(C);S_FLIGHT
- Vars
- R(b);CHECK,OGATEB::R(A),XR(b)
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINS(E)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- S(E);
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- S(E);
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- S(E);
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- S(E);
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- S(E);
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- Q(D);XP(e)
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- B(d);N_SPINB(d),XB(H)
- Try
- Q(D);
- Threat
- DUALS(2)
- Refutation
- P(e);
- Try
- Q(D);
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- Q(D);
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- Q(D);
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- Q(D);
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- P(B);
- Vars
- R(c);CHECK,OGATEB::R(G),XR(c)
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- P(F);
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::QAB(F),XR(c)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- P(F);
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::R(F),XR(c)
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- R(c);OGATEB,P_PINP(B)::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
- Refutation
- P(e);
- Try
- Actual
- S(E);
- Threat
- S(E)
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
- R(c);OGATE,XR(G)::PXR(c)=Q
- B(d);N_SPINB(d),OGATE,XB(H)::QAB(D),XB(d)
- R(b);OGATEB::R(A),XR(b)
- R(c);OGATEB::R(G),XR(c)
- B(d);OGATEB::B(H),XB(d)
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).