MESON Chess Problem Database
Problem Display
PID: 184291 (N7/pB6/P2pp1R1/1n3k1P/1K2RB1q/2Q5/2N5/3n4 w - - 0 1)
Lewis, Robert Tony
The Problemist, 1980
#2
10 + 7
SOLUTION
- SOUND
- Sets
- 1...Qe1
- 2.Rg5#
- 1...Qf2
- 2.Rg5#
- 2.Qf6#
- 2.Qh3#
- 1...Qg3
- 2.Qf6#
- 1...Qg5
- 2.Rxg5#
- 1...Qf6
- 2.Qxf6#
- 2.Qh3#
- 1...Qe7
- 2.Qh3#
- 1...Qd8
- 2.Qh3#
- 1...Qh1
- 2.Rg5#
- 2.Qf6#
- 1...Qh2
- 2.Rg5#
- 2.Qf6#
- 1...Qh3
- 2.Rg5#
- 2.Qf6#
- 2.Qxh3#
- 1...Qxf4
- 2.Qf6#
- 1...Qg4
- 2.Rf6#
- 2.Qf6#
- 1...Qxh5
- 2.Qf6#
- 1...Sb2
- 2.Se3#
- 1...Sf2
- 2.Se3#
- 1...Sdxc3
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sa3
- 2.Sd4#
- 1...Sbxc3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...Sc7
- 2.Sd4#
- 1...d5
- 2.Qe5#
- 1...e5
- 2.Qc8#
- 1...Qe1
- Tries
- 1.Kb3?
- 1...Sd4+
- 2.Sxd4#
- 1...Qxf4
- 2.Qf6#
- 1...Qxh5
- 2.Qf6#
- 1...Sdxc3
- 2.Se3#
- 1...Sbxc3
- 2.Sd4#
- 1...Qg5
- 2.Rxg5#
- 1...d5
- 2.Qe5#
- 1...Qe1
- 2.Rg5#
- 2.Qf6#
- 2.Qh3#
- 1...Qf2
- 2.Rg5#
- 2.Qf6#
- 2.Qh3#
- 1...Qf6
- 2.Qxf6#
- 2.Qh3#
- 1...Qe7
- 2.Qh3#
- 1...Qd8
- 2.Qh3#
- 1...Qh1
- 2.Rg5#
- 2.Qf6#
- 1...Qh2
- 2.Rg5#
- 2.Qf6#
- 1...Qh3
- 2.Rg5#
- 2.Qxh3#
- 1...Qg4
- 2.Rf6#
- 2.Qf6#
- 1...Sb2
- 2.Se3#
- 1...Sf2
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sa3
- 2.Sd4#
- 1...Sc7
- 2.Sd4#
- 1...e5
- 2.Qc8#
- 1...Qg3!
- 1...Sd4+
- 1.Ka5?
- 1...Qxf4
- 2.Qf6#
- 1...Qxh5
- 2.Qf6#
- 1...Sdxc3
- 2.Se3#
- 1...Sbxc3
- 2.Sd4#
- 1...Qg5
- 2.Rxg5#
- 1...d5
- 2.Qe5#
- 1...Qe1
- 2.Rg5#
- 1...Qf2
- 2.Rg5#
- 2.Qf6#
- 2.Qh3#
- 1...Qg3
- 2.Qf6#
- 1...Qf6
- 2.Qxf6#
- 2.Qh3#
- 1...Qe7
- 2.Qh3#
- 1...Qh1
- 2.Rg5#
- 2.Qf6#
- 1...Qh2
- 2.Rg5#
- 2.Qf6#
- 1...Qh3
- 2.Rg5#
- 2.Qf6#
- 2.Qxh3#
- 1...Qg4
- 2.Rf6#
- 2.Qf6#
- 1...Sb2
- 2.Se3#
- 1...Sf2
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sa3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...Sc7
- 2.Sd4#
- 1...e5
- 2.Qc8#
- 1...Qd8+!
- 1...Qxf4
- 1.Kxb5?
- threat
- 2.Sd4#
- 1...Qxh5
- 2.Qf6#
- 1...Qg5
- 2.Rxg5#
- 1...d5
- 2.Qe5#
- 1...Qf2
- 2.Rg5#
- 2.Qf6#
- 2.Qh3#
- 1...Qf6
- 2.Qxf6#
- 2.Qh3#
- 1...e5
- 2.Qc8#
- 1...Sxc3+!
- threat
- 1.Sb6?
- 1...Qxf4
- 2.Qf6#
- 1...Qxh5
- 2.Qf6#
- 1...Sdxc3
- 2.Se3#
- 1...Sbxc3
- 2.Sd4#
- 1...Qg5
- 2.Rxg5#
- 1...d5
- 2.Qe5#
- 1...Qe1
- 2.Rg5#
- 1...Qf2
- 2.Rg5#
- 2.Qf6#
- 2.Qh3#
- 1...Qg3
- 2.Qf6#
- 1...Qf6
- 2.Qxf6#
- 2.Qh3#
- 1...Qe7
- 2.Qh3#
- 1...Qd8
- 2.Qh3#
- 1...Qh1
- 2.Rg5#
- 2.Qf6#
- 1...Qh2
- 2.Rg5#
- 2.Qf6#
- 1...Qh3
- 2.Rg5#
- 2.Qf6#
- 2.Qxh3#
- 1...Qg4
- 2.Rf6#
- 2.Qf6#
- 1...Sb2
- 2.Se3#
- 1...Sf2
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sa3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...Sc7
- 2.Sd4#
- 1...e5
- 2.Qc8#
- 1...axb6!
- 1...Qxf4
- 1.Sc7?
- 1...Qxf4
- 2.Qf6#
- 1...Qxh5
- 2.Qf6#
- 1...Sdxc3
- 2.Se3#
- 1...Sbxc3
- 2.Sd4#
- 1...Sxc7
- 2.Sd4#
- 1...Qg5
- 2.Rxg5#
- 1...d5
- 2.Qe5#
- 1...Qe1
- 2.Rg5#
- 1...Qf2
- 2.Rg5#
- 2.Qf6#
- 2.Qh3#
- 1...Qg3
- 2.Qf6#
- 1...Qf6
- 2.Qxf6#
- 2.Qh3#
- 1...Qe7
- 2.Qh3#
- 1...Qd8
- 2.Qh3#
- 1...Qh1
- 2.Rg5#
- 2.Qf6#
- 1...Qh2
- 2.Rg5#
- 2.Qf6#
- 1...Qh3
- 2.Rg5#
- 2.Qf6#
- 2.Qxh3#
- 1...Qg4
- 2.Rf6#
- 2.Qf6#
- 1...Sb2
- 2.Se3#
- 1...Sf2
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sa3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...e5!
- 1...Qxf4
- 1.Bc1?
- 1...Qxh5
- 2.Rf6#
- 2.Qf6#
- 1...Sdxc3
- 2.Se3#
- 1...Sbxc3
- 2.Sd4#
- 1...d5
- 2.Qe5#
- 1...Qe1
- 2.Rf4#
- 2.Rg5#
- 2.Rf6#
- 1...Qf2
- 2.Rg5#
- 2.Rf6#
- 2.Qf6#
- 2.Qh3#
- 1...Qg3
- 2.Rf6#
- 2.Qf6#
- 1...Qg5
- 2.Rxg5#
- 1...Qf6
- 2.Rf4#
- 2.Rxf6#
- 2.Qxf6#
- 2.Qf3#
- 2.Qh3#
- 1...Qe7
- 2.Rf4#
- 2.Qf3#
- 2.Qh3#
- 1...Qd8
- 2.Rf4#
- 2.Qf3#
- 2.Qh3#
- 1...Qh1
- 2.Rf4#
- 2.Rg5#
- 2.Rf6#
- 2.Qf6#
- 1...Qh2
- 2.Rg5#
- 2.Rf6#
- 2.Qf6#
- 1...Qh3
- 2.Rf4#
- 2.Rg5#
- 2.Rf6#
- 2.Qf6#
- 2.Qxh3#
- 1...Qf4
- 2.Rxf4#
- 2.Qf6#
- 1...Qg4
- 2.Rf6#
- 2.Qf6#
- 1...Sb2
- 2.Se3#
- 1...Sf2
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sa3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...Sc7
- 2.Sd4#
- 1...e5
- 2.Qc8#
- 1...Qxe4+!
- 1...Qxh5
- 1.Bd2?
- 1...Qxh5
- 2.Rf6#
- 2.Qf6#
- 1...Sdxc3
- 2.Se3#
- 1...Sbxc3
- 2.Sd4#
- 1...d5
- 2.Qe5#
- 1...Qe1
- 2.Rf4#
- 2.Rg5#
- 2.Rf6#
- 2.Qf6#
- 2.Qf3#
- 2.Qh3#
- 1...Qf2
- 2.Rg5#
- 2.Rf6#
- 2.Qf6#
- 2.Qh3#
- 1...Qg3
- 2.Rf6#
- 2.Qf6#
- 1...Qg5
- 2.Rxg5#
- 1...Qf6
- 2.Rf4#
- 2.Rxf6#
- 2.Qxf6#
- 2.Qf3#
- 2.Qh3#
- 1...Qe7
- 2.Rf4#
- 2.Qf3#
- 2.Qh3#
- 1...Qd8
- 2.Rf4#
- 2.Qf3#
- 2.Qh3#
- 1...Qh1
- 2.Rf4#
- 2.Rg5#
- 2.Rf6#
- 2.Qf6#
- 1...Qh2
- 2.Rg5#
- 2.Rf6#
- 2.Qf6#
- 1...Qh3
- 2.Rf4#
- 2.Rg5#
- 2.Rf6#
- 2.Qf6#
- 2.Qxh3#
- 1...Qf4
- 2.Rxf4#
- 2.Qf6#
- 1...Qg4
- 2.Rf6#
- 2.Qf6#
- 1...Sb2
- 2.Se3#
- 1...Sf2
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sa3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...Sc7
- 2.Sd4#
- 1...e5
- 2.Qc8#
- 1...Qxe4+!
- 1...Qxh5
- 1.Bxd6?
- threat
- 2.Qe5#
- 1...Qxh5
- 2.Qf6#
- 1...Sdxc3
- 2.Se3#
- 1...Sbxc3
- 2.Sd4#
- 1...Qe1
- 2.Rf4#
- 1...Qg3
- 2.Qf6#
- 1...Qf6
- 2.Rf4#
- 2.Qxf6#
- 2.Qf3#
- 2.Qh3#
- 1...Qh2
- 2.Qf6#
- 1...Qf4
- 2.Rxf4#
- 2.Qf6#
- 1...Sd4
- 2.Sxd4#
- 1...e5
- 2.Qxe5#
- 2.Qc8#
- 1...Qxe4+!
- threat
- 1.Bh6?
- 1...Qxh5
- 2.Rf6#
- 2.Qf6#
- 1...Sdxc3
- 2.Se3#
- 1...Sbxc3
- 2.Sd4#
- 1...d5
- 2.Qe5#
- 1...Qg5
- 2.Rxg5#
- 1...Qe1
- 2.Rf4#
- 2.Rg5#
- 2.Rf6#
- 1...Qf2
- 2.Rg5#
- 2.Rf6#
- 2.Qf6#
- 2.Qh3#
- 1...Qg3
- 2.Rf6#
- 2.Qf6#
- 1...Qf6
- 2.Rf4#
- 2.Rxf6#
- 2.Qxf6#
- 2.Qf3#
- 2.Qh3#
- 1...Qe7
- 2.Rf4#
- 2.Qf3#
- 2.Qh3#
- 1...Qd8
- 2.Rf4#
- 2.Qf3#
- 2.Qh3#
- 1...Qh1
- 2.Rf4#
- 2.Rg5#
- 2.Rf6#
- 2.Qf6#
- 1...Qh2
- 2.Rg5#
- 2.Rf6#
- 2.Qf6#
- 1...Qh3
- 2.Rf4#
- 2.Rg5#
- 2.Rf6#
- 2.Qf6#
- 2.Qxh3#
- 1...Qf4
- 2.Rxf4#
- 2.Qf6#
- 1...Qg4
- 2.Rf6#
- 2.Qf6#
- 1...Sb2
- 2.Se3#
- 1...Sf2
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sa3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...Sc7
- 2.Sd4#
- 1...e5
- 2.Qc8#
- 1...Qxe4+!
- 1...Qxh5
- 1.Bd5?
- 1...Qxf4
- 2.Qf6#
- 1...Qxh5
- 2.Qf6#
- 1...Sdxc3
- 2.Se3#
- 1...Sbxc3
- 2.Sd4#
- 1...Qg5
- 2.Rxg5#
- 1...Qe1
- 2.Rg5#
- 1...Qf2
- 2.Rg5#
- 2.Qf6#
- 2.Qh3#
- 1...Qg3
- 2.Qf6#
- 1...Qf6
- 2.Qxf6#
- 2.Qh3#
- 1...Qe7
- 2.Qh3#
- 1...Qd8
- 2.Qh3#
- 1...Qh1
- 2.Rg5#
- 2.Qf6#
- 1...Qh2
- 2.Rg5#
- 2.Qf6#
- 1...Qh3
- 2.Rg5#
- 2.Qf6#
- 2.Qxh3#
- 1...Qg4
- 2.Rf6#
- 2.Qf6#
- 1...Sb2
- 2.Se3#
- 1...Sf2
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sa3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...Sc7
- 2.Sd4#
- 1...e5
- 2.Qc8#
- 1...exd5!
- 1...Qxf4
- 1.Bc6?
- 1...Qxf4
- 2.Qf6#
- 1...Qxh5
- 2.Qf6#
- 1...Sdxc3
- 2.Se3#
- 1...Sbxc3
- 2.Sd4#
- 1...Qg5
- 2.Rxg5#
- 1...d5
- 2.Qe5#
- 1...Qe1
- 2.Rg5#
- 1...Qf2
- 2.Rg5#
- 2.Qf6#
- 2.Qh3#
- 1...Qg3
- 2.Qf6#
- 1...Qf6
- 2.Qxf6#
- 2.Qh3#
- 1...Qe7
- 2.Qh3#
- 1...Qd8
- 2.Qh3#
- 1...Qh1
- 2.Rg5#
- 2.Qf6#
- 1...Qh2
- 2.Rg5#
- 2.Qf6#
- 1...Qh3
- 2.Rg5#
- 2.Qf6#
- 2.Qxh3#
- 1...Qg4
- 2.Rf6#
- 2.Qf6#
- 1...Sb2
- 2.Se3#
- 1...Sf2
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sa3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...Sc7
- 2.Sd4#
- 1...e5!
- 1...Qxf4
- 1.Re5+?
- 1...dxe5
- 2.Qxe5#
- 1...Kxf4!
- 1...dxe5
- 1.Rf6+?
- 1...Qxf6
- 2.Qh3#
- 1...Kg4!
- 1...Qxf6
- 1.Qh3+?
- 1...Qg4
- 2.Qxg4#
- 1...Qxh3!
- 1...Qg4
- 1.Kb3?
- Keys
- 1.Qf3!
- 1...Qe1+
- 2.Bd2#
- 1...Qxf4
- 2.Qxf4#
- 1...Qxh5
- 2.Qxh5#
- 1...e5
- 2.Bc8#
- 1...Qf2
- 2.Qg4#
- 2.Qh3#
- 1...Qg3
- 2.Bxg3#
- 1...Qg5
- 2.Bxg5#
- 1...Qf6
- 2.Bc1#
- 2.Bd2#
- 2.Bh2#
- 2.Be3#
- 2.Bg3#
- 2.Be5#
- 2.Bg5#
- 2.Bxd6#
- 2.Bh6#
- 2.Qg4#
- 2.Qh3#
- 1...Qe7
- 2.Bc1#
- 2.Bd2#
- 2.Bh2#
- 2.Be3#
- 2.Bg3#
- 2.Be5#
- 2.Bg5#
- 2.Bxd6#
- 2.Bh6#
- 2.Qg4#
- 2.Qh3#
- 1...Qd8
- 2.Bc1#
- 2.Bd2#
- 2.Bh2#
- 2.Be3#
- 2.Bg3#
- 2.Be5#
- 2.Bg5#
- 2.Bxd6#
- 2.Bh6#
- 2.Qg4#
- 2.Qh3#
- 1...Qh1
- 2.Qg4#
- 1...Qh2
- 2.Bxh2#
- 2.Bg3#
- 2.Qg4#
- 1...Qh3
- 2.Bg3#
- 2.Qxh3#
- 1...Qg4
- 2.Qxg4#
- 1...Sb2
- 2.Se3#
- 1...Sf2
- 2.Se3#
- 1...Sdc3
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sa3
- 2.Sd4#
- 1...Sbc3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...Sc7
- 2.Sd4#
- 1...d5
- 2.Re5#
- 1...Qe1+
- 1.Qf3!
This is after
After C. Promislo.
FEATURES
- Static
- TYPE = MUTATE
- CHANGED MATES = 7
- ADDED MATES = 2
- REMOVED MATES = 2
- Sets
- Q(b);N_GUARD,P_PINQ(B)::R1(H)
- Q(b);N_GUARD::QAR1(B)
- Q(b);N_GUARD::R1(H),XQ(b)
- Q(b);N_GUARD::QAB(B)
- Q(b);N_GUARD,P_PINR(D),XB(E)::QAR1(B)
- Q(b);N_GUARD,XP(F)::QAR1(B)
- S(a);N_GUARD::S(A)
- S(a);N_GUARD,XQ(B)::S(A)
- S(a);N_GUARD::S(A),XS(a)
- S(c);N_GUARD::S(A)
- S(c);N_GUARD,XQ(B)::S(A)
- S(c);N_GUARD::S(A),XS(c)
- P(e);N_GUARD::QAR1(B)
- P(f);OGATEB::QAB(B)
- Tries
- Try
- K(C);P-FLIGHT
- Vars
- S(c);CHECK,N_GUARD::S(A),XS(c)
- Q(b);N_GUARD,XB(E)::QAR1(B)
- Q(b);N_GUARD,XP(F)::QAR1(B)
- S(a);N_GUARD,XQ(B)::S(A)
- S(c);N_GUARD,XQ(B)::S(A)
- Q(b);N_GUARD::R1(H),XQ(b)
- P(e);N_GUARD::QAR1(B)
- Q(b);N_GUARD::QAB(B)
- S(a);N_GUARD::S(A)
- S(a);N_GUARD::S(A),XS(a)
- S(c);N_GUARD::S(A)
- P(f);OGATEB::QAB(B)
- Refutation
- Q(b);P_PINQ(B)
- Try
- K(C);S_FLIGHT
- Vars
- Q(b);N_GUARD,XB(E)::QAR1(B)
- Q(b);N_GUARD,XP(F)::QAR1(B)
- S(a);N_GUARD,XQ(B)::S(A)
- S(c);N_GUARD,XQ(B)::S(A)
- Q(b);N_GUARD::R1(H),XQ(b)
- P(e);N_GUARD::QAR1(B)
- Q(b);N_GUARD,P_PINQ(B)::R1(H)
- Q(b);N_GUARD::QAR1(B)
- Q(b);N_GUARD::QAB(B)
- S(a);N_GUARD::S(A)
- S(a);N_GUARD::S(A),XS(a)
- S(c);N_GUARD::S(A)
- S(c);N_GUARD::S(A),XS(c)
- P(f);OGATEB::QAB(B)
- Refutation
- Q(b);CHECK
- Try
- K(C);P-FLIGHT,XS(c)
- Threat
- S(A)
- Vars
- Q(b);N_GUARD,XP(F)::QAR1(B)
- Q(b);N_GUARD::R1(H),XQ(b)
- P(e);N_GUARD::QAR1(B)
- P(f);OGATEB::QAB(B)
- Refutation
- S(a);CHECK,XQ(B)
- Try
- S(J);
- Vars
- Q(b);N_GUARD,P_PINR(D),XB(E)::QAR1(B)
- Q(b);N_GUARD,XP(F)::QAR1(B)
- S(a);N_GUARD,XQ(B)::S(A)
- S(c);N_GUARD,XQ(B)::S(A)
- Q(b);N_GUARD::R1(H),XQ(b)
- P(e);N_GUARD::QAR1(B)
- Q(b);N_GUARD,P_PINQ(B)::R1(H)
- Q(b);N_GUARD::QAR1(B)
- Q(b);N_GUARD::QAB(B)
- S(a);N_GUARD::S(A)
- S(a);N_GUARD::S(A),XS(a)
- S(c);N_GUARD::S(A)
- S(c);N_GUARD::S(A),XS(c)
- P(f);OGATEB::QAB(B)
- Refutation
- P(g);XS(J)
- Try
- S(J);
- Vars
- Q(b);N_GUARD,P_PINR(D),XB(E)::QAR1(B)
- Q(b);N_GUARD,XP(F)::QAR1(B)
- S(a);N_GUARD,XQ(B)::S(A)
- S(c);N_GUARD,XQ(B)::S(A)
- S(c);N_GUARD,XS(J)::S(A)
- Q(b);N_GUARD::R1(H),XQ(b)
- P(e);N_GUARD::QAR1(B)
- Q(b);N_GUARD,P_PINQ(B)::R1(H)
- Q(b);N_GUARD::QAR1(B)
- Q(b);N_GUARD::QAB(B)
- S(a);N_GUARD::S(A)
- S(a);N_GUARD::S(A),XS(a)
- S(c);N_GUARD::S(A)
- S(c);N_GUARD::S(A),XS(c)
- Refutation
- P(f);
- Try
- B(E);P_SPINR(D)
- Vars
- S(a);N_GUARD,XQ(B)::S(A)
- S(c);N_GUARD,XQ(B)::S(A)
- P(e);N_GUARD::QAR1(B)
- Q(b);N_GUARD,N_PINR(D)::R1(H),XQ(b)
- S(a);N_GUARD::S(A)
- S(a);N_GUARD::S(A),XS(a)
- S(c);N_GUARD::S(A)
- S(c);N_GUARD,N_PINR(D)::S(A),XS(c)
- P(f);OGATEB::QAB(B)
- Refutation
- Q(b);CHECK,XR(D)
- Try
- B(E);P_SPINR(D)
- Vars
- S(a);N_GUARD,XQ(B)::S(A)
- S(c);N_GUARD,XQ(B)::S(A)
- P(e);N_GUARD::QAR1(B)
- Q(b);N_GUARD,N_PINR(D)::R1(H),XQ(b)
- S(a);N_GUARD::S(A)
- S(a);N_GUARD::S(A),XS(a)
- S(c);N_GUARD::S(A)
- S(c);N_GUARD,N_PINR(D)::S(A),XS(c)
- P(f);OGATEB::QAB(B)
- Refutation
- Q(b);CHECK,XR(D)
- Try
- B(E);P_SPINR(D),XP(e)
- Threat
- QAR1(B)
- Vars
- Q(b);N_GUARD,N_PINR(D),XP(F)::QAR1(B)
- S(a);N_GUARD,XQ(B)::S(A)
- S(c);N_GUARD,XQ(B)::S(A)
- Q(b);N_GUARD,N_PINR(D),P_PINQ(B)::R1(D)
- Q(b);N_GUARD,N_PINR(D)::QAR1(B)
- S(c);N_GUARD,N_PINR(D)::S(A),XS(c)
- Refutation
- Q(b);CHECK,XR(D)
- Try
- B(E);P_SPINR(D)
- Vars
- S(a);N_GUARD,XQ(B)::S(A)
- S(c);N_GUARD,XQ(B)::S(A)
- P(e);N_GUARD::QAR1(B)
- Q(b);N_GUARD,N_PINR(D)::R1(H),XQ(b)
- S(a);N_GUARD::S(A)
- S(a);N_GUARD::S(A),XS(a)
- S(c);N_GUARD::S(A)
- S(c);N_GUARD,N_PINR(D)::S(A),XS(c)
- P(f);OGATEB::QAB(B)
- Refutation
- Q(b);CHECK,XR(D)
- Try
- B(I);
- Vars
- Q(b);N_GUARD,P_PINR(D),XB(E)::QAR1(B)
- Q(b);N_GUARD,XP(F)::QAR1(B)
- S(a);N_GUARD,XQ(B)::S(A)
- S(c);N_GUARD,XQ(B)::S(A)
- Q(b);N_GUARD::R1(H),XQ(b)
- Q(b);N_GUARD,P_PINQ(B)::R1(H)
- Q(b);N_GUARD::QAR1(B)
- Q(b);N_GUARD::QAB(B)
- S(a);N_GUARD::S(A)
- S(a);N_GUARD::S(A),XS(a)
- S(c);N_GUARD::S(A)
- S(c);N_GUARD::S(A),XS(c)
- P(f);OGATEB::QAB(B)
- Refutation
- P(f);XB(I)
- Try
- B(I);
- Vars
- Q(b);N_GUARD,P_PINR(D),XB(E)::QAR1(B)
- Q(b);N_GUARD,XP(F)::QAR1(B)
- S(a);N_GUARD,XQ(B)::S(A)
- S(c);N_GUARD,XQ(B)::S(A)
- Q(b);N_GUARD::R1(H),XQ(b)
- P(e);N_GUARD::QAR1(B)
- Q(b);N_GUARD,P_PINQ(B)::R1(H)
- Q(b);N_GUARD::QAR1(B)
- Q(b);N_GUARD::QAB(B)
- S(a);N_GUARD::S(A)
- S(a);N_GUARD::S(A),XS(a)
- S(c);N_GUARD::S(A)
- S(c);N_GUARD::S(A),XS(c)
- Refutation
- P(f);
- Try
- R(D);CHECK,P_SPINB(E)
- Vars
- P(e);XR(D)::QAR1(B),XP(e)
- Refutation
- K(d);P-FLIGHT,XB(E)
- Try
- R(H);CHECK
- Vars
- Q(b);SBLOCK,XR(H)::QAB(B)
- Refutation
- K(d);S_FLIGHT
- Try
- Q(B);CHECK
- Vars
- Q(b);N_GUARD,P_SPINQ(b)::QAB1(B),XQ(b)
- Refutation
- Q(b);XQ(B)
- Try
- Actual
- Q(B);
- Vars
- Q(b);CHECK,N_GUARD::QAR(B)+B(E)
- Q(b);OGATE,P_PINR(D),P_SPINQ(b),XB(E)::QAR1(B),XQ(b)
- Q(b);OGATE,XP(F)::QAR2(B),XQ(b)
- P(f);OGATEB::B(I)
- Q(b);N_GUARD::QAR(B)+B(E),XQ(b)
- Q(b);N_GUARD::QAB1(B)
- Q(b);N_GUARD::QAB1(B),XQ(b)
- S(a);N_GUARD::S(A)
- S(a);N_GUARD::S(A),XS(a)
- S(c);N_GUARD::S(A)
- S(c);N_GUARD::S(A),XS(c)
- P(e);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).