MESON Chess Problem Database
Problem Display
PID: 81667 (4Q3/2p1B1p1/4q3/1R1NkN1R/4P3/3P4/1K6/8 w - - 0 1)
Allison, Christopher John
The Field, 1952
(First published on Sat Jun 21 1952)
#2
9 + 4
| 15148 | Sadier Collection | 2016 |
SOLUTION
- SOUND
- Sets
- 1...Qxd5
- 2.Bg5#
- 1...Qxf5
- 2.Bc5#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...Qxe7
- 2.Qxe7#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qxd5
- Tries
- 1.Ka1?
- 1...Qxd5
- 2.Bg5#
- 1...Qxf5
- 2.Bc5#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qa6+!
- 1...Qxd5
- 1.Kc2?
- 1...Qxd5
- 2.Bg5#
- 1...Qxf5
- 2.Bc5#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qc6+!
- 1...Qxd5
- 1.Ka3?
- 1...Qd6+
- 2.Bxd6#
- 1...Qxe7+
- 2.Qxe7#
- 1...Qxd5
- 2.Bg5#
- 1...Qxf5
- 2.Bc5#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qa6+!
- 1...Qd6+
- 1.Kb3?
- 1...Qxf5
- 2.Bc5#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qxd5+!
- 1...Qxf5
- 1.Kc3?
- 1...Qxd5
- 2.Bg5#
- 1...Qxf5
- 2.Ba3#
- 2.Bb4#
- 2.Bc5#
- 2.Bf8#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Sxg7#
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Sxg7#
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Sxg7#
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Sxg7#
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qc6+!
- 1...Qxd5
- 1.Sxc7+?
- 1...Qd5
- 2.Bg5#
- 1...Kf4!
- 1...Qd5
- 1.Sd4+?
- 1...Qf5
- 2.Bc5#
- 1...g5
- 2.Sf3#
- 1...Kxd4!
- 1...Qf5
- 1.Sh4+?
- 1...Qf5
- 2.Bc5#
- 1...g5
- 2.Sf3#
- 1...Kd4!
- 1...Qf5
- 1.Sxg7+?
- 1...Qf5
- 2.Bc5#
- 1...Kd4!
- 1...Qf5
- 1.Bb4?
- threat
- 2.Bc3#
- 1...Qe7
- 2.Qxe7#
- 1...Qxe8!
- threat
- 1.Bh4?
- threat
- 2.Bg3#
- 1...Qe7
- 2.Qxe7#
- 1...Qxe8!
- threat
- 1.Bc5?
- threat
- 2.Sxg7#
- 2.Bd4#
- 1...Qe7
- 2.Sxg7#
- 2.Qxe7#
- 1...g5
- 2.Bd4#
- 1...g6
- 2.Bd4#
- 1...Qxe8!
- threat
- 1.Bg5?
- threat
- 2.Sxc7#
- 2.Bf4#
- 1...Qe7
- 2.Sxc7#
- 2.Qxe7#
- 1...c5
- 2.Bf4#
- 1...c6
- 2.Bf4#
- 1...Qxe8!
- threat
- 1.Bd8?
- threat
- 2.Bxc7#
- 1...Qe7
- 2.Qxe7#
- 1...c5
- 2.Bc7#
- 1...c6
- 2.Bc7#
- 1...Qxe8!
- threat
- 1.Bf8?
- threat
- 2.Bxg7#
- 1...Qe7
- 2.Qxe7#
- 1...g5
- 2.Bg7#
- 1...g6
- 2.Bg7#
- 1...Qxe8!
- threat
- 1.Rb3?
- 1...Qxf5
- 2.Bc5#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qxd5!
- 1...Qxf5
- 1.Rb4?
- 1...Qxf5
- 2.Bc5#
- 2.Bf8#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Sxg7#
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Sxg7#
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Sxg7#
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Sxg7#
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Sxg7#
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qxd5!
- 1...Qxf5
- 1.Ra5?
- 1...Qxd5
- 2.Bg5#
- 1...Qxf5
- 2.Bc5#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qb6+!
- 1...Qxd5
- 1.Rh1?
- 1...Qxd5
- 2.Bg5#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qxf5!
- 1...Qxd5
- 1.Rh2?
- 1...Qxd5
- 2.Bg5#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qxf5!
- 1...Qxd5
- 1.Rh3?
- 1...Qxd5
- 2.Bg5#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qxf5!
- 1...Qxd5
- 1.Rh4?
- threat
- 2.d4#
- 1...Qxd5
- 2.Bg5#
- 2.Bd8#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Sxc7#
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Sxc7#
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Sxc7#
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Sxc7#
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...Qxf5!
- threat
- 1.Rg5?
- 1...Qxf5
- 2.Bc5#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g6
- 2.Bf6#
- 1...Qxd5!
- 1...Qxf5
- 1.Rh6?
- 1...Qxd5
- 2.Bg5#
- 2.Bd6#
- 1...Qxh6
- 2.Bd6#
- 2.Bf6#
- 1...Qxe7
- 2.Qxe7#
- 1...gxh6
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qxf5!
- 1...Qxd5
- 1.Rh7?
- 1...Qxd5
- 2.Bg5#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qxf5!
- 1...Qxd5
- 1.Rh8?
- 1...Qxd5
- 2.Bg5#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qxf5!
- 1...Qxd5
- 1.Ka1?
- Keys
- 1.Kb1!
- 1...Qxd5
- 2.Bg5#
- 1...Qxf5
- 2.Bc5#
- 1...Qxe7
- 2.Qxe7#
- 1...Qd7
- 2.Bd6#
- 2.Bf6#
- 1...Qf7
- 2.Bd6#
- 2.Bf6#
- 1...Qc8
- 2.Bd6#
- 2.Bf6#
- 1...Qg8
- 2.Bd6#
- 2.Bf6#
- 1...Qa6
- 2.Bd6#
- 2.Bf6#
- 1...Qb6
- 2.Bd6#
- 2.Bf6#
- 1...Qc6
- 2.Bd6#
- 2.Bf6#
- 1...Qd6
- 2.Bxd6#
- 2.Bf6#
- 1...Qf6
- 2.Bd6#
- 2.Bxf6#
- 1...Qg6
- 2.Bd6#
- 2.Bf6#
- 1...Qh6
- 2.Bd6#
- 2.Bf6#
- 1...c5
- 2.Bd6#
- 1...c6
- 2.Bd6#
- 1...g5
- 2.Bf6#
- 1...g6
- 2.Bf6#
- 1...Qxd5
- 1.Kb1!
FEATURES
- Static
- TYPE = WAITER
- CHANGED MATES = 0
- ADDED MATES = 0
- REMOVED MATES = 0
- Sets
- Q(b);OGATEB,P_SPINQ(b),XS(E)::QAR(I)+B(H)
- Q(b);OGATEB,P_SPINQ(b),XS(F)::QAR(I)+B(H)
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Tries
- Try
- K(A);S_FLIGHT
- Vars
- Q(b);OGATEB,P_SPINQ(b),XS(E)::QAR(I)+B(H)
- Q(b);OGATEB,P_SPINQ(b),XS(F)::QAR(I)+B(H)
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);CHECK
- Try
- K(A);P-FLIGHT
- Vars
- Q(b);OGATEB,P_SPINQ(b),XS(E)::QAR(I)+B(H)
- Q(b);OGATEB,P_SPINQ(b),XS(F)::QAR(I)+B(H)
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);CHECK
- Try
- K(A);S_FLIGHT
- Vars
- Q(b);CHECK::QAR(I)+B(H),DCHECK,XQ(b)
- Q(b);CHECK,OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- Q(b);OGATEB,P_SPINQ(b),XS(E)::QAR(I)+B(H)
- Q(b);OGATEB,P_SPINQ(b),XS(F)::QAR(I)+B(H)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);CHECK
- Try
- K(A);P-FLIGHT,P_SPINS(E)
- Vars
- Q(b);N_PINS(E),OGATEB,P_SPINQ(b),XS(F)::QAR(I)+B(H)
- Q(b);N_PINS(E),OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);CHECK,P_SPINQ(b),XS(E)
- Try
- K(A);S_FLIGHT
- Vars
- Q(b);OGATEB,P_SPINQ(b),XS(E)::QAR(I)+B(H)
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);CHECK
- Try
- S(E);CHECK,XP(c)
- Vars
- Q(b);P_SPINQ(b)::QAR(I)+B(H)
- Refutation
- K(a);S_FLIGHT
- Try
- S(F);CHECK
- Vars
- Q(b);P_SPINQ(b),S_CUTP(d)::QAR(I)+B(H)
- P(d);P_SPINP(d)::S(F)
- Refutation
- K(a);S_FLIGHT,XS(F)
- Try
- S(F);CHECK
- Vars
- Q(b);P_SPINQ(b),S_CUTP(d)::QAR(I)+B(H)
- P(d);P_SPINP(d)::S(F)
- Refutation
- K(a);S_FLIGHT
- Try
- S(F);CHECK,XP(d)
- Vars
- Q(b);P_SPINQ(b)::QAR(I)+B(H)
- Refutation
- K(a);S_FLIGHT
- Try
- B(H);P_PINQ(b)
- Threat
- B(H)
- Vars
- Q(b);OGATEB::QAR2(I),XQ(b)
- Refutation
- Q(b);N_SPINQ(b),XQ(I)
- Try
- B(H);P_PINQ(b)
- Threat
- B(H)
- Vars
- Q(b);OGATEB::QAR2(I),XQ(b)
- Refutation
- Q(b);N_SPINQ(b),XQ(I)
- Try
- B(H);P_PINQ(b)
- Threat
- DUALS(2)
- Vars
- P(d);::B(H)
- Refutation
- Q(b);N_SPINQ(b),XQ(I)
- Try
- B(H);P_PINQ(b)
- Threat
- DUALS(2)
- Vars
- P(c);::B(H)
- Refutation
- Q(b);N_SPINQ(b),XQ(I)
- Try
- B(H);P_PINQ(b)
- Threat
- B(H),XP(c)
- Vars
- Q(b);OGATEB::QAR2(I),XQ(b)
- P(c);::B(H)
- Refutation
- Q(b);N_SPINQ(b),XQ(I)
- Try
- B(H);P_PINQ(b)
- Threat
- B(H),XP(d)
- Vars
- Q(b);OGATEB::QAR2(I),XQ(b)
- P(d);::B(H)
- Refutation
- Q(b);N_SPINQ(b),XQ(I)
- Try
- R(D);
- Vars
- Q(b);OGATEB,P_SPINQ(b),XS(F)::QAR(I)+B(H)
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);XS(E)
- Try
- R(D);
- Vars
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);XS(E)
- Try
- R(D);
- Vars
- Q(b);OGATEB,P_SPINQ(b),XS(E)::QAR(I)+B(H)
- Q(b);OGATEB,P_SPINQ(b),XS(F)::QAR(I)+B(H)
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);CHECK
- Try
- R(G);
- Vars
- Q(b);OGATEB,P_SPINQ(b),XS(E)::QAR(I)+B(H)
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);XS(F)
- Try
- R(G);
- Vars
- Q(b);OGATEB,P_SPINQ(b),XS(E)::QAR(I)+B(H)
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);XS(F)
- Try
- R(G);
- Vars
- Q(b);OGATEB,P_SPINQ(b),XS(E)::QAR(I)+B(H)
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);XS(F)
- Try
- R(G);
- Threat
- P(B)
- Vars
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- Refutation
- Q(b);XS(F)
- Try
- R(G);
- Vars
- Q(b);OGATEB,P_SPINQ(b),XS(F)::QAR(I)+B(H)
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);P_SPINQ(b),XS(E)
- Try
- R(G);
- Vars
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(d);N_GUARD,XR(G)::B(H)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);XS(F)
- Try
- R(G);
- Vars
- Q(b);OGATEB,P_SPINQ(b),XS(E)::QAR(I)+B(H)
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);XS(F)
- Try
- R(G);
- Vars
- Q(b);OGATEB,P_SPINQ(b),XS(E)::QAR(I)+B(H)
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
- Refutation
- Q(b);XS(F)
- Try
- Actual
- K(A);P-FLIGHT
- Vars
- Q(b);OGATEB,P_SPINQ(b),XS(E)::QAR(I)+B(H)
- Q(b);OGATEB,P_SPINQ(b),XS(F)::QAR(I)+B(H)
- Q(b);OGATE,P_SPINQ(b),XB(H)::QAR2(I),XQ(b)
- P(c);N_GUARD::B(H)
- P(d);N_GUARD::B(H)
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).