MESON Chess Problem Database
Problem Display
PID: 91840 (8/4R2K/5N2/5B2/5k1P/4R1N1/5nP1/3q4 w - - 0 1)
Brunner, Erich Anselm
Schweizerische Schachzeitung, 1929
#2
8 + 3
| 6490 | yacpdb | 2009 |
SOLUTION
- SOUND
- Sets
- 1...Qc2
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe2
- 2.Sd5#
- 1...Qb3
- 2.Sfh5#
- 1...Qf3
- 2.Rxf3#
- 1...Qa4
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg4
- 2.Sd5#
- 1...Qh5+
- 2.Sfxh5#
- 1...Qa1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qb1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qc1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qf1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qh1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qd2
- 2.Sfh5#
- 2.Rf3#
- 1...Qd3
- 2.Sfh5#
- 1...Qd4
- 2.Sfh5#
- 2.Rf3#
- 1...Qd5
- 2.Sxd5#
- 2.Sfh5#
- 1...Qd6
- 2.Sfh5#
- 2.Rf3#
- 1...Qd7
- 2.Sfh5#
- 2.Rf3#
- 1...Qd8
- 2.Sfh5#
- 2.Rf3#
- 1...Sh1
- 2.R7e4#
- 1...Sd3
- 2.Sd5#
- 2.R7e4#
- 1...Sh3
- 2.R7e4#
- 1...Se4
- 2.R7xe4#
- 1...Sg4
- 2.Sfh5#
- 2.R7e4#
- 1...Qc2
- Tries
- 1.Kg6?
- 1...Qh5+
- 2.Sgxh5#
- 2.Sfxh5#
- 1...Qf3
- 2.Rxf3#
- 1...Se4
- 2.R7xe4#
- 1...Qc2
- 2.Sgh5#
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe2
- 2.Sxe2#
- 2.Sd5#
- 1...Qb3
- 2.Se2#
- 2.Sgh5#
- 2.Sfh5#
- 1...Qa4
- 2.Se2#
- 2.Sgh5#
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qa1
- 2.Se2#
- 2.Sgh5#
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qb1
- 2.Se2#
- 2.Sgh5#
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qc1
- 2.Se2#
- 2.Sgh5#
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe1
- 2.Sgh5#
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qf1
- 2.Sgh5#
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg1
- 2.Se2#
- 2.Sgh5#
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qh1
- 2.Se2#
- 2.Sgh5#
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qd2
- 2.Sgh5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qd3
- 2.Sgh5#
- 2.Sfh5#
- 1...Qd4
- 2.Se2#
- 2.Sgh5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qd5
- 2.Se2#
- 2.Sgh5#
- 2.Sxd5#
- 2.Sfh5#
- 1...Qd6
- 2.Se2#
- 2.Sh5#
- 2.Rf3#
- 1...Qd7
- 2.Se2#
- 2.Sgh5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qd8
- 2.Se2#
- 2.Sgh5#
- 2.Sfh5#
- 2.Rf3#
- 1...Sh1
- 2.R7e4#
- 1...Sd3
- 2.Sd5#
- 2.R7e4#
- 1...Sh3
- 2.R7e4#
- 1...Sg4
- 2.Sgh5#
- 2.Sfh5#
- 2.R7e4#
- 1...Qg4+!
- 1...Qh5+
- 1.Kh6?
- 1...Qh5+
- 2.Sfxh5#
- 1...Qf3
- 2.Rxf3#
- 1...Se4
- 2.R7xe4#
- 1...Qc2
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe2
- 2.Sd5#
- 1...Qb3
- 2.Sfh5#
- 1...Qa4
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg4
- 2.Sd5#
- 1...Qa1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qb1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qc1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qf1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qh1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qd2
- 2.Sfh5#
- 2.Rf3#
- 1...Qd3
- 2.Sfh5#
- 1...Qd4
- 2.Sfh5#
- 2.Rf3#
- 1...Qd5
- 2.Sxd5#
- 2.Sfh5#
- 1...Qd6
- 2.Rf3#
- 1...Qd7
- 2.Sfh5#
- 2.Rf3#
- 1...Qd8
- 2.Sfh5#
- 2.Rf3#
- 1...Sh1
- 2.R7e4#
- 1...Sd3
- 2.Sd5#
- 2.R7e4#
- 1...Sh3
- 2.R7e4#
- 1...Sg4+!
- 1...Qh5+
- 1.Kg7?
- 1...Qf3
- 2.Rxf3#
- 1...Se4
- 2.R7xe4#
- 1...Qc2
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe2
- 2.Sd5#
- 1...Qb3
- 2.Sfh5#
- 1...Qa4
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qh5
- 2.Sd5#
- 2.Sfxh5#
- 1...Qa1
- 2.Rf3#
- 1...Qb1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qc1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qf1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qh1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qd2
- 2.Sfh5#
- 2.Rf3#
- 1...Qd3
- 2.Sfh5#
- 1...Qd4
- 2.Rf3#
- 1...Qd5
- 2.Sxd5#
- 2.Sfh5#
- 1...Qd6
- 2.Sfh5#
- 2.Rf3#
- 1...Qd7
- 2.Sfh5#
- 2.Rf3#
- 1...Qd8
- 2.Sfh5#
- 2.Rf3#
- 1...Sh1
- 2.R7e4#
- 1...Sd3
- 2.Sd5#
- 2.R7e4#
- 1...Sh3
- 2.R7e4#
- 1...Sg4
- 2.Sfh5#
- 2.R7e4#
- 1...Qg4+!
- 1...Qf3
- 1.Kh8?
- 1...Qh5+
- 2.Sfxh5#
- 1...Qf3
- 2.Rxf3#
- 1...Se4
- 2.R7xe4#
- 1...Qc2
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe2
- 2.Sd5#
- 1...Qb3
- 2.Sfh5#
- 1...Qa4
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg4
- 2.Sd5#
- 1...Qa1
- 2.Rf3#
- 1...Qb1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qc1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qf1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qh1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qd2
- 2.Sfh5#
- 2.Rf3#
- 1...Qd3
- 2.Sfh5#
- 1...Qd4
- 2.Rf3#
- 1...Qd5
- 2.Sxd5#
- 2.Sfh5#
- 1...Qd6
- 2.Sfh5#
- 2.Rf3#
- 1...Qd7
- 2.Sfh5#
- 2.Rf3#
- 1...Sh1
- 2.R7e4#
- 1...Sd3
- 2.Sd5#
- 2.R7e4#
- 1...Sh3
- 2.R7e4#
- 1...Sg4
- 2.Sfh5#
- 2.R7e4#
- 1...Qd8+!
- 1...Qh5+
- 1.Se2+?
- 1...Kxf5
- 2.Rf3#
- 1...Qxe2!
- 1...Kxf5
- 1.Sgh5+?
- 1...Kxf5
- 2.R3e5#
- 2.R7e5#
- 1...Qxh5+!
- 1...Kxf5
- 1.Bd3?
- 1...Qh5+
- 2.Sgxh5#
- 1...Sxd3
- 2.R7e4#
- 1...Qf3
- 2.Rxf3#
- 1...Se4
- 2.R7xe4#
- 1...Qe2
- 2.Sxe2#
- 1...Qc2
- 2.Sgh5#
- 2.Rf3#
- 1...Qb3
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qa4
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qg4
- 2.Sd5#
- 1...Qa1
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qb1
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qc1
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qe1
- 2.Sgh5#
- 2.Rf3#
- 1...Qf1
- 2.Sgh5#
- 2.Rf3#
- 1...Qg1
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qh1
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qd2
- 2.Sgh5#
- 2.Rf3#
- 1...Sh1
- 2.R7e4#
- 1...Sh3
- 2.R7e4#
- 1...Sg4
- 2.Sgh5#
- 2.Sd5#
- 2.Sfh5#
- 2.R7e4#
- 1...Qxd3+!
- 1...Qh5+
- 1.Ra3?
- 1...Qh5+
- 2.Sfxh5#
- 1...Qb3
- 2.Sfh5#
- 1...Qf3
- 2.Rxf3#
- 1...Qd3
- 2.Sfh5#
- 1...Qe2
- 2.Sd5#
- 1...Qc2
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qa4
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg4
- 2.Sd5#
- 1...Qa1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qb1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qc1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qf1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qh1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qd2
- 2.Sfh5#
- 2.Rf3#
- 1...Qd4
- 2.Sfh5#
- 2.Rf3#
- 1...Qd5
- 2.Sxd5#
- 2.Sfh5#
- 1...Qd6
- 2.Sfh5#
- 2.Rf3#
- 1...Qd7
- 2.Sfh5#
- 2.Rf3#
- 1...Qd8
- 2.Sfh5#
- 2.Rf3#
- 1...Sh1
- 2.Re4#
- 1...Sh3
- 2.Re4#
- 1...Se4
- 2.Rxe4#
- 1...Sg4
- 2.Sfh5#
- 2.Re4#
- 1...Sd3!
- 1...Qh5+
- 1.Rb3?
- 1...Qh5+
- 2.Sfxh5#
- 1...Qxb3
- 2.Sfh5#
- 1...Qf3
- 2.Rxf3#
- 1...Qd3
- 2.Sfh5#
- 1...Qe2
- 2.Sd5#
- 1...Qc2
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg4
- 2.Sd5#
- 1...Qa1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qb1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qc1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qf1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qh1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qd2
- 2.Sfh5#
- 2.Rf3#
- 1...Qd4
- 2.Sfh5#
- 2.Rf3#
- 1...Qd5
- 2.Sxd5#
- 2.Sfh5#
- 1...Qd6
- 2.Sfh5#
- 2.Rf3#
- 1...Qd7
- 2.Sfh5#
- 2.Rf3#
- 1...Qd8
- 2.Sfh5#
- 2.Rf3#
- 1...Sh1
- 2.Re4#
- 1...Sh3
- 2.Re4#
- 1...Se4
- 2.Rxe4#
- 1...Sg4
- 2.Sfh5#
- 2.Re4#
- 1...Sd3!
- 1...Qh5+
- 1.Rc3?
- 1...Qh5+
- 2.Sfxh5#
- 1...Qf3
- 2.Rxf3#
- 1...Qd3
- 2.Sfh5#
- 1...Qe2
- 2.Sd5#
- 1...Qc2
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qb3
- 2.Sfh5#
- 1...Qa4
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg4
- 2.Sd5#
- 1...Qa1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qb1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qc1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qf1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qh1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qd2
- 2.Sfh5#
- 2.Rf3#
- 1...Qd4
- 2.Sfh5#
- 2.Rf3#
- 1...Qd5
- 2.Sxd5#
- 2.Sfh5#
- 1...Qd6
- 2.Sfh5#
- 2.Rf3#
- 1...Qd7
- 2.Sfh5#
- 2.Rf3#
- 1...Qd8
- 2.Sfh5#
- 2.Rf3#
- 1...Sh1
- 2.Re4#
- 1...Sh3
- 2.Re4#
- 1...Se4
- 2.Rxe4#
- 1...Sg4
- 2.Sfh5#
- 2.Re4#
- 1...Sd3!
- 1...Qh5+
- 1.Rd3?
- threat
- 2.Sd5#
- 1...Qh5+
- 2.Sfxh5#
- 1...Qxd3
- 2.Sfh5#
- 1...Qf3
- 2.Rxf3#
- 1...Qb3
- 2.Sfh5#
- 1...Sxd3!
- threat
- 1.R7e6?
- 1...Qh5+
- 2.Sfxh5#
- 1...Qf3
- 2.Rxf3#
- 1...Se4
- 2.R6xe4#
- 1...Qe2
- 2.Sd5#
- 1...Qc2
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qb3
- 2.Sfh5#
- 1...Qa4
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg4
- 2.Sd5#
- 1...Qa1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qb1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qc1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qf1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qh1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qd2
- 2.Sfh5#
- 2.Rf3#
- 1...Qd3
- 2.Sfh5#
- 1...Qd4
- 2.Sfh5#
- 2.Rf3#
- 1...Qd5
- 2.Sxd5#
- 2.Sfh5#
- 1...Qd6
- 2.Sfh5#
- 2.Rf3#
- 1...Qd8
- 2.Sfh5#
- 2.Rf3#
- 1...Sh1
- 2.R6e4#
- 1...Sd3
- 2.Sd5#
- 2.R6e4#
- 1...Sh3
- 2.R6e4#
- 1...Sg4
- 2.Sfh5#
- 2.R6e4#
- 1...Qd7+!
- 1...Qh5+
- 1.Re8?
- 1...Qh5+
- 2.Sfxh5#
- 1...Qf3
- 2.Rxf3#
- 1...Se4
- 2.R8xe4#
- 1...Qe2
- 2.Sd5#
- 1...Qc2
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qb3
- 2.Sfh5#
- 1...Qa4
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg4
- 2.Sd5#
- 1...Qa1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qb1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qc1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qe1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qf1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qg1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qh1
- 2.Sd5#
- 2.Sfh5#
- 2.Rf3#
- 1...Qd2
- 2.Sfh5#
- 2.Rf3#
- 1...Qd3
- 2.Sfh5#
- 1...Qd4
- 2.Sfh5#
- 2.Rf3#
- 1...Qd5
- 2.Sxd5#
- 2.Sfh5#
- 1...Qd6
- 2.Sfh5#
- 2.Rf3#
- 1...Qd8
- 2.Sfh5#
- 2.Rf3#
- 1...Sh1
- 2.R8e4#
- 1...Sd3
- 2.Sd5#
- 2.R8e4#
- 1...Sh3
- 2.R8e4#
- 1...Sg4
- 2.Sfh5#
- 2.R8e4#
- 1...Qd7+!
- 1...Qh5+
- 1.Kg6?
- Keys
- 1.Bg6!
- 1...Qh5+
- 2.Sgxh5#
- 1...Qf3
- 2.Rxf3#
- 1...Se4
- 2.R7xe4#
- 1...Qe2
- 2.Sxe2#
- 1...Qc2
- 2.Sgh5#
- 2.Rf3#
- 1...Qb3
- 2.Se2#
- 2.Sgh5#
- 1...Qa4
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qg4
- 2.Sd5#
- 1...Qa1
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qb1
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qc1
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qe1
- 2.Sgh5#
- 2.Rf3#
- 1...Qf1
- 2.Sgh5#
- 2.Rf3#
- 1...Qg1
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qh1
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qd2
- 2.Sgh5#
- 2.Rf3#
- 1...Qd3
- 2.Sgh5#
- 1...Qd4
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qd5
- 2.Se2#
- 1...Qd6
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qd7
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Qd8
- 2.Se2#
- 2.Sgh5#
- 2.Rf3#
- 1...Sh1
- 2.R7e4#
- 1...Sd3
- 2.R7e4#
- 1...Sh3
- 2.R7e4#
- 1...Sg4
- 2.Sgh5#
- 2.Sfh5#
- 2.R7e4#
- 1...Qh5+
- 1.Bg6!
FEATURES
- Static
- TYPE = MUTATE
- CHANGED MATES = 3
- ADDED MATES = 2
- REMOVED MATES = 1
- Sets
- Q(a);N_GUARD::S(F)
- Q(a);N_GUARD::R1(B),XQ(a)
- Q(a);CHECK,N_GUARD::S(F),XQ(a)
- Q(a);N_GUARD,P_PINB(E)::S(F)
- S(b);N_GUARD::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Tries
- Try
- K(H);S_FLIGHT
- Vars
- Q(a);N_GUARD::R1(B),XQ(a)
- S(b);N_GUARD::R1(G),XS(b)
- S(b);N_GUARD::R1(G)
- Refutation
- Q(a);CHECK
- Try
- K(H);P-FLIGHT
- Vars
- Q(a);CHECK,N_GUARD::S(F),XQ(a)
- Q(a);N_GUARD::R1(B),XQ(a)
- S(b);N_GUARD::R1(G),XS(b)
- Q(a);N_GUARD::S(F)
- Q(a);N_GUARD,P_PINS(F)::R1(B)
- S(b);N_GUARD::R1(G)
- Refutation
- S(b);CHECK
- Try
- K(H);P-FLIGHT
- Vars
- Q(a);N_GUARD::R1(B),XQ(a)
- S(b);N_GUARD::R1(G),XS(b)
- Q(a);N_GUARD::S(F)
- Q(a);N_GUARD,P_PINS(F)::R1(B)
- S(b);N_GUARD::R1(G)
- Refutation
- Q(a);CHECK
- Try
- K(H);P-FLIGHT
- Vars
- Q(a);CHECK,N_GUARD::S(F),XQ(a)
- Q(a);N_GUARD::R1(B),XQ(a)
- S(b);N_GUARD::R1(G),XS(b)
- Q(a);N_GUARD::S(F)
- Q(a);N_GUARD,P_PINS(F)::R1(B)
- S(b);N_GUARD::R1(G)
- Refutation
- Q(a);CHECK
- Try
- S(C);CHECK
- Vars
- K(c);P-FLIGHT,XB(E)::R(B)
- Refutation
- Q(a);XS(C)
- Try
- S(C);CHECK
- Refutation
- Q(a);CHECK,XS(C)
- Try
- B(E);
- Vars
- Q(a);CHECK,N_GUARD::S(C),XQ(a)
- S(b);N_GUARD,XB(E)::R1(G)
- Q(a);N_GUARD::R1(B),XQ(a)
- S(b);N_GUARD::R1(G),XS(b)
- Q(a);N_GUARD::S(C),XQ(a)
- Q(a);SBLOCK::S(F)
- S(b);N_GUARD::R1(G)
- Refutation
- Q(a);CHECK,XB(E)
- Try
- R(B);
- Vars
- Q(a);CHECK,N_GUARD::S(F),XQ(a)
- Q(a);N_GUARD::S(F)
- Q(a);N_GUARD::R1(B),XQ(a)
- Q(a);N_GUARD,P_PINB(E)::S(F)
- S(b);N_GUARD::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Refutation
- S(b);
- Try
- R(B);
- Vars
- Q(a);CHECK,N_GUARD::S(F),XQ(a)
- Q(a);N_GUARD,XR(B)::S(F)
- Q(a);N_GUARD::R1(B),XQ(a)
- Q(a);N_GUARD,P_PINB(E)::S(F)
- Q(a);N_GUARD::S(F)
- S(b);N_GUARD::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Refutation
- S(b);
- Try
- R(B);
- Vars
- Q(a);CHECK,N_GUARD::S(F),XQ(a)
- Q(a);N_GUARD::R1(B),XQ(a)
- Q(a);N_GUARD,P_PINB(E)::S(F)
- Q(a);N_GUARD::S(F)
- S(b);N_GUARD::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Refutation
- S(b);
- Try
- R(B);
- Threat
- S(F)
- Vars
- Q(a);CHECK,N_GUARD::S(F),XQ(a)
- Q(a);N_GUARD,P_PINB(E),XR(B)::S(F)
- Q(a);N_GUARD::R1(B),XQ(a)
- Q(a);N_GUARD::S(F)
- Refutation
- S(b);XR(B)
- Try
- R(G);
- Vars
- Q(a);CHECK,N_GUARD::S(F),XQ(a)
- Q(a);N_GUARD::R1(B),XQ(a)
- S(b);N_GUARD::R1(G),XS(b)
- Q(a);N_GUARD::S(F)
- Q(a);N_GUARD,P_PINB(E)::S(F)
- S(b);N_GUARD::R1(G)
- Refutation
- Q(a);CHECK
- Try
- R(G);
- Vars
- Q(a);CHECK,N_GUARD::S(F),XQ(a)
- Q(a);N_GUARD::R1(B),XQ(a)
- S(b);N_GUARD::R1(G),XS(b)
- Q(a);N_GUARD::S(F)
- Q(a);N_GUARD,P_PINB(E)::S(F)
- S(b);N_GUARD::R1(G)
- Refutation
- Q(a);CHECK
- Try
- Actual
- B(E);
- Vars
- Q(a);CHECK,N_GUARD::S(C),XQ(a)
- Q(a);N_GUARD::R1(B),XQ(a)
- S(b);N_GUARD::R1(G),XS(b)
- Q(a);N_GUARD::S(C),XQ(a)
- Q(a);N_GUARD,SBLOCK::S(F)
- Q(a);N_GUARD,P_PINB(E)::S(C)
- Q(a);N_GUARD::S(C)
- S(b);N_GUARD::R1(G)
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).