MESON Chess Problem Database
Problem Display
PID: 53836 (5K2/1p1B4/3N1R2/B1k5/2P5/4PP2/3N4/nq6 w - - 0 1)
Andrade, Barry Jack da Costa
Chess, 1943
#2
9 + 4
SOLUTION
- SOUND
- Sets
- 1...Qa2
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qc2
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qe4
- 2.S2xe4#
- 2.S6xe4#
- 1...Qf5
- 2.Sxb7#
- 1...Qg6
- 2.Sxb7#
- 1...Qh7
- 2.Sxb7#
- 1...Qc1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qh1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S2e4#
- 2.S6e4#
- 1...Qb3
- 2.S2e4#
- 2.S6e4#
- 1...Qb4
- 2.S2e4#
- 2.S6e4#
- 1...Qb5
- 2.S2e4#
- 2.S6e4#
- 1...Qb6
- 2.S2e4#
- 2.S6e4#
- 1...Sc2
- 2.S2e4#
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Qa2
- Tries
- 1.Ke7?
- 1...Qe4+
- 2.S2xe4#
- 2.S6xe4#
- 1...Qa2
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 2.Rf5#
- 1...Qc2
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qf5
- 2.Sxb7#
- 2.Rxf5#
- 1...Qg6
- 2.Sxb7#
- 1...Qc1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 2.Rf5#
- 1...Qd1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 2.Rf5#
- 1...Qe1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 2.Rf5#
- 1...Qf1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 2.Rf5#
- 1...Qg1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 2.Rf5#
- 1...Qh1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 2.Rf5#
- 1...Qb2
- 2.S2e4#
- 2.S6e4#
- 1...Qb3
- 2.S2e4#
- 2.S6e4#
- 2.Rf5#
- 1...Qb4
- 2.S2e4#
- 2.S6e4#
- 2.Rf5#
- 1...Qb5
- 2.S2e4#
- 2.S6e4#
- 2.Rf5#
- 1...Qb6
- 2.S2e4#
- 2.S6e4#
- 2.Rf5#
- 1...Sc2
- 2.S2e4#
- 2.S6e4#
- 2.Rf5#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Qh7+!
- 1...Qe4+
- 1.Ke8?
- 1...Qe4+
- 2.S2xe4#
- 2.S6xe4#
- 1...Qa2
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qc2
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qf5
- 2.Sxb7#
- 1...Qh7
- 2.Sxb7#
- 1...Qc1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qh1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S2e4#
- 2.S6e4#
- 1...Qb3
- 2.S2e4#
- 2.S6e4#
- 1...Qb4
- 2.S2e4#
- 2.S6e4#
- 1...Qb5
- 2.S2e4#
- 2.S6e4#
- 1...Qb6
- 2.S2e4#
- 2.S6e4#
- 1...Sc2
- 2.S2e4#
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Qg6+!
- 1...Qe4+
- 1.Bc3?
- 1...Qc2
- 2.Sxb7#
- 1...Qa2
- 2.S6e4#
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qe4
- 2.S6xe4#
- 1...Qf5
- 2.Sxb7#
- 1...Qg6
- 2.Sxb7#
- 1...Qh7
- 2.Sxb7#
- 1...Qc1
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S6e4#
- 2.Sxb7#
- 1...Qh1
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S6e4#
- 1...Qb3
- 2.S6e4#
- 1...Qb4
- 2.S6e4#
- 2.Bd4#
- 1...Qb5
- 2.S6e4#
- 1...Qb6
- 2.S2e4#
- 2.S6e4#
- 1...Sc2
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Kb6!
- 1...Qc2
- 1.Bb4+?
- 1...Kb6
- 2.Sb5#
- 1...Qxb4
- 2.S6e4#
- 1...Kxb4!
- 1...Kb6
- 1.Bh3?
- 1...Kc6
- 2.S6e4#
- 1...Qc2
- 2.Sxb7#
- 1...Qa2
- 2.S6e4#
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qe4
- 2.S6xe4#
- 1...Qf5
- 2.Sxb7#
- 1...Qg6
- 2.Sxb7#
- 1...Qc1
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S6e4#
- 2.Sxb7#
- 1...Qh1
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S6e4#
- 1...Qb3
- 2.S6e4#
- 1...Qb4
- 2.S6e4#
- 1...Qb5
- 2.S6e4#
- 1...Qb6
- 2.S6e4#
- 1...Sc2
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Qh7!
- 1...Kc6
- 1.Ba4?
- 1...Qb5
- 2.S6e4#
- 1...b5
- 2.Sb7#
- 1...Qc2
- 2.Sxb7#
- 1...Qa2
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qe4
- 2.S2xe4#
- 2.S6xe4#
- 1...Qf5
- 2.Sxb7#
- 1...Qg6
- 2.Sxb7#
- 1...Qc1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qh1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S2e4#
- 2.S6e4#
- 1...Qb3
- 2.S2e4#
- 2.S6e4#
- 1...Qb4
- 2.S2e4#
- 2.S6e4#
- 1...Qb6
- 2.S2e4#
- 2.S6e4#
- 1...Sc2
- 2.S2e4#
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b6
- 2.Sb7#
- 1...Qh7!
- 1...Qb5
- 1.Bg4?
- 1...Kc6
- 2.S6e4#
- 1...Qc2
- 2.Sxb7#
- 1...Qa2
- 2.S6e4#
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qe4
- 2.S6xe4#
- 1...Qf5
- 2.Sxb7#
- 1...Qg6
- 2.Sxb7#
- 1...Qc1
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S6e4#
- 2.Sxb7#
- 1...Qh1
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S6e4#
- 1...Qb3
- 2.S6e4#
- 1...Qb4
- 2.S6e4#
- 1...Qb5
- 2.S6e4#
- 1...Qb6
- 2.S6e4#
- 1...Sc2
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Qh7!
- 1...Kc6
- 1.Bb5?
- threat
- 2.Sxb7#
- 1...Qxb5
- 2.S6e4#
- 1...Qe4
- 2.S2xe4#
- 2.S6xe4#
- 1...b6
- 2.Sb7#
- 1...Qh7!
- threat
- 1.Bc8?
- 1...Kc6
- 2.S6e4#
- 2.Sxb7#
- 1...Qc2
- 2.Sxb7#
- 1...Qa2
- 2.S6e4#
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qe4
- 2.S6xe4#
- 1...Qf5
- 2.Sxb7#
- 1...Qg6
- 2.Sxb7#
- 1...Qc1
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S6e4#
- 2.Sxb7#
- 1...Qh1
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S6e4#
- 1...Qb3
- 2.S6e4#
- 1...Qb4
- 2.S6e4#
- 1...Qb5
- 2.S6e4#
- 1...Qb6
- 2.S6e4#
- 1...Sc2
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Qh7!
- 1...Kc6
- 1.Be8?
- 1...Qc2
- 2.Sxb7#
- 1...Qa2
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qe4
- 2.S2xe4#
- 2.S6xe4#
- 1...Qf5
- 2.Sxb7#
- 1...Qg6
- 2.Sxb7#
- 1...Qc1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qh1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S2e4#
- 2.S6e4#
- 1...Qb3
- 2.S2e4#
- 2.S6e4#
- 1...Qb4
- 2.S2e4#
- 2.S6e4#
- 1...Qb5
- 2.S2e4#
- 2.S6e4#
- 1...Qb6
- 2.S2e4#
- 2.S6e4#
- 1...Sc2
- 2.S2e4#
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Qh7!
- 1...Qc2
- 1.Rf5+?
- 1...Kxd6
- 2.Rd5#
- 1...Qxf5+!
- 1...Kxd6
- 1.Re6?
- 1...Qc2
- 2.Sxb7#
- 1...Qa2
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qe4
- 2.S2xe4#
- 2.S6xe4#
- 1...Qg6
- 2.Sxb7#
- 1...Qh7
- 2.Sxb7#
- 1...Qc1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qh1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S2e4#
- 2.S6e4#
- 1...Qb3
- 2.S2e4#
- 2.S6e4#
- 1...Qb4
- 2.S2e4#
- 2.S6e4#
- 1...Qb5
- 2.S2e4#
- 2.S6e4#
- 1...Qb6
- 2.S2e4#
- 2.S6e4#
- 1...Sc2
- 2.S2e4#
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Qf5+!
- 1...Qc2
- 1.Rg6?
- 1...Qxg6
- 2.Sxb7#
- 1...Qc2
- 2.Sxb7#
- 1...Qa2
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qe4
- 2.S2xe4#
- 2.S6xe4#
- 1...Qc1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qh1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S2e4#
- 2.S6e4#
- 1...Qb3
- 2.S2e4#
- 2.S6e4#
- 1...Qb4
- 2.S2e4#
- 2.S6e4#
- 1...Qb5
- 2.S2e4#
- 2.S6e4#
- 1...Qb6
- 2.S2e4#
- 2.S6e4#
- 1...Sc2
- 2.S2e4#
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Qf5+!
- 1...Qxg6
- 1.Rh6?
- 1...Qg6
- 2.Sxb7#
- 1...Qc2
- 2.Sxb7#
- 1...Qa2
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qe4
- 2.S2xe4#
- 2.S6xe4#
- 1...Qh7
- 2.Sxb7#
- 1...Qc1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qh1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S2e4#
- 2.S6e4#
- 1...Qb3
- 2.S2e4#
- 2.S6e4#
- 1...Qb4
- 2.S2e4#
- 2.S6e4#
- 1...Qb5
- 2.S2e4#
- 2.S6e4#
- 1...Qb6
- 2.S2e4#
- 2.S6e4#
- 1...Sc2
- 2.S2e4#
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Qf5+!
- 1...Qg6
- 1.Rf7?
- 1...Qc2
- 2.Sxb7#
- 1...Qa2
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qe4
- 2.S2xe4#
- 2.S6xe4#
- 1...Qf5
- 2.Sxb7#
- 1...Qg6
- 2.Sxb7#
- 1...Qh7
- 2.Sxb7#
- 1...Qc1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qh1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S2e4#
- 2.S6e4#
- 1...Qb3
- 2.S2e4#
- 2.S6e4#
- 1...Qb4
- 2.S2e4#
- 2.S6e4#
- 1...Qb5
- 2.S2e4#
- 2.S6e4#
- 1...Qb6
- 2.S2e4#
- 2.S6e4#
- 1...Sc2
- 2.S2e4#
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Kxd6!
- 1...Qc2
- 1.f4?
- 1...Qc2
- 2.Sxb7#
- 1...Qa2
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qe4
- 2.S2xe4#
- 2.S6xe4#
- 1...Qf5
- 2.Sxb7#
- 1...Qg6
- 2.Sxb7#
- 1...Qh7
- 2.Sxb7#
- 1...Qc1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S2e4#
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S2e4#
- 2.S6e4#
- 1...Qb3
- 2.S2e4#
- 2.S6e4#
- 1...Qb4
- 2.S2e4#
- 2.S6e4#
- 1...Qb5
- 2.S2e4#
- 2.S6e4#
- 1...Qb6
- 2.S2e4#
- 2.S6e4#
- 1...Sc2
- 2.S2e4#
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Qh1!
- 1...Qc2
- 1.Ke7?
- Keys
- 1.Bf5!
- 1...Kc6
- 2.S6e4#
- 1...Qxf5
- 2.Sxb7#
- 1...Qc2
- 2.Sxb7#
- 1...Qa2
- 2.S6e4#
- 2.Sxb7#
- 1...Qd3
- 2.Sxb7#
- 1...Qe4
- 2.S6xe4#
- 1...Qc1
- 2.S6e4#
- 2.Sxb7#
- 1...Qd1
- 2.S6e4#
- 2.Sxb7#
- 1...Qe1
- 2.S6e4#
- 2.Sxb7#
- 1...Qf1
- 2.S6e4#
- 2.Sxb7#
- 1...Qg1
- 2.S6e4#
- 2.Sxb7#
- 1...Qh1
- 2.S6e4#
- 2.Sxb7#
- 1...Qb2
- 2.S6e4#
- 1...Qb3
- 2.S6e4#
- 1...Qb4
- 2.S6e4#
- 1...Qb5
- 2.S6e4#
- 1...Qb6
- 2.S6e4#
- 1...Sc2
- 2.S6e4#
- 1...Sb3
- 2.Sxb7#
- 1...b5
- 2.Sb7#
- 1...b6
- 2.Sb7#
- 1...Kc6
- 1.Bf5!
FEATURES
- Static
- TYPE = WAITER
- CHANGED MATES = 0
- ADDED MATES = 8
- REMOVED MATES = 2
- Sets
- Q(b);N_GUARD::S(F),XP(d)
- Q(b);N_GUARD,P_PINR(G)::S(F),XP(d)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
- Tries
- Try
- K(I);S_FLIGHT
- Vars
- Q(b);N_GUARD::S(F),XP(d)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
- Refutation
- Q(b);CHECK
- Try
- K(I);P-FLIGHT
- Vars
- Q(b);N_GUARD::S(F),XP(d)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
- Refutation
- Q(b);CHECK
- Try
- B(E);
- Vars
- Q(b);N_GUARD::S(F),XP(d)
- Q(b);N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,P_PINR(G)::S(F),XP(d)
- Q(b);N_GUARD::S(F)
- S(a);S_CUTQ(b)::S(F)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
- Refutation
- K(c);S_FLIGHT
- Try
- B(E);CHECK
- Vars
- K(c);S_FLIGHT::R(G)+S(F)
- Q(b);SBLOCK,XB(E)::S(F)
- Refutation
- K(c);S_FLIGHT,XB(E)
- Try
- B(H);
- Vars
- K(c);P-FLIGHT::R(G)+S(F)
- Q(b);N_GUARD::S(F),XP(d)
- Q(b);N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,P_PINR(G)::S(F),XP(d)
- Q(b);N_GUARD::S(F)
- S(a);S_CUTQ(b)::S(F)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
- Refutation
- Q(b);
- Try
- B(H);
- Vars
- Q(b);N_GUARD::S(F)
- P(d);S_CUTQ(b)::S(F)
- Q(b);N_GUARD::S(F),XP(d)
- Q(b);N_GUARD,P_PINR(G)::S(F),XP(d)
- S(a);S_CUTQ(b)::S(F),XP(d)
- Refutation
- Q(b);
- Try
- B(H);
- Vars
- K(c);P-FLIGHT::R(G)+S(F)
- Q(b);N_GUARD::S(F),XP(d)
- Q(b);N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,P_PINR(G)::S(F),XP(d)
- Q(b);N_GUARD::S(F)
- S(a);S_CUTQ(b)::S(F)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
- Refutation
- Q(b);
- Try
- B(H);
- Threat
- S(F),XP(d)
- Vars
- Q(b);N_GUARD,XB(H)::S(F)
- P(d);::S(F)
- Refutation
- Q(b);
- Try
- B(H);
- Vars
- Q(b);N_GUARD::S(F),XP(d)
- Q(b);N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,P_PINR(G)::S(F),XP(d)
- Q(b);N_GUARD::S(F)
- S(a);S_CUTQ(b)::S(F)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
- Refutation
- Q(b);
- Try
- B(H);
- Vars
- Q(b);N_GUARD::S(F),XP(d)
- Q(b);N_GUARD,P_PINR(G)::S(F),XP(d)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
- Refutation
- Q(b);
- Try
- R(G);CHECK
- Vars
- K(c);S_FLIGHT,XS(F)::R1(G)
- Refutation
- Q(b);CHECK,XR(G)
- Try
- R(G);
- Vars
- Q(b);N_GUARD::S(F),XP(d)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
- Refutation
- Q(b);CHECK
- Try
- R(G);
- Vars
- Q(b);N_GUARD,XR(G)::S(F),XP(d)
- Q(b);N_GUARD::S(F),XP(d)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
- Refutation
- Q(b);CHECK
- Try
- R(G);
- Vars
- Q(b);N_GUARD::S(F),XP(d)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
- Refutation
- Q(b);CHECK
- Try
- R(G);
- Vars
- Q(b);N_GUARD::S(F),XP(d)
- Q(b);N_GUARD,P_PINR(G)::S(F),XP(d)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
- Refutation
- K(c);S_FLIGHT,XS(F)
- Try
- P(C);
- Vars
- Q(b);N_GUARD::S(F),XP(d)
- Q(b);N_GUARD,P_PINR(G)::S(F),XP(d)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
- Refutation
- Q(b);
- Try
- Actual
- B(H);
- Vars
- K(c);P-FLIGHT::R(G)+S(F)
- Q(b);N_GUARD,P_PINR(G),XB(H)::S(F),XP(d)
- Q(b);N_GUARD::S(F),XP(d)
- Q(b);N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD::S(F)
- S(a);S_CUTQ(b)::S(F)
- S(a);S_CUTQ(b)::S(F),XP(d)
- P(d);S_CUTQ(b)::S(F)
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).