MESON Chess Problem Database
Problem Display
PID: 46559 (4Q1n1/7R/1PNP1k1n/2P2qpP/pPN2bP1/P1K5/8/B2B1R2 w - - 0 1)
Morse, Christopher Jeremy
Problem Observer, 2003
#2
15 + 7
| 5454 | Near Snap | 2007 |
SOLUTION
- SOUND
- Sets
- 1...Qb1
- 2.Qe5#
- 1...Qc2+
- 2.Kxc2#
- 1...Qd3+
- 2.Kxd3#
- 1...Qxg4
- 2.Qg6#
- 2.Qe5#
- 1...Qe6
- 2.Qg6#
- 1...Qg6
- 2.Qxg6#
- 2.Qe5#
- 1...Qd7
- 2.Kc2#
- 2.Kd3#
- 2.Qg6#
- 2.Qe5#
- 1...Qc8
- 2.Kc2#
- 2.Kd3#
- 2.Qg6#
- 2.Qe5#
- 1...Qxc5
- 2.Qg6#
- 1...Qd5
- 2.Qg6#
- 1...Qe5+
- 2.Qxe5#
- 1...Bc1
- 2.Qg6#
- 2.Qe5#
- 1...Bd2+
- 2.Kxd2#
- 1...Bh2
- 2.Qg6#
- 1...Be3
- 2.Qg6#
- 2.Qe5#
- 1...Bg3
- 2.Qg6#
- 1...Be5+
- 2.Qxe5#
- 1...Bxd6
- 2.Qg6#
- 1...Sxg4
- 2.Rf7#
- 2.Qf7#
- 1...Sf7
- 2.Rxf7#
- 2.Qxf7#
- 1...Se7
- 2.Qxe7#
- 1...Qb1
- Tries
- 1.Kb2?
- 1...Qb1+
- 2.Kxb1#
- 1...Qc2+
- 2.Kxc2#
- 1...Qe5+
- 2.Qxe5#
- 1...Bc1+
- 2.Kxc1#
- 1...Be5+
- 2.Qxe5#
- 1...Qxg4
- 2.Qg6#
- 2.Qe5#
- 1...Qxh7
- 2.Ka2#
- 1...Qxc5
- 2.Qg6#
- 1...Bxd6
- 2.Qg6#
- 1...Sxg4
- 2.Rf7#
- 2.Qf7#
- 1...Se7
- 2.Qxe7#
- 1...Qd3
- 2.Qe5#
- 1...Qe6
- 2.Qg6#
- 1...Qg6
- 2.Ka2#
- 2.Qxg6#
- 2.Qe5#
- 1...Qd7
- 2.Kb1#
- 2.Ka2#
- 2.Kc2#
- 2.Qg6#
- 2.Qe5#
- 1...Qc8
- 2.Kb1#
- 2.Ka2#
- 2.Kc2#
- 2.Qg6#
- 2.Qe5#
- 1...Qd5
- 2.Qg6#
- 1...Bd2
- 2.Qg6#
- 2.Qe5#
- 1...Bh2
- 2.Qg6#
- 1...Be3
- 2.Qg6#
- 2.Qe5#
- 1...Bg3
- 2.Qg6#
- 1...Sf7
- 2.Rxf7#
- 2.Qxf7#
- 1...Qe4!
- 1...Qb1+
- 1.Sd2?
- 1...Qc2+
- 2.Kxc2#
- 1...Qd3+
- 2.Kxd3#
- 1...Qe5+
- 2.Qxe5#
- 1...Bxd2+
- 2.Kxd2#
- 1...Be5+
- 2.Qxe5#
- 1...Qxg4
- 2.Qg6#
- 2.Qe5#
- 1...Qxh7
- 2.Kc4#
- 1...Bxd6
- 2.Se4#
- 2.Qg6#
- 1...Sxg4
- 2.Rf7#
- 2.Qf7#
- 1...Se7
- 2.Qxe7#
- 1...Qb1
- 2.Qe5#
- 1...Qe4
- 2.Sxe4#
- 1...Qe6
- 2.Qg6#
- 1...Qg6
- 2.Kc4#
- 2.Qxg6#
- 2.Qe5#
- 1...Qd7
- 2.Kc2#
- 2.Kd3#
- 2.Kc4#
- 2.Se4#
- 2.Qg6#
- 2.Qe5#
- 1...Qc8
- 2.Kc2#
- 2.Kd3#
- 2.Kc4#
- 2.Se4#
- 2.Qg6#
- 2.Qe5#
- 1...Qd5
- 2.Qg6#
- 1...Bh2
- 2.Se4#
- 2.Qg6#
- 1...Be3
- 2.Se4#
- 2.Qg6#
- 2.Qe5#
- 1...Bg3
- 2.Se4#
- 2.Qg6#
- 1...Sf7
- 2.Rxf7#
- 2.Qxf7#
- 1...Qxc5+!
- 1...Qc2+
- 1.Sb8?
- 1...Qc2+
- 2.Kxc2#
- 1...Qd3+
- 2.Kxd3#
- 1...Qe5+
- 2.Qxe5#
- 1...Bd2+
- 2.Kxd2#
- 1...Be5+
- 2.Qxe5#
- 1...Qxg4
- 2.Qg6#
- 2.Qe5#
- 1...Qxc5
- 2.Sd7#
- 2.Qg6#
- 1...Bxd6
- 2.Sd7#
- 2.Qg6#
- 1...Sxg4
- 2.Rf7#
- 2.Qf7#
- 1...Se7
- 2.Qxe7#
- 1...Qe4
- 2.Sd7#
- 1...Qb1
- 2.Sd7#
- 2.Qe5#
- 1...Qe6
- 2.Qg6#
- 1...Qg6
- 2.Sd7#
- 2.Qxg6#
- 2.Qe5#
- 1...Qd7
- 2.Kc2#
- 2.Kd3#
- 2.Sxd7#
- 2.Qg6#
- 2.Qe5#
- 1...Qc8
- 2.Kc2#
- 2.Kd3#
- 2.Qg6#
- 2.Qe5#
- 1...Qd5
- 2.Sd7#
- 2.Qg6#
- 1...Bc1
- 2.Sd7#
- 2.Qg6#
- 2.Qe5#
- 1...Bh2
- 2.Sd7#
- 2.Qg6#
- 1...Be3
- 2.Sd7#
- 2.Qg6#
- 2.Qe5#
- 1...Bg3
- 2.Sd7#
- 2.Qg6#
- 1...Sf7
- 2.Rxf7#
- 2.Qxf7#
- 1...Qxh7!
- 1...Qc2+
- 1.Sd8?
- 1...Qc2+
- 2.Kxc2#
- 1...Qd3+
- 2.Kxd3#
- 1...Qe5+
- 2.Qxe5#
- 1...Bd2+
- 2.Kxd2#
- 1...Be5+
- 2.Qxe5#
- 1...Qxg4
- 2.Qg6#
- 2.Qe5#
- 1...Qxh7
- 2.Qe5#
- 1...Qxc5
- 2.Qg6#
- 2.Qe6#
- 1...Bxd6
- 2.Qg6#
- 2.Qe6#
- 1...Sxg4
- 2.Rf7#
- 2.Qf7#
- 2.Qf8#
- 1...Qb1
- 2.Qe5#
- 2.Qe6#
- 1...Qe6
- 2.Qg6#
- 2.Qxe6#
- 1...Qg6
- 2.Qxg6#
- 2.Qe5#
- 2.Qe6#
- 1...Qd7
- 2.Kc2#
- 2.Kd3#
- 2.Qg6#
- 2.Qe5#
- 1...Qc8
- 2.Kc2#
- 2.Kd3#
- 2.Qg6#
- 2.Qe5#
- 1...Qd5
- 2.Qg6#
- 1...Bc1
- 2.Qg6#
- 2.Qe5#
- 2.Qe6#
- 1...Bh2
- 2.Qg6#
- 2.Qe6#
- 1...Be3
- 2.Qg6#
- 2.Qe5#
- 2.Qe6#
- 1...Bg3
- 2.Qg6#
- 2.Qe6#
- 1...Sf7
- 2.Rxf7#
- 2.Qxf7#
- 1...Se7
- 2.Qxe7#
- 2.Qh8#
- 1...Qe4!
- 1...Qc2+
- 1.Bxa4?
- 1...Qc2+
- 2.Kxc2#
- 1...Qd3+
- 2.Kxd3#
- 1...Qe5+
- 2.Qxe5#
- 1...Bd2+
- 2.Kxd2#
- 1...Be5+
- 2.Qxe5#
- 1...Qxg4
- 2.Qg6#
- 2.Qe5#
- 1...Qxh7
- 2.Kb3#
- 1...Qxc5
- 2.Qg6#
- 1...Bxd6
- 2.Qg6#
- 1...Sxg4
- 2.Rf7#
- 2.Qf7#
- 1...Se7
- 2.Qxe7#
- 1...Qb1
- 2.Qe5#
- 1...Qe6
- 2.Qg6#
- 1...Qg6
- 2.Kb3#
- 2.Qxg6#
- 2.Qe5#
- 1...Qd7
- 2.Kc2#
- 2.Kb3#
- 2.Kd3#
- 2.Qg6#
- 2.Qe5#
- 1...Qc8
- 2.Kc2#
- 2.Kb3#
- 2.Kd3#
- 2.Qg6#
- 2.Qe5#
- 1...Qd5
- 2.Qg6#
- 1...Bc1
- 2.Qg6#
- 2.Qe5#
- 1...Bh2
- 2.Qg6#
- 1...Be3
- 2.Qg6#
- 2.Qe5#
- 1...Bg3
- 2.Qg6#
- 1...Sf7
- 2.Rxf7#
- 2.Qxf7#
- 1...Qe4!
- 1...Qc2+
- 1.Rxf4?
- threat
- 2.Kd2#
- 2.Qg6#
- 2.Qe5#
- 1...Qxf4
- 2.Qg6#
- 1...Sxg4
- 2.Rf7#
- 2.Qg6#
- 2.Qf7#
- 1...Se7
- 2.Qxe7#
- 1...Sf7
- 2.Rxf5#
- 2.Rxf7#
- 2.Qxf7#
- 1...gxf4!
- threat
- 1.Rxh6+?
- 1...Qg6
- 2.Rxg6#
- 2.Qxg6#
- 1...Sxh6
- 2.Qe7#
- 1...Kg7!
- 1...Qg6
- 1.Ra7?
- 1...Qc2+
- 2.Kxc2#
- 1...Qd3+
- 2.Kxd3#
- 1...Qe5+
- 2.Qxe5#
- 1...Bd2+
- 2.Kxd2#
- 1...Be5+
- 2.Qxe5#
- 1...Qxg4
- 2.Qg6#
- 2.Qe5#
- 1...Qxc5
- 2.Qg6#
- 1...Bxd6
- 2.Qg6#
- 1...Sxg4
- 2.Rf7#
- 2.Qf7#
- 1...Qd7
- 2.Kc2#
- 2.Kd3#
- 2.Qg6#
- 1...Sf7
- 2.Rxf7#
- 2.Qxf7#
- 1...Se7
- 2.Qxe7#
- 1...Qb1
- 2.Qe5#
- 1...Qe6
- 2.Qg6#
- 1...Qg6
- 2.Qxg6#
- 2.Qe5#
- 1...Qh7
- 2.Qe5#
- 1...Qc8
- 2.Kc2#
- 2.Kd3#
- 2.Qg6#
- 2.Qe5#
- 1...Qd5
- 2.Qg6#
- 1...Bc1
- 2.Qg6#
- 2.Qe5#
- 1...Bh2
- 2.Qg6#
- 1...Be3
- 2.Qg6#
- 2.Qe5#
- 1...Bg3
- 2.Qg6#
- 1...Qe4!
- 1...Qc2+
- 1.Rb7?
- 1...Qc2+
- 2.Kxc2#
- 1...Qd3+
- 2.Kxd3#
- 1...Qe5+
- 2.Qxe5#
- 1...Bd2+
- 2.Kxd2#
- 1...Be5+
- 2.Qxe5#
- 1...Qxg4
- 2.Qg6#
- 2.Qe5#
- 1...Qxc5
- 2.Qg6#
- 1...Bxd6
- 2.Qg6#
- 1...Sxg4
- 2.Rf7#
- 2.Qf7#
- 1...Qd7
- 2.Kc2#
- 2.Kd3#
- 2.Qg6#
- 1...Sf7
- 2.Rxf7#
- 2.Qxf7#
- 1...Se7
- 2.Qxe7#
- 1...Qb1
- 2.Qe5#
- 1...Qe6
- 2.Qg6#
- 1...Qg6
- 2.Qxg6#
- 2.Qe5#
- 1...Qh7
- 2.Qe5#
- 1...Qc8
- 2.Kc2#
- 2.Kd3#
- 2.Qg6#
- 2.Qe5#
- 1...Qd5
- 2.Qg6#
- 1...Bc1
- 2.Qg6#
- 2.Qe5#
- 1...Bh2
- 2.Qg6#
- 1...Be3
- 2.Qg6#
- 2.Qe5#
- 1...Bg3
- 2.Qg6#
- 1...Qe4!
- 1...Qc2+
- 1.Rc7?
- 1...Qc2+
- 2.Kxc2#
- 1...Qd3+
- 2.Kxd3#
- 1...Qe5+
- 2.Qxe5#
- 1...Bd2+
- 2.Kxd2#
- 1...Be5+
- 2.Qxe5#
- 1...Qxg4
- 2.Qg6#
- 2.Qe5#
- 1...Qxc5
- 2.Qg6#
- 1...Bxd6
- 2.Qg6#
- 1...Sxg4
- 2.Rf7#
- 2.Qf7#
- 1...Qd7
- 2.Kc2#
- 2.Kd3#
- 2.Qg6#
- 1...Sf7
- 2.Rxf7#
- 2.Qxf7#
- 1...Se7
- 2.Qxe7#
- 1...Qb1
- 2.Qe5#
- 1...Qe6
- 2.Qg6#
- 1...Qg6
- 2.Qxg6#
- 2.Qe5#
- 1...Qh7
- 2.Qe5#
- 1...Qc8
- 2.Kc2#
- 2.Kd3#
- 2.Qg6#
- 2.Qe5#
- 1...Qd5
- 2.Qg6#
- 1...Bc1
- 2.Qg6#
- 2.Qe5#
- 1...Bh2
- 2.Qg6#
- 1...Be3
- 2.Qg6#
- 2.Qe5#
- 1...Bg3
- 2.Qg6#
- 1...Qe4!
- 1...Qc2+
- 1.Rd7?
- 1...Qc2+
- 2.Kxc2#
- 1...Qd3+
- 2.Kxd3#
- 1...Qe5+
- 2.Qxe5#
- 1...Bd2+
- 2.Kxd2#
- 1...Be5+
- 2.Qxe5#
- 1...Qxg4
- 2.Qg6#
- 2.Qe5#
- 1...Qxd7
- 2.Kc2#
- 2.Kd3#
- 2.Qg6#
- 1...Qxc5
- 2.Qg6#
- 1...Bxd6
- 2.Qg6#
- 1...Sxg4
- 2.Rf7#
- 2.Qf7#
- 1...Sf7
- 2.Rxf7#
- 2.Qxf7#
- 1...Se7
- 2.Qxe7#
- 1...Qb1
- 2.Qe5#
- 1...Qe6
- 2.Qg6#
- 1...Qg6
- 2.Qxg6#
- 2.Qe5#
- 1...Qh7
- 2.Qe5#
- 1...Qd5
- 2.Qg6#
- 1...Bc1
- 2.Qg6#
- 2.Qe5#
- 1...Bh2
- 2.Qg6#
- 1...Be3
- 2.Qg6#
- 2.Qe5#
- 1...Bg3
- 2.Qg6#
- 1...Qe4!
- 1...Qc2+
- 1.Qd8+?
- 1...Se7
- 2.Qxe7#
- 1...Ke6!
- 1...Se7
- 1.Qf8+?
- 1...Sf7
- 2.Qxf7#
- 1...Ke6!
- 1...Sf7
- 1.b5?
- 1...Qc2+
- 2.Kxc2#
- 1...Qd3+
- 2.Kxd3#
- 1...Qe5+
- 2.Qxe5#
- 1...Bd2+
- 2.Kxd2#
- 1...Be5+
- 2.Qxe5#
- 1...Qxg4
- 2.Qg6#
- 2.Qe5#
- 1...Qxh7
- 2.Kb4#
- 1...Qxc5
- 2.Qg6#
- 1...Bxd6
- 2.Qg6#
- 1...Sxg4
- 2.Rf7#
- 2.Qf7#
- 1...Se7
- 2.Qxe7#
- 1...Qb1
- 2.Qe5#
- 1...Qe6
- 2.Qg6#
- 1...Qg6
- 2.Kb4#
- 2.Qxg6#
- 2.Qe5#
- 1...Qd7
- 2.Kc2#
- 2.Kd3#
- 2.Kb4#
- 2.Qg6#
- 2.Qe5#
- 1...Qc8
- 2.Kc2#
- 2.Kd3#
- 2.Kb4#
- 2.Qg6#
- 2.Qe5#
- 1...Qd5
- 2.Qg6#
- 1...Bc1
- 2.Qg6#
- 2.Qe5#
- 1...Bh2
- 2.Qg6#
- 1...Be3
- 2.Qg6#
- 2.Qe5#
- 1...Bg3
- 2.Qg6#
- 1...Sf7
- 2.Rxf7#
- 2.Qxf7#
- 1...Qe4!
- 1...Qc2+
- 1.gxf5?
- threat
- 2.Qg6#
- 2.Qe6#
- 1...Bd2+
- 2.Kxd2#
- 1...Be5+
- 2.Qxe5#
- 1...Kxf5
- 2.Qg6#
- 2.Qe5#
- 1...Sxf5
- 2.Rf7#
- 2.Qg6#
- 2.Qf7#
- 1...g4
- 2.Qg6#
- 1...Sf7
- 2.Rxf7#
- 2.Qxf7#
- 2.Qe6#
- 1...Se7!
- threat
- 1.Kb2?
- Keys
- 1.Kd4!
- 1...Qd3+
- 2.Kxd3#
- 1...Qe4+
- 2.Kxe4#
- 1...Qxc5+
- 2.Kxc5#
- 1...Qd5+
- 2.Kxd5#
- 1...Qe5+
- 2.Qxe5#
- 1...Be3+
- 2.Kxe3#
- 1...Be5+
- 2.Qxe5#
- 1...Qxg4
- 2.Ke4#
- 2.Qg6#
- 2.Qe5#
- 1...Qxh7
- 2.Kd5#
- 1...Bxd6
- 2.Qg6#
- 1...Sxg4
- 2.Rf7#
- 2.Qf7#
- 1...Se7
- 2.Qxe7#
- 1...Qb1
- 2.Qe5#
- 1...Qc2
- 2.Qe5#
- 1...Qe6
- 2.Qg6#
- 1...Qg6
- 2.Kd5#
- 2.Qxg6#
- 2.Qe5#
- 1...Qd7
- 2.Kd3#
- 2.Ke4#
- 2.Kd5#
- 2.Qg6#
- 2.Qe5#
- 1...Qc8
- 2.Kd3#
- 2.Ke4#
- 2.Kd5#
- 2.Qg6#
- 2.Qe5#
- 1...Bc1
- 2.Qg6#
- 2.Qe5#
- 1...Bd2
- 2.Qg6#
- 2.Qe5#
- 1...Bh2
- 2.Qg6#
- 1...Bg3
- 2.Qg6#
- 1...Sf7
- 2.Rxf7#
- 2.Qxf7#
- 1...Qd3+
- 1.Kd4!
Anticipated by 7233(1999)
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 3
- ADDED MATES = 3
- REMOVED MATES = 1
- Sets
- Q(c);N_GUARD,P_SPINB(b)::QAB1(O)
- Q(c);CHECK,P_SPINB(b)::B(A)+K(E),XQ(c)
- Q(c);N_GUARD,P_SPINB(b),SBLOCK::QAR1(O)
- Q(c);N_GUARD,P_PINS(G),P_SPINB(b),XP(I)::QAR1(O)
- Q(c);N_GUARD,P_SPINB(b)::QAR1(O)
- Q(c);CHECK,N_GUARD,P_SPINB(b)::QAB1(O),XQ(c)
- B(b);CHECK,P_SPINQ(c)::B(A)+K(E),XB(b)
- B(b);P_SPINQ(c)::QAR1(O)
- B(b);CHECK,N_GUARD,P_SPINQ(c)::QAB1(O),XB(b)
- B(b);P_SPINQ(c),XP(M)::QAR1(O)
- S(g);N_GUARD::QAB1(O),XS(g)
- Tries
- Try
- K(E);S_FLIGHT
- Vars
- Q(c);CHECK,P_SPINB(b)::B(A)+K(E),XQ(c)
- Q(c);CHECK,N_GUARD,P_SPINB(b)::QAB1(O),XQ(c)
- B(b);CHECK,P_SPINQ(c)::B(A)+K(E),XB(b)
- B(b);CHECK,N_GUARD,P_SPINQ(c)::QAB1(O),XB(b)
- Q(c);N_GUARD,P_SPINB(b),XR(N)::B(A)+K(E)
- Q(c);N_GUARD,P_SPINB(b),XP(I)::QAR1(O)
- B(b);P_SPINQ(c),XP(M)::QAR1(O)
- S(g);N_GUARD::QAB1(O),XS(g)
- Q(c);N_GUARD,P_SPINB(b)::QAB1(O)
- Q(c);N_GUARD,P_SPINB(b),SBLOCK::QAR1(O)
- Q(c);N_GUARD,P_SPINB(b)::QAR1(O)
- B(b);P_SPINQ(c)::QAR1(O)
- Refutation
- Q(c);P_SPINB(b)
- Try
- S(G);
- Vars
- Q(c);CHECK,P_SPINB(b)::B(A)+K(E),XQ(c)
- Q(c);CHECK,N_GUARD,P_SPINB(b)::QAB1(O),XQ(c)
- B(b);CHECK,P_SPINQ(c),XS(G)::B(A)+K(E),XB(b)
- B(b);CHECK,N_GUARD,P_SPINQ(c)::QAB1(O),XB(b)
- Q(c);N_GUARD,P_SPINB(b),XR(N)::B(A)+K(E)
- S(g);N_GUARD::QAB1(O),XS(g)
- Q(c);N_GUARD,P_SPINB(b)::QAB1(O)
- Q(c);N_GUARD,P_SPINB(b)::S(G),XQ(c)
- Q(c);N_GUARD,P_SPINB(b),SBLOCK::QAR1(O)
- Q(c);N_GUARD,P_SPINB(b)::QAR1(O)
- Refutation
- Q(c);CHECK,P_SPINB(b),XP(I)
- Try
- S(L);
- Vars
- Q(c);CHECK,P_SPINB(b)::B(A)+K(E),XQ(c)
- Q(c);CHECK,N_GUARD,P_SPINB(b)::QAB1(O),XQ(c)
- B(b);CHECK,P_SPINQ(c)::B(A)+K(E),XB(b)
- B(b);CHECK,N_GUARD,P_SPINQ(c)::QAB1(O),XB(b)
- S(g);N_GUARD::QAB1(O),XS(g)
- Q(c);N_GUARD,P_SPINB(b)::S(L)
- Q(c);N_GUARD,P_SPINB(b),SBLOCK::QAR1(O)
- Refutation
- Q(c);P_SPINB(b),XR(N)
- Try
- S(L);
- Vars
- Q(c);CHECK,P_SPINB(b)::B(A)+K(E),XQ(c)
- Q(c);CHECK,N_GUARD,P_SPINB(b)::QAB1(O),XQ(c)
- B(b);CHECK,P_SPINQ(c)::B(A)+K(E),XB(b)
- B(b);CHECK,N_GUARD,P_SPINQ(c)::QAB1(O),XB(b)
- Q(c);N_GUARD,P_SPINB(b),XR(N)::QAB1(O)
- Q(c);N_GUARD,P_SPINB(b)::QAR1(O)
- Refutation
- Q(c);P_SPINB(b)
- Try
- B(B);XP(a)
- Vars
- Q(c);CHECK,P_SPINB(b)::B(A)+K(E),XQ(c)
- Q(c);CHECK,N_GUARD,P_SPINB(b)::QAB1(O),XQ(c)
- B(b);CHECK,P_SPINQ(c)::B(A)+K(E),XB(b)
- B(b);CHECK,N_GUARD,P_SPINQ(c)::QAB1(O),XB(b)
- Q(c);N_GUARD,P_SPINB(b),XR(N)::B(A)+K(E)
- Q(c);N_GUARD,P_PINS(G),P_SPINB(b),XP(I)::QAR1(O)
- B(b);P_SPINQ(c),XP(M)::QAR1(O)
- S(g);N_GUARD::QAB1(O),XS(g)
- Q(c);N_GUARD,P_SPINB(b)::QAB1(O)
- Q(c);N_GUARD,P_SPINB(b),SBLOCK::QAR1(O)
- Q(c);N_GUARD,P_SPINB(b)::QAR1(O)
- B(b);P_SPINQ(c)::QAR1(O)
- Refutation
- Q(c);P_SPINB(b)
- Try
- R(C);P_PINQ(c),XB(b)
- Threat
- DUALS(3)
- Vars
- Q(c);N_SPINQ(c),XR(C)::QAR1(O)
- S(g);N_GUARD::QAB1(O),XS(g)
- Refutation
- P(d);N_SPINQ(c),XR(C)
- Try
- R(N);CHECK,XS(f)
- Vars
- S(g);XR(N)::QAB1(O)
- Refutation
- K(e);S_FLIGHT
- Try
- R(N);
- Vars
- Q(c);CHECK,P_SPINB(b)::B(A)+K(E),XQ(c)
- Q(c);CHECK,N_GUARD,P_SPINB(b)::QAB1(O),XQ(c)
- B(b);CHECK,P_SPINQ(c)::B(A)+K(E),XB(b)
- B(b);CHECK,N_GUARD,P_SPINQ(c)::QAB1(O),XB(b)
- Q(c);N_GUARD,P_PINS(G),P_SPINB(b),XP(I)::QAR1(O)
- B(b);P_SPINQ(c),XP(M)::QAR1(O)
- S(g);N_GUARD::QAB1(O),XS(g)
- Q(c);N_GUARD,P_SPINB(b)::QAB1(O)
- Q(c);N_GUARD,P_SPINB(b),SBLOCK::QAR1(O)
- Q(c);N_GUARD,P_SPINB(b)::QAR1(O)
- B(b);P_SPINQ(c)::QAR1(O)
- Refutation
- Q(c);P_SPINB(b)
- Try
- R(N);
- Vars
- Q(c);CHECK,P_SPINB(b)::B(A)+K(E),XQ(c)
- Q(c);CHECK,N_GUARD,P_SPINB(b)::QAB1(O),XQ(c)
- B(b);CHECK,P_SPINQ(c)::B(A)+K(E),XB(b)
- B(b);CHECK,N_GUARD,P_SPINQ(c)::QAB1(O),XB(b)
- Q(c);N_GUARD,P_PINS(G),P_SPINB(b),XP(I)::QAR1(O)
- B(b);P_SPINQ(c),XP(M)::QAR1(O)
- S(g);N_GUARD::QAB1(O),XS(g)
- Q(c);N_GUARD,P_SPINB(b)::QAB1(O)
- Q(c);N_GUARD,P_SPINB(b),SBLOCK::QAR1(O)
- Q(c);N_GUARD,P_SPINB(b)::QAR1(O)
- B(b);P_SPINQ(c)::QAR1(O)
- Refutation
- Q(c);P_SPINB(b)
- Try
- R(N);
- Vars
- Q(c);CHECK,P_SPINB(b)::B(A)+K(E),XQ(c)
- Q(c);CHECK,N_GUARD,P_SPINB(b)::QAB1(O),XQ(c)
- B(b);CHECK,P_SPINQ(c)::B(A)+K(E),XB(b)
- B(b);CHECK,N_GUARD,P_SPINQ(c)::QAB1(O),XB(b)
- Q(c);N_GUARD,P_PINS(G),P_SPINB(b),XP(I)::QAR1(O)
- B(b);P_SPINQ(c),XP(M)::QAR1(O)
- S(g);N_GUARD::QAB1(O),XS(g)
- Q(c);N_GUARD,P_SPINB(b)::QAB1(O)
- Q(c);N_GUARD,P_SPINB(b),SBLOCK::QAR1(O)
- Q(c);N_GUARD,P_SPINB(b)::QAR1(O)
- B(b);P_SPINQ(c)::QAR1(O)
- Refutation
- Q(c);P_SPINB(b)
- Try
- R(N);
- Vars
- Q(c);CHECK,P_SPINB(b)::B(A)+K(E),XQ(c)
- Q(c);CHECK,N_GUARD,P_SPINB(b)::QAB1(O),XQ(c)
- B(b);CHECK,P_SPINQ(c)::B(A)+K(E),XB(b)
- B(b);CHECK,N_GUARD,P_SPINQ(c)::QAB1(O),XB(b)
- Q(c);N_GUARD,P_PINS(G),P_SPINB(b),XP(I)::QAR1(O)
- B(b);P_SPINQ(c),XP(M)::QAR1(O)
- S(g);N_GUARD::QAB1(O),XS(g)
- Q(c);N_GUARD,P_SPINB(b)::QAB1(O)
- Q(c);N_GUARD,P_SPINB(b),SBLOCK::QAR1(O)
- Q(c);N_GUARD,P_SPINB(b)::QAR1(O)
- B(b);P_SPINQ(c)::QAR1(O)
- Refutation
- Q(c);P_SPINB(b)
- Try
- Q(O);CHECK
- Vars
- S(g);N_GUARD,P_SPINS(g)::QAB1(O),XS(g)
- Refutation
- K(e);P-FLIGHT
- Try
- Q(O);CHECK
- Vars
- S(f);N_GUARD,P_SPINS(f)::QAR1(O),XS(f)
- Refutation
- K(e);P-FLIGHT
- Try
- P(F);
- Vars
- Q(c);CHECK,P_SPINB(b)::B(A)+K(E),XQ(c)
- Q(c);CHECK,N_GUARD,P_SPINB(b)::QAB1(O),XQ(c)
- B(b);CHECK,P_SPINQ(c)::B(A)+K(E),XB(b)
- B(b);CHECK,N_GUARD,P_SPINQ(c)::QAB1(O),XB(b)
- Q(c);N_GUARD,P_SPINB(b),XR(N)::B(A)+K(E)
- Q(c);N_GUARD,P_PINS(G),P_SPINB(b),XP(I)::QAR1(O)
- B(b);P_SPINQ(c),XP(M)::QAR1(O)
- S(g);N_GUARD::QAB1(O),XS(g)
- Q(c);N_GUARD,P_SPINB(b)::QAB1(O)
- Q(c);N_GUARD,P_SPINB(b),SBLOCK::QAR1(O)
- Q(c);N_GUARD,P_SPINB(b)::QAR1(O)
- B(b);P_SPINQ(c)::QAR1(O)
- Refutation
- Q(c);P_SPINB(b)
- Try
- P(H);XQ(c)
- Threat
- DUALS(2)
- Vars
- B(b);CHECK::B(A)+K(E),XB(b)
- B(b);CHECK,N_GUARD::QAB1(O),XB(b)
- P(d);::QAR1(O)
- Refutation
- S(g);
- Try
- Actual
- K(E);S_FLIGHT
- Vars
- Q(c);CHECK,P_SPINB(b)::B(A)+K(E),XQ(c)
- Q(c);CHECK,P_SPINB(b),XP(I)::B(A)+K(E),XQ(c)
- Q(c);CHECK,N_GUARD,P_SPINB(b)::QAB1(O),XQ(c)
- B(b);CHECK,P_SPINQ(c)::B(A)+K(E),XB(b)
- B(b);CHECK,N_GUARD,P_SPINQ(c)::QAB1(O),XB(b)
- Q(c);P_SPINB(b),XR(N)::B(A)+K(E)
- B(b);P_SPINQ(c),XP(M)::QAR1(O)
- S(g);N_GUARD::QAB1(O),XS(g)
- Q(c);N_GUARD,P_SPINB(b)::QAB1(O)
- Q(c);N_GUARD,P_SPINB(b),SBLOCK::QAR1(O)
- B(b);P_SPINQ(c)::QAR1(O)
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).