MESON Chess Problem Database
Problem Display
PID: 184164 (8/3N1K2/1P3PPP/1R6/P1k1B3/P2R4/n6q/B2N2b1 w - - 0 1)
Stewart, John
The Observer, 1927
(First published on Sun Oct 2 1927)
#2
13 + 4
| 15239 | Valois Notebooks | 2018 |
SOLUTION
- SOUND
- Sets
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qe5
- 2.Sxe5#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qh1
- 2.Sb2#
- 2.Se5#
- 1...Qb2
- 2.Sxb2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Qh3
- 2.Sb2#
- 2.Se5#
- 1...Qh4
- 2.Sb2#
- 2.Se5#
- 1...Qh5
- 2.Sb2#
- 1...Qxh6
- 2.Sb2#
- 2.Se5#
- 1...Bf2
- 2.Sb2#
- 1...Be3
- 2.Sxe3#
- 1...Bd4
- 2.Rxd4#
- 1...Bc5
- 2.Rxc5#
- 1...Bxb6
- 2.Sxb6#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...Qg3
- Tries
- 1.Ke7?
- 1...Qe5+
- 2.Sxe5#
- 1...Bc5+
- 2.Rxc5#
- 1...Qxh6
- 2.Sb2#
- 2.Se5#
- 1...Bxb6
- 2.Sxb6#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qh1
- 2.Sb2#
- 2.Se5#
- 1...Qb2
- 2.Sxb2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Qh3
- 2.Sb2#
- 2.Se5#
- 1...Qh4
- 2.Sb2#
- 2.Se5#
- 1...Qh5
- 2.Sb2#
- 1...Bf2
- 2.Sb2#
- 1...Be3
- 2.Sxe3#
- 1...Bd4
- 2.Rxd4#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...Qd6+!
- 1...Qe5+
- 1.Kg7?
- 1...Bxb6
- 2.Sxb6#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qe5
- 2.Sxe5#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qh1
- 2.Sb2#
- 2.Se5#
- 1...Qb2
- 2.Sxb2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Qh3
- 2.Sb2#
- 2.Se5#
- 1...Qh4
- 2.Sb2#
- 2.Se5#
- 1...Qh5
- 2.Sb2#
- 1...Bf2
- 2.Sb2#
- 1...Be3
- 2.Sxe3#
- 1...Bd4
- 2.Rxd4#
- 1...Bc5
- 2.Rxc5#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...Qxh6+!
- 1...Bxb6
- 1.Ke8?
- 1...Qe5+
- 2.Sxe5#
- 1...Qxh6
- 2.Sb2#
- 2.Se5#
- 1...Bxb6
- 2.Sxb6#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qh1
- 2.Sb2#
- 2.Se5#
- 1...Qb2
- 2.Sxb2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Qh3
- 2.Sb2#
- 2.Se5#
- 1...Qh4
- 2.Sb2#
- 2.Se5#
- 1...Qh5
- 2.Sb2#
- 1...Bf2
- 2.Sb2#
- 1...Be3
- 2.Sxe3#
- 1...Bd4
- 2.Rxd4#
- 1...Bc5
- 2.Rxc5#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...Qb8+!
- 1...Qe5+
- 1.Kg8?
- 1...Qxh6
- 2.Sb2#
- 2.Se5#
- 1...Bxb6
- 2.Sxb6#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qe5
- 2.Sxe5#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qh1
- 2.Sb2#
- 2.Se5#
- 1...Qb2
- 2.Sxb2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Qh3
- 2.Sb2#
- 2.Se5#
- 1...Qh4
- 2.Sb2#
- 2.Se5#
- 1...Qh5
- 2.Sb2#
- 1...Bf2
- 2.Sb2#
- 1...Be3
- 2.Sxe3#
- 1...Bd4
- 2.Rxd4#
- 1...Bc5
- 2.Rxc5#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...Qb8+!
- 1...Qxh6
- 1.Bc3?
- 1...Qxh6
- 2.Sb2#
- 2.Se5#
- 1...Bxb6
- 2.Sxb6#
- 1...Sxc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qe5
- 2.Sb2#
- 2.Sxe5#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qh1
- 2.Sb2#
- 2.Se5#
- 1...Qb2
- 2.Sxb2#
- 2.Se5#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Qh3
- 2.Sb2#
- 2.Se5#
- 1...Qh4
- 2.Sb2#
- 2.Se5#
- 1...Qh5
- 2.Sb2#
- 1...Bf2
- 2.Sb2#
- 1...Be3
- 2.Sxe3#
- 1...Bd4
- 2.Rxd4#
- 1...Sc1
- 2.Rb4#
- 1...Bc5!
- 1...Qxh6
- 1.Bd4?
- threat
- 2.Rc5#
- 1...Qe5
- 2.Sb2#
- 2.Sxe5#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qh5
- 2.Sb2#
- 1...Sc3
- 2.Rb4#
- 1...Bxd4!
- threat
- 1.Bg2?
- threat
- 2.Sb2#
- 1...Qxg2
- 2.Se5#
- 1...Qe5
- 2.Sxe5#
- 1...Bd4
- 2.Rxd4#
- 1...Kxd3!
- threat
- 1.Bf5?
- 1...Qxh6
- 2.Sb2#
- 2.Se5#
- 1...Bxb6
- 2.Sxb6#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qe5
- 2.Sxe5#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qh1
- 2.Sb2#
- 2.Se5#
- 1...Qb2
- 2.Sxb2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Qh3
- 2.Sb2#
- 2.Se5#
- 1...Qh4
- 2.Sb2#
- 2.Se5#
- 1...Qh5
- 2.Sb2#
- 2.Se5#
- 1...Bf2
- 2.Sb2#
- 1...Be3
- 2.Sxe3#
- 1...Bd4
- 2.Rxd4#
- 1...Bc5
- 2.Rxc5#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...Qe2!
- 1...Qxh6
- 1.Rd2?
- threat
- 2.Bd3#
- 2.Bd5#
- 1...Qxd2
- 2.Se5#
- 1...Sb4
- 2.Rxb4#
- 1...Qg3
- 2.Bd5#
- 1...Qe5
- 2.Sxe5#
- 2.Bd3#
- 1...Qh1
- 2.Se5#
- 2.Bd3#
- 1...Qe2
- 2.Se5#
- 2.Bd5#
- 1...Qg2
- 2.Se5#
- 2.Bd3#
- 1...Qh3
- 2.Se5#
- 2.Bd5#
- 1...Qh5
- 2.Bd3#
- 1...Bc5
- 2.Bd5#
- 1...Sc1
- 2.Bd5#
- 2.Rb4#
- 1...Sc3
- 2.Sb2#
- 2.Rb4#
- 1...Qd6!
- threat
- 1.Rc3+?
- 1...Sxc3
- 2.Rb4#
- 1...Kd4!
- 1...Sxc3
- 1.Rdd5?
- threat
- 2.Bd3#
- 1...Sb4
- 2.Rxb4#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qh3
- 2.Se5#
- 1...Bd4
- 2.Rxd4#
- 1...Bc5
- 2.Rdxc5#
- 1...Sc1
- 2.Rb4#
- 1...Qg3!
- threat
- 1.b7?
- 1...Qxh6
- 2.Sb2#
- 2.Se5#
- 1...Qd6
- 2.Sb2#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qe5
- 2.Sxe5#
- 1...Qc7
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qh1
- 2.Sb2#
- 2.Se5#
- 1...Qb2
- 2.Sxb2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Qh3
- 2.Sb2#
- 2.Se5#
- 1...Qh4
- 2.Sb2#
- 2.Se5#
- 1...Qh5
- 2.Sb2#
- 1...Bf2
- 2.Sb2#
- 1...Be3
- 2.Sxe3#
- 1...Bd4
- 2.Rxd4#
- 1...Bc5
- 2.Rxc5#
- 1...Bb6
- 2.Sxb6#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...Ba7!
- 1...Qxh6
- 1.g7?
- 1...Qxh6
- 2.Sb2#
- 2.Se5#
- 1...Bxb6
- 2.Sxb6#
- 1...Qd6
- 2.Sb2#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qe5
- 2.Sxe5#
- 1...Qc7
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qh1
- 2.Sb2#
- 2.Se5#
- 1...Qb2
- 2.Sxb2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Qh3
- 2.Sb2#
- 2.Se5#
- 1...Qh4
- 2.Sb2#
- 2.Se5#
- 1...Bf2
- 2.Sb2#
- 1...Be3
- 2.Sxe3#
- 1...Bd4
- 2.Rxd4#
- 1...Bc5
- 2.Rxc5#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...Qh5+!
- 1...Qxh6
- 1.h7?
- 1...Bxb6
- 2.Sxb6#
- 1...Qd6
- 2.Sb2#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qe5
- 2.Sxe5#
- 1...Qc7
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qh1
- 2.Sb2#
- 2.Se5#
- 1...Qb2
- 2.Sxb2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Qh3
- 2.Sb2#
- 2.Se5#
- 1...Qh4
- 2.Sb2#
- 2.Se5#
- 1...Qh5
- 2.Sb2#
- 1...Qh6
- 2.Sb2#
- 2.Se5#
- 1...Bf2
- 2.Sb2#
- 1...Be3
- 2.Sxe3#
- 1...Bd4
- 2.Rxd4#
- 1...Bc5
- 2.Rxc5#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...Qxh7+!
- 1...Bxb6
- 1.Ke7?
- Keys
- 1.Rbd5!
- 1...Qxh6
- 2.Sb2#
- 2.Se5#
- 1...Bxb6
- 2.Sxb6#
- 1...Sc3
- 2.Rxc3#
- 1...Qd6
- 2.Sb2#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qe5
- 2.Sxe5#
- 1...Qc7
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qh1
- 2.Sb2#
- 2.Se5#
- 1...Qb2
- 2.Sxb2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Qh3
- 2.Sb2#
- 2.Se5#
- 1...Qh4
- 2.Sb2#
- 2.Se5#
- 1...Qh5
- 2.Sb2#
- 1...Bf2
- 2.Sb2#
- 1...Be3
- 2.Sxe3#
- 1...Bd4
- 2.R5xd4#
- 1...Bc5
- 2.Rxc5#
- 1...Sc1
- 2.Rc3#
- 1...Sb4
- 2.Rc3#
- 1...Qxh6
- 1.Rbd5!
FEATURES
- Static
- TYPE = MUTATE
- CHANGED MATES = 3
- ADDED MATES = 0
- REMOVED MATES = 0
- Sets
- Q(c);N_GUARD::S(B)
- Q(c);N_GUARD,P_PINP(I)::S(B)
- Q(c);N_GUARD::S(L),XQ(c)
- Q(c);N_GUARD,P_PINS(L)::S(B)
- Q(c);N_GUARD::S(B),XQ(c)
- Q(c);N_GUARD::S(L)
- Q(c);N_GUARD,P_PINP(I)::S(L)
- Q(c);N_GUARD,P_PINP(J)::S(B)
- B(a);S_CUTQ(c)::S(B)
- B(a);N_GUARD::S(B),XB(a)
- B(a);N_GUARD::R1(D),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- B(a);XP(H)::S(L),XB(a)
- S(b);N_GUARD::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Tries
- Try
- K(M);P-FLIGHT
- Vars
- Q(c);CHECK,N_GUARD::S(L),XQ(c)
- B(a);CHECK,N_GUARD::R1(G),XB(a)
- B(a);XP(H)::S(L),XB(a)
- Q(c);N_GUARD::S(B)
- Q(c);N_GUARD,P_PINS(L)::S(B)
- Q(c);N_GUARD::S(B),XQ(c)
- Q(c);N_GUARD::S(L)
- Q(c);N_GUARD,P_PINB(F)::S(L)
- B(a);S_CUTQ(c)::S(B)
- B(a);N_GUARD::S(B),XB(a)
- B(a);N_GUARD::R1(D),XB(a)
- S(b);N_GUARD::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Refutation
- Q(c);CHECK
- Try
- K(M);P-FLIGHT
- Vars
- B(a);XP(H)::S(L),XB(a)
- Q(c);N_GUARD,P_PINP(J)::S(B)
- Q(c);N_GUARD::S(B)
- Q(c);N_GUARD,P_PINP(I)::S(L),XQ(c)
- Q(c);N_GUARD,P_PINS(L)::S(B)
- Q(c);N_GUARD,P_PINP(I)::S(B),XQ(c)
- Q(c);N_GUARD::S(L)
- Q(c);N_GUARD,P_PINP(J)::S(L)
- B(a);S_CUTQ(c)::S(B)
- B(a);N_GUARD::S(B),XB(a)
- B(a);N_GUARD,P_PINP(I)::R1(D),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- S(b);N_GUARD::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Refutation
- Q(c);CHECK,XP(K)
- Try
- K(M);S_FLIGHT
- Vars
- Q(c);CHECK,N_GUARD::S(L),XQ(c)
- B(a);XP(H)::S(L),XB(a)
- Q(c);N_GUARD::S(B)
- Q(c);N_GUARD::S(B),XQ(c)
- Q(c);N_GUARD::S(L)
- Q(c);N_GUARD,P_PINB(F)::S(L)
- Q(c);N_GUARD,P_PINP(J)::S(B)
- B(a);S_CUTQ(c)::S(B)
- B(a);N_GUARD::S(B),XB(a)
- B(a);N_GUARD::R1(D),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- S(b);N_GUARD::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Refutation
- Q(c);CHECK
- Try
- K(M);S_FLIGHT
- Vars
- B(a);XP(H)::S(L),XB(a)
- Q(c);N_GUARD,P_PINP(J)::S(B)
- Q(c);N_GUARD::S(B)
- Q(c);N_GUARD::S(L),XQ(c)
- Q(c);N_GUARD::S(B),XQ(c)
- Q(c);N_GUARD::S(L)
- Q(c);N_GUARD,P_PINP(J)::S(L)
- B(a);S_CUTQ(c)::S(B)
- B(a);N_GUARD::S(B),XB(a)
- B(a);N_GUARD::R1(D),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- S(b);N_GUARD::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Refutation
- Q(c);CHECK
- Try
- B(A);
- Vars
- B(a);XP(H)::S(L),XB(a)
- S(b);N_GUARD,XB(A)::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Q(c);N_GUARD::S(B)
- Q(c);N_GUARD,P_PINP(I)::S(B)
- Q(c);N_GUARD,P_PINS(L)::S(B)
- Q(c);N_GUARD::S(L)
- Q(c);N_GUARD,P_PINP(I)::S(L)
- Q(c);N_GUARD,P_PINP(J)::S(B)
- B(a);S_CUTQ(c)::S(B)
- B(a);N_GUARD::S(B),XB(a)
- B(a);N_GUARD::R1(D),XB(a)
- S(b);N_GUARD::R1(G)
- Refutation
- B(a);
- Try
- B(A);
- Threat
- R1(G)
- Vars
- Q(c);N_GUARD::S(B)
- Q(c);N_GUARD,P_PINS(L)::S(B)
- Q(c);N_GUARD,P_PINP(J)::S(B)
- S(b);N_GUARD::R1(G)
- Refutation
- B(a);XB(A)
- Try
- B(F);
- Threat
- S(B)
- Vars
- Q(c);N_GUARD,XB(F)::S(L)
- Q(c);N_GUARD::S(L),XQ(c)
- B(a);N_GUARD::R1(D),XB(a)
- Refutation
- K(d);S_FLIGHT,XR(D)
- Try
- B(F);
- Vars
- B(a);XP(H)::S(L),XB(a)
- Q(c);N_GUARD::S(B)
- Q(c);N_GUARD::S(L),XQ(c)
- Q(c);N_GUARD,P_PINS(L)::S(B)
- Q(c);N_GUARD::S(B),XQ(c)
- Q(c);N_GUARD::S(L)
- B(a);S_CUTQ(c)::S(B)
- B(a);N_GUARD::S(B),XB(a)
- B(a);N_GUARD::R1(D),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- S(b);N_GUARD::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Refutation
- Q(c);
- Try
- R(D);
- Threat
- DUALS(2)
- Vars
- Q(c);N_GUARD,XR(D)::S(L)
- S(b);N_GUARD::R1(G),XS(b)
- Q(c);::B(F)
- Q(c);P_PINP(J)::B(F)
- B(a);::B(F)
- Refutation
- Q(c);
- Try
- R(D);CHECK
- Vars
- S(b);XR(D)::R1(G)
- Refutation
- K(d);P-FLIGHT
- Try
- R(D);
- Threat
- B(F)
- Vars
- S(b);N_GUARD::R1(G),XS(b)
- Q(c);N_GUARD::S(L)
- B(a);N_GUARD::R1(D),XB(a)
- S(b);N_GUARD::R1(G)
- Refutation
- Q(c);
- Try
- P(H);
- Vars
- Q(c);N_GUARD::S(B)
- Q(c);N_GUARD,P_PINP(I)::S(B)
- Q(c);N_GUARD::S(L),XQ(c)
- Q(c);N_GUARD,P_PINS(L)::S(B)
- Q(c);N_GUARD::S(B),XQ(c)
- Q(c);N_GUARD::S(L)
- Q(c);N_GUARD,P_PINP(I)::S(L)
- Q(c);N_GUARD,P_PINP(J)::S(B)
- B(a);S_CUTQ(c)::S(B)
- B(a);N_GUARD::S(B),XB(a)
- B(a);N_GUARD::R1(D),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- B(a);N_GUARD::S(L),XB(a)
- S(b);N_GUARD::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Refutation
- B(a);
- Try
- P(J);
- Vars
- B(a);XP(H)::S(L),XB(a)
- Q(c);N_GUARD::S(B)
- Q(c);N_GUARD,P_PINP(I)::S(B)
- Q(c);N_GUARD::S(L),XQ(c)
- Q(c);N_GUARD,P_PINS(L)::S(B)
- Q(c);N_GUARD::S(B),XQ(c)
- Q(c);N_GUARD::S(L)
- Q(c);N_GUARD,P_PINP(I)::S(L)
- B(a);S_CUTQ(c)::S(B)
- B(a);N_GUARD::S(B),XB(a)
- B(a);N_GUARD::R1(D),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- S(b);N_GUARD::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Refutation
- Q(c);CHECK
- Try
- P(K);
- Vars
- B(a);XP(H)::S(L),XB(a)
- Q(c);N_GUARD::S(B)
- Q(c);N_GUARD,P_PINP(I)::S(B)
- Q(c);N_GUARD::S(L),XQ(c)
- Q(c);N_GUARD,P_PINS(L)::S(B)
- Q(c);N_GUARD::S(B),XQ(c)
- Q(c);N_GUARD::S(L)
- Q(c);N_GUARD,P_PINP(I)::S(L)
- Q(c);N_GUARD,P_PINP(J)::S(B)
- B(a);S_CUTQ(c)::S(B)
- B(a);N_GUARD::S(B),XB(a)
- B(a);N_GUARD::R1(D),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- S(b);N_GUARD::R1(G)
- S(b);N_GUARD::R1(G),XS(b)
- Refutation
- Q(c);CHECK,XP(K)
- Try
- Actual
- R(G);
- Vars
- B(a);XP(H)::S(L),XB(a)
- S(b);N_GUARD::R1(D),XS(b)
- Q(c);N_GUARD::S(B)
- Q(c);N_GUARD,P_PINP(I)::S(B)
- Q(c);N_GUARD::S(L),XQ(c)
- Q(c);N_GUARD,P_PINS(L)::S(B)
- Q(c);N_GUARD::S(B),XQ(c)
- Q(c);N_GUARD::S(L)
- Q(c);N_GUARD,P_PINP(I)::S(L)
- Q(c);N_GUARD,P_PINP(J)::S(B)
- B(a);S_CUTQ(c)::S(B)
- B(a);N_GUARD::S(B),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- S(b);N_GUARD::R1(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).