MESON Chess Problem Database
Problem Display
PID: 222632 (1B6/8/2P4K/1P1kpPp1/2qrN1P1/2Q5/4N1B1/3R4 w - - 0 1)
Briggs, A
English Mechanic and World of Science, 1883
(First published on Fri Mar 2 1883)
#2
11 + 5
| 6490 | yacpdb | 2020 |
| 15239 | Valois Notebooks | 2021 |
SOLUTION
- SOUND
- Sets
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Rxd1
- 2.Qxe5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qa2
- Tries
- 1.Kxg5?
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Qxc6
- 2.Sf6#
- 2.Qxc6#
- 1...Rxd1
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxe2
- 1.Kh5?
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Qxc6
- 2.Sf6#
- 2.Qxc6#
- 1...Rxd1
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxe2
- 1.Kg6?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Rxd1
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Kg7?
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Qxc6
- 2.Sf6#
- 2.Qxc6#
- 1...Rxd1
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxe2
- 1.Kh7?
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Qxc6
- 2.Sf6#
- 2.Qxc6#
- 1...Rxd1
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxe2
- 1.Sc1?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxb5
- 2.Sf6#
- 1...Rxd1
- 2.Qxe5#
- 1...Qf1
- 2.Sf6#
- 2.Qc5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qe2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Sg1?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxb5
- 2.Sf6#
- 1...Rxd1
- 2.Qxe5#
- 1...Qf1
- 2.Sf6#
- 2.Qc5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qe2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.S2g3?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxb5
- 2.Sf6#
- 1...Rxd1
- 2.Qxe5#
- 1...Qf1
- 2.Sf6#
- 2.Qc5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qe2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Bh1?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Rxd1
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Bf3?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Rxd1
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Bh3?
- 1...Qxc6+
- 2.Qxc6#
- 1...Kxe4
- 2.Bg2#
- 1...Qxe2
- 2.Sf6#
- 1...Qxb5
- 2.Sf6#
- 1...Rxd1
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 1...Qb3
- 2.Sf6#
- 1...Qd3
- 2.Sf6#
- 1...Qa4
- 2.Sf6#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Bc7?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Rxd1
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Ra1?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Rxe4
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd1
- 2.Qxe5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Rb1?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 2.Rxb5#
- 1...Rxe4
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd1
- 2.Qxe5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Rc1?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Rxe4
- 2.Qxe5#
- 2.Qxc4#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd1
- 2.Qxe5#
- 2.Qxc4#
- 1...Rd2
- 2.Qxe5#
- 2.Qxc4#
- 1...Rd3
- 2.Qxe5#
- 2.Qxc4#
- 1...Qxc3!
- 1...Qxc6+
- 1.Re1?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Rxe4
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd1
- 2.Qxe5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Rf1?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Rxe4
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd1
- 2.Qxe5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Rg1?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Rxe4
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd1
- 2.Qxe5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Rh1?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Rxe4
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd1
- 2.Qxe5#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Rd2?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxe2
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Rxd2
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qd3
- 2.Sf6#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Rd3?
- 1...Qxc6+
- 2.Sf6#
- 2.Qxc6#
- 1...Qxd3
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.Sf6#
- 1...Rxd3
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.Sf6#
- 2.Qxb3#
- 2.Qc5#
- 1...Qa4
- 2.Sf6#
- 2.Qc5#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 2.Qxc5#
- 1...Qxc3!
- 1...Qxc6+
- 1.Rxd4+?
- 1...Qxd4
- 2.Sf6#
- 1...exd4!
- 1...Qxd4
- 1.Qb4?
- threat
- 2.S4c3#
- 2.Sf6#
- 2.Qd6#
- 1...Qxc6+
- 2.Sf6#
- 1...Qxe2
- 2.Sc3#
- 2.Sf6#
- 2.Qc5#
- 1...Qxb5
- 2.S4c3#
- 2.Sf6#
- 2.Qxb5#
- 1...Qa2
- 2.S2c3#
- 2.S4c3#
- 2.Sf6#
- 2.Qc5#
- 1...Qb3
- 2.S4c3#
- 2.Sf6#
- 2.Qc5#
- 2.Qxb3#
- 1...Qd3
- 2.S4c3#
- 2.Sf6#
- 2.Qc5#
- 1...Qc1
- 2.S4c3#
- 2.Sf6#
- 1...Qc2
- 2.S4c3#
- 2.Sf6#
- 1...Qc3
- 2.S2xc3#
- 2.S4xc3#
- 2.Sf6#
- 1...Qc5
- 2.S4c3#
- 2.Sf6#
- 2.Qxc5#
- 1...Qxb4!
- threat
- 1.Kxg5?
- Keys
- 1.Bf1!
- 1...Qxc6+
- 2.Qxc6#
- 1...Kxe4
- 2.Bg2#
- 1...Qxe2
- 2.Sf6#
- 1...Qxb5
- 2.Sf6#
- 1...Qxc3
- 2.S2xc3#
- 1...Rxd1
- 2.Qxe5#
- 1...Qa2
- 2.Sf6#
- 1...Qb3
- 2.Sf6#
- 1...Qd3
- 2.Sf6#
- 1...Qa4
- 2.Sf6#
- 1...Qb4
- 2.Sf6#
- 1...Qc5
- 2.Sf6#
- 1...Rd2
- 2.Qxe5#
- 1...Rd3
- 2.Qxe5#
- 1...Qxc6+
- 1.Bf1!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 9
- REMOVED MATES = 0
- Sets
- Q(a);XP(G)::B(C)+S(E),DCHECK
- Q(a);::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- R(b);OGATE::QAR1(D),XP(d)
- Tries
- Try
- K(J);S_FLIGHT,XP(e)
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- K(J);P-FLIGHT
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- K(J);P-FLIGHT
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- K(J);S_FLIGHT
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- K(J);P-FLIGHT
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- S(B);
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- S(B);
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- S(B);
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- B(C);
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- B(C);
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- B(C);
- Vars
- Q(a);CHECK,OGATE,XP(I)::QAB1(D),XQ(a)
- K(c);N_SPINR(b),OGATEB,S_FLIGHT,XS(E)::B(C)
- Q(a);XS(B)::S(E)
- Q(a);XP(G)::S(E)
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::S(E)
- Q(a);N_SPINR(b)::S(E)
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- B(K);
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- R(A);N_PINR(b)
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);OGATE,P_SPINR(b),XS(E)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- R(A);N_PINR(b)
- Vars
- R(b);OGATE,P_SPINR(b),XS(E)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- R(A);N_PINR(b)
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- Q(a);::B(C)+S(E),DCHECK
- Refutation
- Q(a);XQ(D)
- Try
- R(A);N_PINR(b)
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);OGATE,P_SPINR(b),XS(E)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- R(A);N_PINR(b)
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);OGATE,P_SPINR(b),XS(E)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- R(A);N_PINR(b)
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);OGATE,P_SPINR(b),XS(E)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- R(A);N_PINR(b)
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);OGATE,P_SPINR(b),XS(E)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- R(A);
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- R(b);OGATE::QAR1(D),XP(d)
- Refutation
- Q(a);XQ(D)
- Try
- R(A);
- Vars
- Q(a);XP(G)::B(C)+S(E),DCHECK
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::B(C)+S(E),DCHECK
- Refutation
- Q(a);XQ(D)
- Try
- R(A);CHECK,XR(b)
- Vars
- Q(a);XR(A)::B(C)+S(E),DCHECK
- Refutation
- P(d);XR(A)
- Try
- Q(D);
- Threat
- DUALS(3)
- Vars
- Q(a);CHECK,XP(I)::B(C)+S(E),DCHECK
- Refutation
- Q(a);XQ(D)
- Try
- Actual
- B(C);
- Vars
- Q(a);CHECK,OGATE,XP(I)::QAB1(D),XQ(a)
- K(c);N_SPINR(b),OGATEB,S_FLIGHT,XS(E)::B(C)
- Q(a);XS(B)::S(E)
- Q(a);XP(G)::S(E)
- Q(a);XQ(D)::S(B),XQ(a)
- R(b);N_SPINR(b),OGATE,XR(A)::QAR1(D),XP(d)
- Q(a);::S(E)
- Q(a);N_SPINR(b)::S(E)
- R(b);OGATE::QAR1(D),XP(d)
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).