MESON Chess Problem Database
Problem Display
PID: 262821 (1B6/PR6/K3N2N/1pP3P1/1pr1k3/3R1q1Q/2B1P1nn/b4r2 w - - 0 1)
Zalewski, Mieczyzlaw
Szachy, 1976
#2
12 + 9
| 6490 | yacpdb | 2022 |
SOLUTION
- SOUND
- Sets
- 1...Qxe2
- 2.Rd4#
- 1...Qg4
- 2.Rd4#
- 1...Qh5
- 2.Rd4#
- 1...Qf2
- 2.Rd4#
- 1...Qxd3
- 2.Qxd3#
- 1...Qe3
- 2.Rd4#
- 1...Qf4
- 2.Rd4#
- 1...Qf5
- 2.Rd4#
- 1...Qf6
- 2.Rd4#
- 1...Qf7
- 2.Rd4#
- 1...Qf8
- 2.Rd4#
- 1...Rxc5
- 2.Sxc5#
- 1...Se3
- 2.Rd4#
- 1...Sf4
- 2.Qf5#
- 1...Qxe2
- Tries
- 1.Sf5?
- threat
- 2.Rd4#
- 1...Qxd3
- 2.Qxd3#
- 1...Rd4
- 2.Rxd4#
- 1...Bd4
- 2.Rxd4#
- 1...Rxc2!
- threat
- 1.Bf4?
- threat
- 2.Rd4#
- 2.Qf5#
- 1...Qxd3
- 2.Qf5#
- 2.Qxd3#
- 1...Qxh3
- 2.Rd4#
- 1...Rxc2
- 2.Qf5#
- 1...Rxc5
- 2.Rd4#
- 1...Sxf4
- 2.Qf5#
- 1...Rd4
- 2.Rxd4#
- 2.Qf5#
- 1...Bd4
- 2.Rxd4#
- 2.Qf5#
- 1...Qg4
- 2.Rd4#
- 1...Se3
- 2.Rd4#
- 1...Sh4
- 2.Rd4#
- 1...Sg4
- 2.Rd4#
- 1...Qxf4!
- threat
- 1.Rc3+?
- 1...Qd3
- 2.Qxd3#
- 1...Kd5!
- 1...Qd3
- 1.Rxf3+?
- 1...Rxc2
- 2.Qf5#
- 1...Kd5!
- 1...Rxc2
- 1.Rxb5?
- threat
- 2.a8Q#
- 2.a8B#
- 1...Qxe2
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qxd3
- 2.Qxd3#
- 2.a8Q#
- 2.a8B#
- 1...Qxh3
- 2.a8Q#
- 2.a8B#
- 1...Rxc2
- 2.a8Q#
- 2.a8B#
- 1...Rxc5
- 2.Sxc5#
- 1...Bd4
- 2.a8Q#
- 2.a8B#
- 1...Qg4
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qh5
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf2
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qe3
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qg3
- 2.a8Q#
- 2.a8B#
- 1...Qf4
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf5
- 2.Rd4#
- 1...Qf6
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf7
- 2.Rd4#
- 1...Qf8
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Rb1
- 2.a8Q#
- 2.a8B#
- 1...Rc1
- 2.a8Q#
- 2.a8B#
- 1...Rd1
- 2.a8Q#
- 2.a8B#
- 1...Re1
- 2.a8Q#
- 2.a8B#
- 1...Rg1
- 2.a8Q#
- 2.a8B#
- 1...Rh1
- 2.a8Q#
- 2.a8B#
- 1...Rf2
- 2.a8Q#
- 2.a8B#
- 1...Rc3
- 2.a8Q#
- 2.a8B#
- 1...Bb2
- 2.a8Q#
- 2.a8B#
- 1...Bc3
- 2.a8Q#
- 2.a8B#
- 1...Be5
- 2.a8Q#
- 2.a8B#
- 1...Bf6
- 2.a8Q#
- 2.a8B#
- 1...Bg7
- 2.a8Q#
- 2.a8B#
- 1...Bh8
- 2.a8Q#
- 2.a8B#
- 1...Se1
- 2.a8Q#
- 2.a8B#
- 1...Se3
- 2.Rd4#
- 1...Sf4
- 2.Qf5#
- 1...Sh4
- 2.a8Q#
- 2.a8B#
- 1...Sg4
- 2.a8Q#
- 2.a8B#
- 1...b3
- 2.a8Q#
- 2.a8B#
- 1...Rd4!
- threat
- 1.Rb6?
- threat
- 2.a8Q#
- 2.a8B#
- 1...Qxe2
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qxd3
- 2.Qxd3#
- 2.a8Q#
- 2.a8B#
- 1...Qxh3
- 2.a8Q#
- 2.a8B#
- 1...Rxc2
- 2.a8Q#
- 2.a8B#
- 1...Rxc5
- 2.Sxc5#
- 1...Bd4
- 2.a8Q#
- 2.a8B#
- 1...Qg4
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qh5
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf2
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qe3
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qg3
- 2.a8Q#
- 2.a8B#
- 1...Qf4
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf5
- 2.Rd4#
- 1...Qf6
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf7
- 2.Rd4#
- 1...Qf8
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Rb1
- 2.a8Q#
- 2.a8B#
- 1...Rc1
- 2.a8Q#
- 2.a8B#
- 1...Rd1
- 2.a8Q#
- 2.a8B#
- 1...Re1
- 2.a8Q#
- 2.a8B#
- 1...Rg1
- 2.a8Q#
- 2.a8B#
- 1...Rh1
- 2.a8Q#
- 2.a8B#
- 1...Rf2
- 2.a8Q#
- 2.a8B#
- 1...Rc3
- 2.a8Q#
- 2.a8B#
- 1...Bb2
- 2.a8Q#
- 2.a8B#
- 1...Bc3
- 2.a8Q#
- 2.a8B#
- 1...Be5
- 2.a8Q#
- 2.a8B#
- 1...Bf6
- 2.a8Q#
- 2.a8B#
- 1...Bg7
- 2.a8Q#
- 2.a8B#
- 1...Bh8
- 2.a8Q#
- 2.a8B#
- 1...Se1
- 2.a8Q#
- 2.a8B#
- 1...Se3
- 2.Rd4#
- 1...Sf4
- 2.Qf5#
- 1...Sh4
- 2.a8Q#
- 2.a8B#
- 1...Sg4
- 2.a8Q#
- 2.a8B#
- 1...b3
- 2.a8Q#
- 2.a8B#
- 1...Rd4!
- threat
- 1.Rbd7?
- threat
- 2.a8Q#
- 2.a8B#
- 1...Qxe2
- 2.Re3#
- 2.R3d4#
- 2.a8Q#
- 2.a8B#
- 1...Qxd3
- 2.Bxd3#
- 2.Qxd3#
- 2.exd3#
- 2.a8Q#
- 2.a8B#
- 1...Qxh3
- 2.a8Q#
- 2.a8B#
- 1...Rxc2
- 2.a8Q#
- 2.a8B#
- 1...Rxc5
- 2.Sxc5#
- 1...Qg4
- 2.Rc3#
- 2.Re3#
- 2.R3d4#
- 2.a8Q#
- 2.a8B#
- 1...Qh5
- 2.Rc3#
- 2.Re3#
- 2.R3d4#
- 2.a8Q#
- 2.a8B#
- 1...Qf2
- 2.Rc3#
- 2.Re3#
- 2.R3d4#
- 2.a8Q#
- 2.a8B#
- 1...Qe3
- 2.Rxe3#
- 2.R3d4#
- 2.a8Q#
- 2.a8B#
- 1...Qg3
- 2.a8Q#
- 2.a8B#
- 1...Qf4
- 2.Rc3#
- 2.Re3#
- 2.R3d4#
- 2.a8Q#
- 2.a8B#
- 1...Qf5
- 2.Rc3#
- 2.Re3#
- 2.R3d4#
- 1...Qf6
- 2.Rc3#
- 2.Re3#
- 2.R3d4#
- 2.a8Q#
- 2.a8B#
- 1...Qf7
- 2.Rc3#
- 2.Re3#
- 2.R3d4#
- 2.a8Q#
- 2.a8B#
- 1...Qf8
- 2.Rc3#
- 2.Re3#
- 2.R3d4#
- 2.a8Q#
- 2.a8B#
- 1...Rb1
- 2.a8Q#
- 2.a8B#
- 1...Rc1
- 2.a8Q#
- 2.a8B#
- 1...Rd1
- 2.a8Q#
- 2.a8B#
- 1...Re1
- 2.a8Q#
- 2.a8B#
- 1...Rg1
- 2.a8Q#
- 2.a8B#
- 1...Rh1
- 2.a8Q#
- 2.a8B#
- 1...Rf2
- 2.a8Q#
- 2.a8B#
- 1...Rc3
- 2.R7d4#
- 2.a8Q#
- 2.a8B#
- 1...Bb2
- 2.a8Q#
- 2.a8B#
- 1...Bc3
- 2.Rxf3#
- 2.a8Q#
- 2.a8B#
- 1...Bd4
- 2.a8Q#
- 2.a8B#
- 1...Be5
- 2.a8Q#
- 2.a8B#
- 1...Bf6
- 2.a8Q#
- 2.a8B#
- 1...Bg7
- 2.a8Q#
- 2.a8B#
- 1...Bh8
- 2.a8Q#
- 2.a8B#
- 1...Se1
- 2.a8Q#
- 2.a8B#
- 1...Se3
- 2.R3d4#
- 1...Sf4
- 2.Qf5#
- 1...Sh4
- 2.a8Q#
- 2.a8B#
- 1...Sg4
- 2.a8Q#
- 2.a8B#
- 1...b3
- 2.a8Q#
- 2.a8B#
- 1...Rd4!
- threat
- 1.Rf7?
- threat
- 2.a8Q#
- 2.a8B#
- 1...Qxe2
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qxd3
- 2.Qxd3#
- 2.a8Q#
- 2.a8B#
- 1...Qxh3
- 2.a8Q#
- 2.a8B#
- 1...Qxf7
- 2.Rd4#
- 1...Rxc2
- 2.a8Q#
- 2.a8B#
- 1...Rxc5
- 2.Sxc5#
- 1...Bd4
- 2.a8Q#
- 2.a8B#
- 1...Qg4
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qh5
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf2
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qe3
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qg3
- 2.a8Q#
- 2.a8B#
- 1...Qf4
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf5
- 2.Rd4#
- 1...Qf6
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Rb1
- 2.a8Q#
- 2.a8B#
- 1...Rc1
- 2.a8Q#
- 2.a8B#
- 1...Rd1
- 2.a8Q#
- 2.a8B#
- 1...Re1
- 2.a8Q#
- 2.a8B#
- 1...Rg1
- 2.a8Q#
- 2.a8B#
- 1...Rh1
- 2.a8Q#
- 2.a8B#
- 1...Rf2
- 2.a8Q#
- 2.a8B#
- 1...Rc3
- 2.a8Q#
- 2.a8B#
- 1...Bb2
- 2.a8Q#
- 2.a8B#
- 1...Bc3
- 2.a8Q#
- 2.a8B#
- 1...Be5
- 2.a8Q#
- 2.a8B#
- 1...Bf6
- 2.a8Q#
- 2.a8B#
- 1...Bg7
- 2.a8Q#
- 2.a8B#
- 1...Bh8
- 2.a8Q#
- 2.a8B#
- 1...Se1
- 2.a8Q#
- 2.a8B#
- 1...Se3
- 2.Rd4#
- 1...Sf4
- 2.Qf5#
- 1...Sh4
- 2.a8Q#
- 2.a8B#
- 1...Sg4
- 2.a8Q#
- 2.a8B#
- 1...b3
- 2.a8Q#
- 2.a8B#
- 1...Rd4!
- threat
- 1.Rg7?
- threat
- 2.a8Q#
- 2.a8B#
- 1...Qxe2
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qxd3
- 2.Qxd3#
- 2.a8Q#
- 2.a8B#
- 1...Qxh3
- 2.a8Q#
- 2.a8B#
- 1...Rxc2
- 2.a8Q#
- 2.a8B#
- 1...Rxc5
- 2.Sxc5#
- 1...Bxg7
- 2.a8Q#
- 2.a8B#
- 1...Bd4
- 2.a8Q#
- 2.a8B#
- 1...Qg4
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qh5
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf2
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qe3
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qg3
- 2.a8Q#
- 2.a8B#
- 1...Qf4
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf5
- 2.Rd4#
- 1...Qf6
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf7
- 2.Rd4#
- 1...Qf8
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Rb1
- 2.a8Q#
- 2.a8B#
- 1...Rc1
- 2.a8Q#
- 2.a8B#
- 1...Rd1
- 2.a8Q#
- 2.a8B#
- 1...Re1
- 2.a8Q#
- 2.a8B#
- 1...Rg1
- 2.a8Q#
- 2.a8B#
- 1...Rh1
- 2.a8Q#
- 2.a8B#
- 1...Rf2
- 2.a8Q#
- 2.a8B#
- 1...Rc3
- 2.a8Q#
- 2.a8B#
- 1...Bb2
- 2.a8Q#
- 2.a8B#
- 1...Bc3
- 2.a8Q#
- 2.a8B#
- 1...Be5
- 2.a8Q#
- 2.a8B#
- 1...Bf6
- 2.a8Q#
- 2.a8B#
- 1...Se1
- 2.a8Q#
- 2.a8B#
- 1...Se3
- 2.Rd4#
- 1...Sf4
- 2.Qf5#
- 1...Sh4
- 2.a8Q#
- 2.a8B#
- 1...Sg4
- 2.a8Q#
- 2.a8B#
- 1...b3
- 2.a8Q#
- 2.a8B#
- 1...Rd4!
- threat
- 1.Rh7?
- threat
- 2.a8Q#
- 2.a8B#
- 1...Qxe2
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qxd3
- 2.Qxd3#
- 2.a8Q#
- 2.a8B#
- 1...Qxh3
- 2.a8Q#
- 2.a8B#
- 1...Rxc2
- 2.a8Q#
- 2.a8B#
- 1...Rxc5
- 2.Sxc5#
- 1...Bd4
- 2.a8Q#
- 2.a8B#
- 1...Qg4
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qh5
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf2
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qe3
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qg3
- 2.a8Q#
- 2.a8B#
- 1...Qf4
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf5
- 2.Rd4#
- 1...Qf6
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf7
- 2.Rd4#
- 1...Qf8
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Rb1
- 2.a8Q#
- 2.a8B#
- 1...Rc1
- 2.a8Q#
- 2.a8B#
- 1...Rd1
- 2.a8Q#
- 2.a8B#
- 1...Re1
- 2.a8Q#
- 2.a8B#
- 1...Rg1
- 2.a8Q#
- 2.a8B#
- 1...Rh1
- 2.a8Q#
- 2.a8B#
- 1...Rf2
- 2.a8Q#
- 2.a8B#
- 1...Rc3
- 2.a8Q#
- 2.a8B#
- 1...Bb2
- 2.a8Q#
- 2.a8B#
- 1...Bc3
- 2.a8Q#
- 2.a8B#
- 1...Be5
- 2.a8Q#
- 2.a8B#
- 1...Bf6
- 2.a8Q#
- 2.a8B#
- 1...Bg7
- 2.a8Q#
- 2.a8B#
- 1...Bh8
- 2.a8Q#
- 2.a8B#
- 1...Se1
- 2.a8Q#
- 2.a8B#
- 1...Se3
- 2.Rd4#
- 1...Sf4
- 2.Qf5#
- 1...Sh4
- 2.a8Q#
- 2.a8B#
- 1...Sg4
- 2.a8Q#
- 2.a8B#
- 1...b3
- 2.a8Q#
- 2.a8B#
- 1...Rd4!
- threat
- 1.exf3+?
- 1...Sxf3
- 2.Qf5#
- 1...Rxf3!
- 1...Sxf3
- 1.a8Q?
- threat
- 2.Rxb5#
- 2.Rb6#
- 2.Ra7#
- 2.Rbd7#
- 2.Re7#
- 2.Rf7#
- 2.Rg7#
- 2.Rh7#
- 1...Rxc5
- 2.Sxc5#
- 1...Qf5
- 2.Rd4#
- 1...Qf7
- 2.Rd4#
- 2.Rbd7#
- 2.Re7#
- 2.Rxf7#
- 1...Bg7
- 2.Rxb5#
- 2.Rb6#
- 2.Ra7#
- 2.Rbd7#
- 2.Re7#
- 2.Rf7#
- 2.Rxg7#
- 1...Se3
- 2.Rd4#
- 1...Sf4
- 2.Qf5#
- 1...Rd4!
- threat
- 1.a8B?
- threat
- 2.Rxb5#
- 2.Rb6#
- 2.Ra7#
- 2.Rbd7#
- 2.Re7#
- 2.Rf7#
- 2.Rg7#
- 2.Rh7#
- 1...Rxc5
- 2.Sxc5#
- 1...Qf5
- 2.Rd4#
- 1...Qf7
- 2.Rd4#
- 2.Rbd7#
- 2.Re7#
- 2.Rxf7#
- 1...Bg7
- 2.Rxb5#
- 2.Rb6#
- 2.Ra7#
- 2.Rbd7#
- 2.Re7#
- 2.Rf7#
- 2.Rxg7#
- 1...Se3
- 2.Rd4#
- 1...Sf4
- 2.Qf5#
- 1...Rd4!
- threat
- 1.Sf5?
- Keys
- 1.Re7!
- threat
- 2.a8Q#
- 2.a8B#
- 1...Qxe2
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qxd3
- 2.Qxd3#
- 2.a8Q#
- 2.a8B#
- 1...Qxh3
- 2.a8Q#
- 2.a8B#
- 1...Rxc2
- 2.a8Q#
- 2.a8B#
- 1...Rxc5
- 2.Sxc5#
- 1...Rd4
- 2.Sf4#
- 1...Bd4
- 2.a8Q#
- 2.a8B#
- 1...Qg4
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qh5
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf2
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qe3
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qg3
- 2.a8Q#
- 2.a8B#
- 1...Qf4
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf5
- 2.Rd4#
- 1...Qf6
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf7
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Qf8
- 2.Rd4#
- 2.a8Q#
- 2.a8B#
- 1...Rb1
- 2.a8Q#
- 2.a8B#
- 1...Rc1
- 2.a8Q#
- 2.a8B#
- 1...Rd1
- 2.a8Q#
- 2.a8B#
- 1...Re1
- 2.a8Q#
- 2.a8B#
- 1...Rg1
- 2.a8Q#
- 2.a8B#
- 1...Rh1
- 2.a8Q#
- 2.a8B#
- 1...Rf2
- 2.a8Q#
- 2.a8B#
- 1...Rc3
- 2.Sf4#
- 2.Sg7#
- 2.Sd8#
- 2.Sf8#
- 2.a8Q#
- 2.a8B#
- 1...Bb2
- 2.a8Q#
- 2.a8B#
- 1...Bc3
- 2.a8Q#
- 2.a8B#
- 1...Be5
- 2.a8Q#
- 2.a8B#
- 1...Bf6
- 2.a8Q#
- 2.a8B#
- 1...Bg7
- 2.Sxg7#
- 2.a8Q#
- 2.a8B#
- 1...Bh8
- 2.Sg7#
- 2.a8Q#
- 2.a8B#
- 1...Se1
- 2.a8Q#
- 2.a8B#
- 1...Se3
- 2.Rd4#
- 1...Sf4
- 2.Qf5#
- 1...Sh4
- 2.a8Q#
- 2.a8B#
- 1...Sg4
- 2.a8Q#
- 2.a8B#
- 1...b3
- 2.a8Q#
- 2.a8B#
- threat
- 1.Re7!
FEATURES
- Static
- TYPE = THREAT
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 10
- Sets
- Q(e);XP(B)::B(A)+R(C),DCHECK
- Q(e);::B(A)+R(C),DCHECK
- Q(e);OGATE,P_SPINQ(e),XR(C)::QAB1(D),XQ(e)
- Q(e);P_PINS(H)::B(A)+R(C),DCHECK
- R(g);XP(E)::S(H),XR(g)
- S(c);SBLOCK::B(A)+R(C),DCHECK
- S(c);S_CUTQ(e)::QAB1(D)
- Tries
- Try
- S(I);
- Threat
- B(A)+R(C),DCHECK
- Vars
- Q(e);OGATE,P_SPINQ(e),XR(C)::QAB1(D),XQ(e)
- R(g);::B(A)+R(C),DCHECK,XR(g)
- B(a);::B(A)+R(C),DCHECK,XB(a)
- Refutation
- R(g);XB(A)
- Try
- B(L);
- Threat
- DUALS(2)
- Vars
- Q(e);XQ(D)::B(A)+R(C),DCHECK
- R(g);XB(A)::QAB1(D)
- R(g);XP(E)::B(A)+R(C),DCHECK
- S(c);XB(L)::QAB1(D)
- Q(e);::B(A)+R(C),DCHECK
- S(c);::B(A)+R(C),DCHECK
- S(d);::B(A)+R(C),DCHECK
- Refutation
- Q(e);XB(L)
- Try
- R(C);CHECK
- Vars
- Q(e);OGATE,P_SPINQ(e)::QAB1(D),XQ(e)
- Refutation
- K(h);S_FLIGHT
- Try
- R(C);CHECK,XQ(e)
- Vars
- R(g);XB(A)::QAB1(D)
- Refutation
- K(h);S_FLIGHT
- Try
- R(K);XP(i)
- Threat
- P=Q
- Vars
- Q(e);XQ(D)::P=Q
- R(g);XB(A)::P=Q
- R(g);XP(E)::S(H),XR(g)
- B(a);::P=Q
- Q(e);::P=Q
- Q(e);::B(A)+R(C),DCHECK
- R(b);::P=Q
- R(g);::P=Q
- S(c);::P=Q
- S(c);SBLOCK::B(A)+R(C),DCHECK
- S(c);S_CUTQ(e)::QAB1(D)
- S(d);::P=Q
- P(f);::P=Q
- Refutation
- R(g);
- Try
- R(K);
- Threat
- P=Q
- Vars
- Q(e);XQ(D)::P=Q
- R(g);XB(A)::P=Q
- R(g);XP(E)::S(H),XR(g)
- B(a);::P=Q
- Q(e);::P=Q
- Q(e);::B(A)+R(C),DCHECK
- R(b);::P=Q
- R(g);::P=Q
- S(c);::P=Q
- S(c);SBLOCK::B(A)+R(C),DCHECK
- S(c);S_CUTQ(e)::QAB1(D)
- S(d);::P=Q
- P(f);::P=Q
- Refutation
- R(g);
- Try
- R(K);
- Threat
- P=Q
- Vars
- Q(e);XQ(D)::P=Q
- R(g);XB(A)::P=Q
- R(g);XP(E)::S(H),XR(g)
- Q(e);::P=Q
- R(b);::P=Q
- B(a);::P=Q
- S(c);::P=Q
- S(c);SBLOCK::B(A)+R(C),DCHECK
- S(c);S_CUTQ(e)::QAB1(D)
- S(d);::P=Q
- P(f);::P=Q
- Refutation
- R(g);
- Try
- R(K);
- Threat
- P=Q
- Vars
- Q(e);XQ(D)::P=Q
- Q(e);XR(K)::B(A)+R(C),DCHECK
- R(g);XB(A)::P=Q
- R(g);XP(E)::S(H),XR(g)
- B(a);::P=Q
- Q(e);::P=Q
- Q(e);::B(A)+R(C),DCHECK
- R(b);::P=Q
- R(g);::P=Q
- S(c);::P=Q
- S(c);SBLOCK::B(A)+R(C),DCHECK
- S(c);S_CUTQ(e)::QAB1(D)
- S(d);::P=Q
- P(f);::P=Q
- Refutation
- R(g);
- Try
- R(K);
- Threat
- P=Q
- Vars
- Q(e);XQ(D)::P=Q
- R(g);XB(A)::P=Q
- R(g);XP(E)::S(H),XR(g)
- B(a);XR(K)::P=Q
- B(a);::P=Q
- Q(e);::P=Q
- Q(e);::B(A)+R(C),DCHECK
- R(b);::P=Q
- R(g);::P=Q
- S(c);::P=Q
- S(c);SBLOCK::B(A)+R(C),DCHECK
- S(c);S_CUTQ(e)::QAB1(D)
- S(d);::P=Q
- P(f);::P=Q
- Refutation
- R(g);
- Try
- R(K);
- Threat
- P=Q
- Vars
- Q(e);XQ(D)::P=Q
- R(g);XB(A)::P=Q
- R(g);XP(E)::S(H),XR(g)
- B(a);::P=Q
- Q(e);::P=Q
- Q(e);::B(A)+R(C),DCHECK
- R(b);::P=Q
- R(g);::P=Q
- S(c);::P=Q
- S(c);SBLOCK::B(A)+R(C),DCHECK
- S(c);S_CUTQ(e)::QAB1(D)
- S(d);::P=Q
- P(f);::P=Q
- Refutation
- R(g);
- Try
- P(B);CHECK,XQ(e)
- Vars
- S(d);XP(B)::QAB1(D)
- Refutation
- R(b);XP(B)
- Try
- P(J);
- Threat
- DUALS(8)
- Vars
- R(g);XP(E)::S(H),XR(g)
- Q(e);::B(A)+R(C),DCHECK
- S(c);SBLOCK::B(A)+R(C),DCHECK
- S(c);S_CUTQ(e)::QAB1(D)
- Refutation
- R(g);
- Try
- P(J);
- Threat
- DUALS(8)
- Vars
- R(g);XP(E)::S(H),XR(g)
- Q(e);::B(A)+R(C),DCHECK
- S(c);SBLOCK::B(A)+R(C),DCHECK
- S(c);S_CUTQ(e)::QAB1(D)
- Refutation
- R(g);
- Try
- Actual
- R(K);
- Threat
- P=Q
- Vars
- Q(e);XQ(D)::P=Q
- R(g);XB(A)::P=Q
- R(g);XP(E)::R(K)+S(H),DCHECK,XR(g)
- R(g);S_CUTB(a)::R(K)+S(H)
- B(a);::P=Q
- Q(e);::P=Q
- Q(e);::B(A)+R(C),DCHECK
- R(b);::P=Q
- S(c);::P=Q
- S(c);SBLOCK::B(A)+R(C),DCHECK
- S(c);S_CUTQ(e)::QAB1(D)
- S(d);::P=Q
- P(f);::P=Q
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).