MESON Chess Problem Database
Problem Display
PID: 106909 (6n1/2p2p2/1pPp1BN1/1r1k2p1/7p/1PRPR1nB/2N1PK2/1Q6 w - - 0 1)
McArthur, William Johnstone
Sydney Morning Herald, 1898
#2
12 + 10
| 6490 | yacpdb | 2009 |
SOLUTION
- SOUND
- Sets
- 1...Rxb3
- 2.Qxb3#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Rc5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 1...Sh1+
- 2.Qxh1#
- 1...Sxe2
- 2.Bg2#
- 2.Qh1#
- 1...Se4+
- 2.dxe4#
- 1...Sf5
- 2.Bg2#
- 2.Qh1#
- 1...Sh5
- 2.Bg2#
- 2.Qh1#
- 1...Sxf6
- 2.Se7#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...fxg6
- 2.Be6#
- 1...Rxb3
- Tries
- 1.Kg1?
- 1...Rxb3
- 2.Qxb3#
- 1...Sxf6
- 2.Se7#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 1...Sh1
- 2.Bg2#
- 1...Se4
- 2.dxe4#
- 1...Sf5
- 2.Bg2#
- 1...Sh5
- 2.Bg2#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...Sxe2+!
- 1...Rxb3
- 1.Bg4?
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Rxb3
- 2.Qxb3#
- 1...Sxe2
- 2.Bf3#
- 2.Qh1#
- 1...Sxf6
- 2.Se7#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Sh6
- 2.Se7#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf1
- 2.Bf3#
- 1...Sf5
- 2.Bf3#
- 2.Qh1#
- 1...Sh5
- 2.Bf3#
- 2.Qh1#
- 1...Se7
- 2.Sxe7#
- 1...h3!
- 1...Sh1+
- 1.Bg7?
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Rxb3
- 2.Qxb3#
- 1...Sxe2
- 2.Bg2#
- 2.Qh1#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf5
- 2.Bg2#
- 2.Qh1#
- 1...Sh5
- 2.Bg2#
- 2.Qh1#
- 1...Sf6
- 2.Se7#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...f6
- 2.Be6#
- 1...f5!
- 1...Sh1+
- 1.Bh8?
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Rxb3
- 2.Qxb3#
- 1...Sxe2
- 2.Bg2#
- 2.Qh1#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 1...Sf5
- 2.Bg2#
- 2.Qh1#
- 1...Sh5
- 2.Bg2#
- 2.Qh1#
- 1...Sf6
- 2.Se7#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...f6
- 2.Be6#
- 1...f5!
- 1...Sh1+
- 1.Rc4?
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Sxe2
- 2.Bg2#
- 2.Qh1#
- 1...Sxf6
- 2.Se7#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 1...Sf5
- 2.Bg2#
- 2.Qh1#
- 1...Sh5
- 2.Bg2#
- 2.Qh1#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...Rxb3!
- 1...Sh1+
- 1.Rxg3?
- threat
- 2.Se3#
- 2.Rxg5#
- 2.Qh1#
- 2.e4#
- 1...Sxf6
- 2.Rxg5#
- 1...Rc5
- 2.Sb4#
- 2.Qh1#
- 1...g4
- 2.Sf4#
- 1...Rb4
- 2.Se3#
- 2.Sxb4#
- 2.Rxg5#
- 1...Sh6
- 2.Se3#
- 2.Se7#
- 2.Qh1#
- 2.e4#
- 1...Se7
- 2.Se3#
- 2.Sxe7#
- 2.Qh1#
- 2.e4#
- 1...hxg3+!
- threat
- 1.Re6?
- threat
- 2.Se3#
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Sxf6
- 2.Se7#
- 1...Rc5
- 2.Sb4#
- 1...g4
- 2.Sf4#
- 1...Sf1
- 2.e4#
- 1...Sf5!
- threat
- 1.Re7?
- threat
- 2.Se3#
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Rc5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 2.e4#
- 1...Sf5
- 2.Bg2#
- 2.Qh1#
- 2.e4#
- 1...Sxf6!
- threat
- 1.Re8?
- threat
- 2.Se3#
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Rc5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 2.e4#
- 1...Sf5
- 2.Bg2#
- 2.Qh1#
- 2.e4#
- 1...Sxf6!
- threat
- 1.Qa2?
- threat
- 2.b4#
- 1...Se4+
- 2.dxe4#
- 1...Rxb3
- 2.Sb4#
- 2.Qxb3#
- 1...Rc5
- 2.Sb4#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sh1+!
- threat
- 1.Qa1?
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Sxe2
- 2.Bg2#
- 2.Qh1#
- 1...Sxf6
- 2.Se7#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 1...Sf5
- 2.Bg2#
- 2.Qh1#
- 1...Sh5
- 2.Bg2#
- 2.Qh1#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...Rxb3!
- 1...Sh1+
- 1.Qc1?
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Sxe2
- 2.Bg2#
- 2.Qh1#
- 1...Sxf6
- 2.Se7#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 1...Sf5
- 2.Bg2#
- 2.Qh1#
- 1...Sh5
- 2.Bg2#
- 2.Qh1#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...Rxb3!
- 1...Sh1+
- 1.Qd1?
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Sxe2
- 2.Bg2#
- 2.Qh1#
- 1...Sxf6
- 2.Se7#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 1...Sf5
- 2.Bg2#
- 2.Qh1#
- 1...Sh5
- 2.Bg2#
- 2.Qh1#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...Rxb3!
- 1...Sh1+
- 1.Qe1?
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Sxe2
- 2.Bg2#
- 2.Qh1#
- 1...Sxf6
- 2.Se7#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 1...Sf5
- 2.Bg2#
- 2.Qh1#
- 1...Sh5
- 2.Bg2#
- 2.Qh1#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...Rxb3!
- 1...Sh1+
- 1.Qf1?
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Sxf1
- 2.Bg2#
- 1...Sxe2
- 2.Bg2#
- 2.Qg2#
- 2.Qh1#
- 1...Sxf6
- 2.Se7#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf5
- 2.Bg2#
- 2.Qg2#
- 2.Qh1#
- 1...Sh5
- 2.Bg2#
- 2.Qg2#
- 2.Qh1#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...Rxb3!
- 1...Sh1+
- 1.Qg1?
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Sxe2
- 2.Bg2#
- 2.Qh1#
- 2.Qg2#
- 2.Qxg5#
- 1...Sxf6
- 2.Se7#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 2.Qh1#
- 2.Qg2#
- 2.Qxg5#
- 1...Sf5
- 2.Bg2#
- 2.Qh1#
- 2.Qg2#
- 1...Sh5
- 2.Bg2#
- 2.Qh1#
- 2.Qg2#
- 2.Qxg5#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...Rxb3!
- 1...Sh1+
- 1.Qh1+?
- 1...Se4+
- 2.Qxe4#
- 2.dxe4#
- 1...Sxh1+!
- 1...Se4+
- 1.Qb2?
- 1...Se4+
- 2.dxe4#
- 1...Rxb3
- 2.Qxb3#
- 1...Sxe2
- 2.Bg2#
- 1...Sxf6
- 2.Se7#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 1...Sf5
- 2.Bg2#
- 1...Sh5
- 2.Bg2#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...Sh1+!
- 1...Se4+
- 1.b4?
- threat
- 2.Qa2#
- 2.Qb3#
- 1...Sh1+
- 2.Qxh1#
- 1...Se4+
- 2.dxe4#
- 1...Rxb4
- 2.Sxb4#
- 1...Ra5
- 2.Qb3#
- 1...Rc5!
- threat
- 1.d4?
- 1...Sh1+
- 2.Qxh1#
- 1...Rxb3
- 2.Qxb3#
- 1...Sxe2
- 2.Bg2#
- 2.Qh1#
- 1...Sxf6
- 2.Se7#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 1...Sf5
- 2.Bg2#
- 2.Qh1#
- 1...Sh5
- 2.Bg2#
- 2.Qh1#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...Se4+!
- 1...Sh1+
- 1.Kg1?
- Keys
- 1.Ke1!
- 1...Rxb3
- 2.Qxb3#
- 1...Sxe2
- 2.Bg2#
- 1...Sxf6
- 2.Se7#
- 1...fxg6
- 2.Be6#
- 1...Rc5
- 2.Sb4#
- 1...Rb4
- 2.Sxb4#
- 1...Ra5
- 2.Sb4#
- 1...Sf1
- 2.Bg2#
- 1...Sh1
- 2.Bg2#
- 1...Se4
- 2.dxe4#
- 1...Sf5
- 2.Bg2#
- 1...Sh5
- 2.Bg2#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...g4
- 2.Sf4#
- 1...Rxb3
- 1.Ke1!
FEATURES
- Static
- TYPE = MUTATE
- CHANGED MATES = 1
- ADDED MATES = 3
- REMOVED MATES = 0
- Sets
- R(c);OGATE,XP(E)::QAB(A),XR(c)
- R(c);N_GUARD::S(B),XR(c)
- R(c);N_GUARD::S(B)
- S(a);N_GUARD::B(I)
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- S(j);N_GUARD,XB(K)::S(L)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
- P(i);N_GUARD,XS(L)::B(I)
- Tries
- Try
- K(D);S_FLIGHT
- Vars
- R(c);OGATE,XP(E)::QAB(A),XR(c)
- S(j);N_GUARD,XB(K)::S(L)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- R(c);N_GUARD::S(B),XR(c)
- S(a);N_GUARD::B(I)
- S(a);OGATE::P(G),XS(a)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
- Refutation
- S(a);CHECK,XP(C)
- Try
- B(I);
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- R(c);OGATE,XP(E)::QAB(A),XR(c)
- S(j);N_GUARD,XB(K)::S(L)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- S(j);N_GUARD::S(L)
- R(c);N_GUARD::S(B),XR(c)
- S(a);N_GUARD::B(I)
- S(j);N_GUARD::S(L),XS(j)
- Refutation
- P(b);
- Try
- B(K);
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- R(c);OGATE,XP(E)::QAB(A),XR(c)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- S(a);N_GUARD::B(I)
- R(c);N_GUARD::S(B),XR(c)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
- P(i);N_GUARD::B(I)
- Refutation
- P(i);
- Try
- B(K);
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- R(c);OGATE,XP(E)::QAB(A),XR(c)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- R(c);N_GUARD::S(B),XR(c)
- S(a);N_GUARD::B(I)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
- P(i);N_GUARD::B(I)
- Refutation
- P(i);
- Try
- R(F);
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- S(j);N_GUARD,XB(K)::S(L)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- R(c);N_GUARD::S(B),XR(c)
- S(a);N_GUARD::B(I)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
- Refutation
- R(c);XP(E)
- Try
- R(H);XS(a)
- Threat
- DUALS(4)
- Vars
- S(j);XB(K)::R(H),XP(e)
- P(e);N_GUARD::S(L)
- Refutation
- P(b);CHECK,XR(H)
- Try
- R(H);
- Threat
- S(B)
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- S(j);N_GUARD,XB(K)::S(L)
- R(c);N_GUARD::S(B)
- P(e);N_GUARD::S(L)
- S(a);N_GUARD::P(C)
- Refutation
- S(a);
- Try
- R(H);
- Threat
- S(B)
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- R(c);N_GUARD::S(B)
- Refutation
- S(j);XB(K)
- Try
- R(H);
- Threat
- S(B)
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- R(c);N_GUARD::S(B)
- Refutation
- S(j);XB(K)
- Try
- Q(A);
- Threat
- QAB(A)+P(E)
- Vars
- S(a);CHECK,OGATE::P(G),XS(a)
- R(c);N_GUARD::S(B)
- R(c);N_GUARD::S(B),XR(c)
- Refutation
- S(a);CHECK
- Try
- Q(A);
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- S(j);N_GUARD,XB(K)::S(L)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- R(c);N_GUARD::S(B),XR(c)
- S(a);N_GUARD::B(I)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
- Refutation
- R(c);XP(E)
- Try
- Q(A);
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- S(j);N_GUARD,XB(K)::S(L)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- R(c);N_GUARD::S(B),XR(c)
- S(a);N_GUARD::B(I)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
- Refutation
- R(c);XP(E)
- Try
- Q(A);
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::QAR(A)+P(G)DCHECK,XS(a)
- S(j);N_GUARD,XB(K)::S(L)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- R(c);N_GUARD::S(B),XR(c)
- S(a);N_GUARD::B(I)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
- Refutation
- R(c);XP(E)
- Try
- Q(A);
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- S(j);N_GUARD,XB(K)::S(L)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- R(c);N_GUARD::S(B),XR(c)
- S(a);N_GUARD::B(I)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
- Refutation
- R(c);XP(E)
- Try
- Q(A);
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- S(a);N_GUARD,XQ(A)::B(I)
- S(j);N_GUARD,XB(K)::S(L)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- R(c);N_GUARD::S(B),XR(c)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
- Refutation
- R(c);XP(E)
- Try
- Q(A);
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- S(j);N_GUARD,XB(K)::S(L)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- R(c);N_GUARD::S(B),XR(c)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
- Refutation
- R(c);XP(E)
- Try
- Q(A);CHECK
- Refutation
- S(a);CHECK,XQ(A)
- Try
- Q(A);
- Vars
- S(a);CHECK,OGATE::P(G),XS(a)
- R(c);OGATE,XP(E)::QAB(A),XR(c)
- S(a);N_GUARD,XP(C)::B(I)
- S(j);N_GUARD,XB(K)::S(L)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- R(c);N_GUARD::S(B),XR(c)
- S(a);N_GUARD::B(I)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
- Refutation
- S(a);CHECK
- Try
- P(E);
- Threat
- DUALS(2)
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- S(a);CHECK,OGATE::P(G),XS(a)
- R(c);XP(E)::S(B),XR(c)
- R(c);::QAB(A)
- Refutation
- R(c);
- Try
- P(G);
- Vars
- S(a);CHECK,N_GUARD::QAB(A),XS(a)
- R(c);OGATE,XP(E)::QAB(A),XR(c)
- S(j);N_GUARD,XB(K)::S(L)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- R(c);N_GUARD::S(B),XR(c)
- S(a);N_GUARD::B(I)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
- Refutation
- S(a);CHECK
- Try
- Actual
- K(D);S_FLIGHT
- Vars
- R(c);OGATE,XP(E)::QAB(A),XR(c)
- S(a);N_GUARD,XP(C)::B(I)
- S(j);N_GUARD,XB(K)::S(L)
- P(i);N_GUARD,XS(L)::B(I)
- R(c);N_GUARD::S(B)
- R(c);N_GUARD::S(B),XR(c)
- S(a);N_GUARD::B(I)
- S(a);OGATE::P(G),XS(a)
- S(j);N_GUARD::S(L)
- S(j);N_GUARD::S(L),XS(j)
- P(e);N_GUARD::S(L)
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).