MESON Chess Problem Database
Problem Display
PID: 132090 (8/2q3B1/1R5p/1BpkP1nP/R1N3Q1/p7/P2p1Nn1/1K5b w - - 0 1)
Andrade, Barry Jack da Costa
The Field, 1955
(First published on Mon Sep 19 1955)
#2
11 + 9
SOLUTION
- SOUND
- Sets
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qb7
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sf4
- 2.Se3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se4
- 2.Qxe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...d1Q+
- 2.Qxd1#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- Tries
- 1.Ka1?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qb7
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qxe5+!
- 1...d1Q+
- 1.Kc2?
- 1...Se3+
- 2.Sxe3#
- 1...d1Q+
- 2.Qxd1#
- 1...d1B+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1R
- 2.Qxd1#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qb7
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Se1+!
- 1...Se3+
- 1.Sd1?
- threat
- 2.Sc3#
- 1...Qxe5
- 2.Bc6#
- 1...Sf4
- 2.Sce3#
- 1...Se4!
- threat
- 1.Bd7?
- 1...Qxb6+
- 2.Sxb6#
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxd7
- 2.Qxd7#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 2.Rd6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Be6#
- 2.Qe4#
- 1...Sh3
- 2.Be6#
- 2.Qe4#
- 1...Se6
- 2.Bxe6#
- 2.Qe4#
- 1...Sf7
- 2.Be6#
- 2.Qe4#
- 1...Sh7
- 2.Be6#
- 2.Qe4#
- 1...Qb7!
- 1...Qxb6+
- 1.Be8?
- 1...Qxb6+
- 2.Sxb6#
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qb7!
- 1...Qxb6+
- 1.Bf6?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qg7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qh7+!
- 1...d1Q+
- 1.Bh8?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qg7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qh7+!
- 1...d1Q+
- 1.Rxa3?
- threat
- 2.Rd3#
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Se1
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf4!
- threat
- 1.Rb4?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...cxb4!
- 1...d1Q+
- 1.Ra5?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Sf4!
- 1...d1Q+
- 1.Raa6?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Sf4!
- 1...d1Q+
- 1.Ra7?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxa7
- 2.Bc6#
- 2.Rd6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qd7
- 2.Rxd7#
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Sf4!
- 1...d1Q+
- 1.Ra8?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 2.Rxd8#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Sf4!
- 1...d1Q+
- 1.Rba6?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qa5
- 2.Bc6#
- 2.Rd6#
- 2.Qd7#
- 1...Qb6
- 2.Sxb6#
- 1...Qd6
- 2.Rxd6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Sb6#
- 2.Qxd7#
- 1...Qe7
- 2.Sb6#
- 2.Bc6#
- 1...Qf7
- 2.Sb6#
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Sb6#
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qb8!
- 1...d1Q+
- 1.Rg6?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Sb6#
- 2.Bc6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qa5
- 2.Bc6#
- 2.Rd6#
- 2.Qd7#
- 1...Qb6
- 2.Sxb6#
- 1...Qd6
- 2.Rxd6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qb7
- 2.Rd6#
- 1...Qd7
- 2.Sb6#
- 2.Qxd7#
- 1...Qe7
- 2.Sb6#
- 2.Bc6#
- 1...Qf7
- 2.Sb6#
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Sb6#
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qb8!
- 1...d1Q+
- 1.Rxh6?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Sb6#
- 2.Bc6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qa5
- 2.Bc6#
- 2.Rd6#
- 2.Qd7#
- 1...Qb6
- 2.Sxb6#
- 1...Qd6
- 2.Rxd6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qb7
- 2.Rd6#
- 1...Qd7
- 2.Sb6#
- 2.Qxd7#
- 1...Qe7
- 2.Sb6#
- 2.Bc6#
- 1...Qf7
- 2.Sb6#
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Sb6#
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qb8!
- 1...d1Q+
- 1.Qf3+?
- 1...Kd4
- 2.Qd3#
- 1...Se4
- 2.Qxe4#
- 2.Qd3#
- 1...Sxf3!
- 1...Kd4
- 1.Qd7+?
- 1...Qd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Qxd7!
- 1...Qd6
- 1.Qxg2+?
- 1...Bxg2
- 2.Se3#
- 1...Sf3
- 2.Se3#
- 1...Se4
- 2.Se3#
- 1...Kd4!
- 1...Bxg2
- 1.Ka1?
- Keys
- 1.e6!
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxb6
- 2.Qf5#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sxe6
- 2.Qf3#
- 2.Qxe6#
- 2.Qe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb8
- 2.Bc6#
- 1...Qh2
- 2.Bc6#
- 1...Qg3
- 2.Bc6#
- 1...Qf4
- 2.Bc6#
- 1...Qe5
- 2.Bc6#
- 1...Qd6
- 2.Rxd6#
- 1...Qd8
- 2.Bc6#
- 2.Qf5#
- 1...Qc6
- 2.Bxc6#
- 2.Qf5#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 2.Qf5#
- 1...Qb7
- 2.Rd6#
- 2.Qf5#
- 1...Qd7
- 2.Qf5#
- 1...Qe7
- 2.Bc6#
- 2.Qf5#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 2.Qf5#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sf4
- 2.Se3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qxf3#
- 2.Qe4#
- 1...Sh3
- 2.Qf3#
- 2.Qe4#
- 1...Se4
- 2.Qxe4#
- 1...Sf7
- 2.Qf3#
- 2.Qe4#
- 1...Sh7
- 2.Qf3#
- 2.Qe4#
- 1...d1Q+
- 1.e6!
This is a version of 78403
FEATURES
- Static
- TYPE = MUTATE
- CHANGED MATES = 2
- ADDED MATES = 3
- REMOVED MATES = 10
- Sets
- Q(i);N_GUARD,XP(H)::B(G)
- Q(i);P_PINB(G),XR(J)::S(E),XQ(i)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- Q(i);N_GUARD::R1(J)
- Q(i);N_GUARD::QAR2(F),XQ(i)
- S(c);N_GUARD::S(E)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Tries
- Try
- K(A);P-FLIGHT
- Vars
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Q(i);XR(J)::S(E),XQ(i)
- S(c);N_GUARD::S(E)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- Q(i);N_GUARD::R1(J)
- Q(i);N_GUARD::QAR2(F),XQ(i)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F)
- Refutation
- Q(i);CHECK,XP(H)
- Try
- K(A);S_FLIGHT
- Vars
- S(c);CHECK,N_GUARD::S(E),XS(c)
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD,XP(H)::B(G)
- Q(i);XR(J)::S(E),XQ(i)
- S(c);N_GUARD::S(E)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XR(b)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- Q(i);N_GUARD::R1(J)
- Q(i);N_GUARD::QAR2(F),XQ(i)
- S(g);N_GUARD::QAB1(F)
- Refutation
- S(c);CHECK
- Try
- S(C);
- Threat
- S(C)
- Vars
- Q(i);N_GUARD,XP(H)::B(G)
- S(c);N_GUARD::S(E)
- Refutation
- S(g);
- Try
- B(G);
- Vars
- Q(i);CHECK,XR(J)::S(E),XQ(i)
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Q(i);N_GUARD,XP(H)::B(G)
- Q(i);OGATE,XB(G)::QAR2(F),XQ(i)
- S(c);N_GUARD::S(E)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD,P_PINR(J)::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- Q(i);N_GUARD::R1(J)
- S(c);N_GUARD::S(E),XS(c)
- Refutation
- Q(i);P_PINR(J)
- Try
- B(G);
- Vars
- Q(i);CHECK,XR(J)::S(E),XQ(i)
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Q(i);N_GUARD,XP(H)::B(G)
- S(c);N_GUARD::S(E)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD,P_PINR(J)::B(G)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- Q(i);N_GUARD::QAR2(F),XQ(i)
- Q(i);N_GUARD::R1(J)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F)
- Refutation
- Q(i);P_PINR(J)
- Try
- B(K);
- Vars
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Q(i);N_GUARD,XP(H)::B(G)
- Q(i);P_PINB(G),XR(J)::S(E),XQ(i)
- S(c);N_GUARD::S(E)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD::R1(J)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- Q(i);N_GUARD::QAR2(F),XQ(i)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F)
- Refutation
- Q(i);CHECK
- Try
- B(K);
- Vars
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Q(i);N_GUARD,XP(H)::B(G)
- Q(i);P_PINB(G),XR(J)::S(E),XQ(i)
- S(c);N_GUARD::S(E)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD::R1(J)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- Q(i);N_GUARD::QAR2(F),XQ(i)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F)
- Refutation
- Q(i);CHECK
- Try
- R(D);XP(d)
- Threat
- R(D)
- Vars
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Q(i);N_GUARD,XP(H)::B(G)
- S(c);N_GUARD::S(E)
- S(g);N_GUARD::QAB1(F)
- Refutation
- S(c);
- Try
- R(D);
- Vars
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Q(i);N_GUARD,XP(H)::B(G)
- Q(i);XR(J)::S(E),XQ(i)
- S(c);N_GUARD::S(E)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD::R1(J)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- Q(i);N_GUARD::QAR2(F),XQ(i)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F)
- Refutation
- P(e);XR(D)
- Try
- R(D);
- Vars
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Q(i);N_GUARD,XP(H)::B(G)
- Q(i);P_PINB(G),XR(J)::S(E),XQ(i)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD::R1(J)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- Q(i);N_GUARD::QAR2(F),XQ(i)
- S(c);N_GUARD::S(E)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F)
- Refutation
- S(c);
- Try
- R(D);
- Vars
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Q(i);N_GUARD,XP(H)::B(G)
- Q(i);P_PINB(G),XR(J)::S(E),XQ(i)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD::R1(J)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- Q(i);N_GUARD::QAR2(F),XQ(i)
- S(c);N_GUARD::S(E)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F)
- Refutation
- S(c);
- Try
- R(D);
- Vars
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Q(i);N_GUARD,XP(H)::B(G)
- Q(i);P_PINB(G),XR(J)::S(E),XQ(i)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD::R1(J)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- S(c);N_GUARD::S(E)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F)
- Refutation
- S(c);
- Try
- R(D);
- Vars
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Q(i);N_GUARD,XP(H)::B(G)
- Q(i);P_PINB(G),XR(J)::S(E),XQ(i)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD::R1(J)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- Q(i);N_GUARD::QAR2(F),XQ(i)
- S(c);N_GUARD::S(E)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F)
- Refutation
- S(c);
- Try
- R(J);
- Vars
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Q(i);N_GUARD,XP(H)::B(G)
- S(c);N_GUARD::S(E)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD,P_PINB(G)::R1(J)
- Q(i);N_GUARD,P_PINB(G)::S(E),XQ(i)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F)
- Refutation
- Q(i);P_PINB(G)
- Try
- R(J);
- Vars
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- S(c);N_GUARD::S(E)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD,P_PINB(G)::S(E),XQ(i)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- Q(i);N_GUARD,P_PINB(G)::R1(J)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F)
- Refutation
- Q(i);P_PINB(G)
- Try
- R(J);XP(h)
- Vars
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- S(c);N_GUARD::S(E)
- S(g);N_GUARD::QAB1(F),XS(g)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD,P_PINB(G)::S(E),XQ(i)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::B(G),XQ(i)
- Q(i);N_GUARD,P_PINB(G)::R1(J)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F)
- Refutation
- Q(i);P_PINB(G)
- Try
- Q(F);CHECK
- Vars
- K(f);P-FLIGHT::QAR1(F)
- Refutation
- S(g);XQ(F)
- Try
- Q(F);CHECK
- Refutation
- Q(i);XQ(F)
- Try
- Q(F);CHECK,XS(c)
- Vars
- B(a);XQ(F)::S(E)
- S(g);P_SPINS(g)::S(E)
- Refutation
- K(f);P-FLIGHT
- Try
- Actual
- P(H);
- Vars
- P(b);CHECK,OGATEB::QAR(F),XQ(b)
- P(b);CHECK,OGATEB::QAR(F),XR(b)
- Q(i);N_GUARD,P_PINB(G),XR(J)::QAR2(F)
- P(b);OGATEB::QAR(F),XS(b)
- P(b);OGATEB::QAR(F),XB(b)
- Q(i);N_GUARD::B(G)
- Q(i);N_GUARD::R1(J),XQ(i)
- Q(i);N_GUARD::QAR2(F)
- S(c);N_GUARD::S(E)
- S(c);N_GUARD::S(E),XS(c)
- S(g);N_GUARD::QAB1(F),XS(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).