MESON Chess Problem Database
Problem Display
PID: 21974 (3r4/1R1p1B2/2Pkn1P1/1P2R3/8/8/1BQ5/6K1 w - - 0 1)
Sommer, Bruno Oswald
1st Prize, Teplitz-Schonauer Anzeiger, 1922
#2
9 + 4
| 3098 | FIDE Album (1914-1944) (I) | 1971 |
| 3364 | Solving in Style | 1985 |
SOLUTION
- SOUND
- Sets
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Qc5#
- 1...Sf4
- 2.Qc5#
- 1...Sc5
- 2.Qxc5#
- 1...Sg5
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sc7
- 2.Qc5#
- 1...Sg7
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sf8
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- Tries
- 1.Kf1?
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Qc5#
- 1...Sf4
- 2.Qc5#
- 1...Sc5
- 2.Qxc5#
- 1...Sg5
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sc7
- 2.Qc5#
- 1...Sg7
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sf8
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Ke7!
- 1...dxc6
- 1.Kf2?
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Qc5#
- 1...Sf4
- 2.Qc5#
- 1...Sc5
- 2.Qxc5#
- 1...Sg5
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sc7
- 2.Qc5#
- 1...Sg7
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sf8
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Ke7!
- 1...dxc6
- 1.Ba1?
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Qc5#
- 1...Sf4
- 2.Qc5#
- 1...Sc5
- 2.Qxc5#
- 1...Sg5
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sc7
- 2.Qc5#
- 1...Sg7
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sf8
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Ke7!
- 1...dxc6
- 1.Ba3+?
- 1...Sc5
- 2.Qxc5#
- 1...Kxe5!
- 1...Sc5
- 1.Bd4?
- 1...Sxd4
- 2.Qc5#
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sf4
- 2.Qc5#
- 1...Sc5
- 2.Qxc5#
- 1...Sg5
- 2.Qc5#
- 1...Sc7
- 2.Qc5#
- 1...Sg7
- 2.Qc5#
- 1...Sf8
- 2.Qc5#
- 1...Ke7!
- 1...Sxd4
- 1.Be8?
- 1...Rxe8
- 2.Rxd7#
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Sd4
- 2.Qc5#
- 1...Sf4
- 2.Qc5#
- 1...Sc5
- 2.Qxc5#
- 1...Sg5
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sc7
- 2.Qc5#
- 1...Sg7
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sf8
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Ke7!
- 1...Rxe8
- 1.Bg8?
- 1...Rxg8
- 2.Rxd7#
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Sd4
- 2.Qc5#
- 1...Sf4
- 2.Qc5#
- 1...Sc5
- 2.Qxc5#
- 1...Sg5
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sc7
- 2.Qc5#
- 1...Sg7
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sf8
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Ke7!
- 1...Rxg8
- 1.Re2?
- 1...Kd5
- 2.Rd2#
- 1...Ke7
- 2.Qc5#
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Ba3#
- 1...Sf4
- 2.Ba3#
- 1...Sg5
- 2.Ba3#
- 1...Sc7
- 2.Ba3#
- 1...Sg7
- 2.Ba3#
- 1...Sf8
- 2.Ba3#
- 1...Sc5!
- 1...Kd5
- 1.Re3?
- 1...Ke7
- 2.Qc5#
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Ba3#
- 1...Sf4
- 2.Ba3#
- 1...Sc5
- 2.Qh2#
- 1...Sg5
- 2.Ba3#
- 1...Sc7
- 2.Ba3#
- 1...Sg7
- 2.Ba3#
- 1...Sf8
- 2.Ba3#
- 1...Kd5!
- 1...Ke7
- 1.Re4?
- 1...Ke7
- 2.Qc5#
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Ba3#
- 1...Sf4
- 2.Ba3#
- 1...Sc5
- 2.Qh2#
- 1...Sg5
- 2.Ba3#
- 1...Sc7
- 2.Ba3#
- 1...Sg7
- 2.Ba3#
- 1...Sf8
- 2.Ba3#
- 1...Kd5!
- 1...Ke7
- 1.Rf5?
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Ba3#
- 2.Qc5#
- 1...Sf4
- 2.Ba3#
- 2.Qc5#
- 1...Sc5
- 2.Qxc5#
- 1...Sg5
- 2.Ba3#
- 2.Qc5#
- 1...Sc7
- 2.Ba3#
- 2.Qc5#
- 1...Sg7
- 2.Ba3#
- 2.Qc5#
- 1...Sf8
- 2.Ba3#
- 2.Qc5#
- 1...Ke7!
- 1...dxc6
- 1.Rxe6+?
- 1...Kd5
- 2.Rf6#
- 1...dxe6!
- 1...Kd5
- 1.Ra7?
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Qc5#
- 1...Sf4
- 2.Qc5#
- 1...Sc5
- 2.Qxc5#
- 1...Sg5
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sc7
- 2.Qc5#
- 1...Sg7
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sf8
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Ke7!
- 1...dxc6
- 1.Qd1+?
- 1...Sd4
- 2.Qxd4#
- 1...Ke7!
- 1...Sd4
- 1.Qb3?
- 1...dxc6
- 2.Qxe6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Qd5#
- 1...Sf4
- 2.Qa3#
- 2.Qb4#
- 1...Sc5
- 2.Qd5#
- 1...Sg5
- 2.Qd1#
- 2.Qd5#
- 2.Qa3#
- 2.Qd3#
- 2.Qb4#
- 1...Sc7
- 2.Qa3#
- 2.Qb4#
- 1...Sg7
- 2.Qd1#
- 2.Qd5#
- 2.Qa3#
- 2.Qd3#
- 2.Qb4#
- 1...Sf8
- 2.Qd1#
- 2.Qd5#
- 2.Qa3#
- 2.Qd3#
- 2.Qb4#
- 1...Ke7!
- 1...dxc6
- 1.Qd3+?
- 1...Sd4
- 2.Qxd4#
- 1...Ke7!
- 1...Sd4
- 1.Qe4?
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Ba3#
- 2.Rd5#
- 2.Qd5#
- 2.Qxd4#
- 1...Sf4
- 2.Ba3#
- 2.Qb4#
- 1...Sc5
- 2.Rd5#
- 2.Qd5#
- 2.Qd4#
- 1...Sg5
- 2.Ba3#
- 2.Rd5#
- 2.Qd3#
- 2.Qd5#
- 2.Qb4#
- 2.Qd4#
- 1...Sc7
- 2.Ba3#
- 2.Qb4#
- 1...Sg7
- 2.Ba3#
- 2.Rd5#
- 2.Qd3#
- 2.Qd5#
- 2.Qb4#
- 2.Qd4#
- 1...Sf8
- 2.Ba3#
- 2.Rd5#
- 2.Qd3#
- 2.Qd5#
- 2.Qb4#
- 2.Qd4#
- 1...Ke7!
- 1...dxc6
- 1.Qf5?
- 1...Ke7
- 2.Ba3#
- 1...dxc6
- 2.Rxe6#
- 2.Qxe6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Ba3#
- 1...Sf4
- 2.Ba3#
- 1...Sg5
- 2.Ba3#
- 2.Qd3#
- 1...Sc7
- 2.Ba3#
- 1...Sg7
- 2.Ba3#
- 2.Qd3#
- 1...Sf8
- 2.Ba3#
- 2.Qd3#
- 1...Sc5!
- 1...Ke7
- 1.Qc1?
- 1...dxc6
- 2.Qxc6#
- 1...Sc5
- 2.Qxc5#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Qc5#
- 1...Sf4
- 2.Qc5#
- 1...Sg5
- 2.Qd2#
- 2.Qd1#
- 2.Qc5#
- 1...Sc7
- 2.Qc5#
- 1...Sg7
- 2.Qd2#
- 2.Qd1#
- 2.Qc5#
- 1...Sf8
- 2.Qd2#
- 2.Qd1#
- 2.Qc5#
- 1...Ke7!
- 1...dxc6
- 1.Qd2+?
- 1...Sd4
- 2.Qxd4#
- 1...Ke7!
- 1...Sd4
- 1.Qf2?
- 1...Ke7
- 2.Ba3#
- 1...Sc5
- 2.Qd4#
- 2.Qxc5#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Qxd4#
- 1...Sf4
- 2.Qc5#
- 1...Sg5
- 2.Qd4#
- 2.Qc5#
- 2.Qd2#
- 1...Sc7
- 2.Qc5#
- 1...Sg7
- 2.Qd4#
- 2.Qc5#
- 2.Qd2#
- 1...Sf8
- 2.Qd4#
- 2.Qc5#
- 2.Qd2#
- 1...dxc6!
- 1...Ke7
- 1.Qc3?
- 1...dxc6
- 2.Qxc6#
- 1...Sc5
- 2.Qd4#
- 2.Qxc5#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Qxd4#
- 2.Qc5#
- 1...Sf4
- 2.Ba3#
- 2.Qb4#
- 2.Qa3#
- 2.Qc5#
- 1...Sg5
- 2.Ba3#
- 2.Qd2#
- 2.Qb4#
- 2.Qd4#
- 2.Qa3#
- 2.Qd3#
- 2.Qc5#
- 1...Sc7
- 2.Ba3#
- 2.Qb4#
- 2.Qa3#
- 2.Qc5#
- 1...Sg7
- 2.Ba3#
- 2.Qd2#
- 2.Qb4#
- 2.Qd4#
- 2.Qa3#
- 2.Qd3#
- 2.Qc5#
- 1...Sf8
- 2.Ba3#
- 2.Qd2#
- 2.Qb4#
- 2.Qd4#
- 2.Qa3#
- 2.Qd3#
- 2.Qc5#
- 1...Ke7!
- 1...dxc6
- 1.Qc4?
- 1...dxc6
- 2.Rxe6#
- 2.Qxe6#
- 2.Qxc6#
- 1...Sc5
- 2.Qd5#
- 2.Qd4#
- 2.Qxc5#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Qd5#
- 2.Qxd4#
- 2.Qc5#
- 1...Sf4
- 2.Qb4#
- 2.Qc5#
- 1...Sg5
- 2.Qd3#
- 2.Qd5#
- 2.Qb4#
- 2.Qd4#
- 2.Qc5#
- 1...Sc7
- 2.Qb4#
- 2.Qc5#
- 1...Sg7
- 2.Qd3#
- 2.Qd5#
- 2.Qb4#
- 2.Qd4#
- 2.Qc5#
- 1...Sf8
- 2.Qd3#
- 2.Qd5#
- 2.Qb4#
- 2.Qd4#
- 2.Qc5#
- 1...Ke7!
- 1...dxc6
- 1.g7?
- 1...Sxg7
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...dxc6
- 2.Qxc6#
- 1...Sc5
- 2.Qxc5#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Qc5#
- 1...Sf4
- 2.Qc5#
- 1...Sg5
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Sc7
- 2.Qc5#
- 1...Sf8
- 2.Qd1#
- 2.Qd3#
- 2.Qd2#
- 2.Qc5#
- 1...Ke7!
- 1...Sxg7
- 1.Kf1?
- Keys
- 1.Re1!
- 1...Kd5
- 2.Rd1#
- 1...Ke7
- 2.Qc5#
- 1...dxc6
- 2.Qxc6#
- 1...Ra8
- 2.Rxd7#
- 1...Rb8
- 2.Rxd7#
- 1...Rc8
- 2.Rxd7#
- 1...Re8
- 2.Rxd7#
- 1...Rf8
- 2.Rxd7#
- 1...Rg8
- 2.Rxd7#
- 1...Rh8
- 2.Rxd7#
- 1...Sd4
- 2.Ba3#
- 1...Sf4
- 2.Ba3#
- 1...Sc5
- 2.Qh2#
- 1...Sg5
- 2.Ba3#
- 1...Sc7
- 2.Ba3#
- 1...Sg7
- 2.Ba3#
- 1...Sf8
- 2.Ba3#
- 1...Kd5
- 1.Re1!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 4
- ADDED MATES = 5
- REMOVED MATES = 0
- Sets
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- Tries
- Try
- K(A);P-FLIGHT
- Vars
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINB(I)::R1(H),XP(c)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- K(A);S_FLIGHT
- Vars
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINB(I)::R1(H),XP(c)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- B(B);
- Vars
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- B(B);CHECK
- Vars
- S(b);N_GUARD,P_SPINS(b)::QAB1(C),XS(b)
- Refutation
- K(a);S_FLIGHT,XR(E)
- Try
- B(B);
- Vars
- S(b);N_GUARD,XB(B)::QAB1(C)
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- B(I);
- Vars
- R(d);N_GUARD,XB(I)::R1(H),XP(c)
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- B(I);
- Vars
- R(d);N_GUARD,P_PINP(G),XB(I)::R1(H),XP(c)
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- R(E);
- Vars
- K(a);P-FLIGHT,P_SPINS(b)::R(E)
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT::QAB(C)
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);N_GUARD::B(B)
- Refutation
- S(b);
- Try
- R(E);
- Vars
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT::QAB(C)
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);N_GUARD::B(B)
- S(b);N_GUARD,SBLOCK::QAB(C)
- Refutation
- K(a);P-FLIGHT,P_SPINS(b)
- Try
- R(E);
- Vars
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT::QAB(C)
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);N_GUARD::B(B)
- S(b);N_GUARD,SBLOCK::QAB(C)
- Refutation
- K(a);P-FLIGHT,P_SPINS(b)
- Try
- R(E);
- Vars
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);N_GUARD::QAB1(C),XS(b)
- Refutation
- K(a);P_SPINP(c),S_FLIGHT
- Try
- R(E);CHECK,XS(b)
- Vars
- K(a);P-FLIGHT::B(I)+R(E)
- Refutation
- P(c);XR(E)
- Try
- R(H);
- Vars
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- Q(C);CHECK
- Vars
- S(b);N_GUARD,P_SPINS(b)::QAR2(C),XS(b)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- Q(C);
- Vars
- P(c);N_GUARD,XP(F)::QAR1(C),XS(b)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);::QAR1(C)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- Q(C);CHECK
- Vars
- S(b);N_GUARD,P_SPINS(b)::QAR2(C),XS(b)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- Q(C);
- Vars
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- Q(C);
- Vars
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT::B(B)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);N_GUARD::B(B)
- Refutation
- S(b);
- Try
- Q(C);
- Vars
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- S(b);N_GUARD::QAB1(C),XS(b)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);N_GUARD::QAB1(C)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- Q(C);CHECK
- Vars
- S(b);N_GUARD,P_SPINS(b)::QAR2(C),XS(b)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- Q(C);
- Vars
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT::B(B)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);N_GUARD::QAR2(C),XS(b)
- S(b);N_GUARD::QAB1(C)
- Refutation
- P(c);XP(F)
- Try
- Q(C);
- Vars
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- Q(C);
- Vars
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- P(G);
- Vars
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- S(b);N_GUARD::QAB1(C),XS(b)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);N_GUARD::QAB1(C)
- Refutation
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT
- Try
- Actual
- R(E);
- Vars
- K(a);P-FLIGHT,P_SPINS(b)::R(E)
- K(a);P_SPINP(c),P_SPINS(b),S_FLIGHT::QAB(C)
- P(c);OGATE,XP(F)::QAR1(C),XP(c)
- R(d);N_GUARD::R1(H),XP(c)
- R(d);N_GUARD,P_PINP(G)::R1(H),XP(c)
- S(b);N_GUARD::B(B)
- S(b);N_GUARD,SBLOCK::QAB(C)
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).