MESON Chess Problem Database
Problem Display
PID: 50034 (7Q/6P1/1KB3p1/5p1r/R3bNN1/4p1B1/8/R5qk w - - 0 1)
Loyd, Sam
Detroit Free Press, 1890
#2
9 + 7
| 5206 | Sam Loyd and His Chess Problems | 1913 |
| 15 | British Chess Magazine | 1997 |
SOLUTION
- SOUND
- Sets
- 1...Qxa1
- 2.Rxa1#
- 1...Qb1+
- 2.Rxb1#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...e2+
- 2.Sf2#
- 1...fxg4
- 2.Bxe4#
- 1...g5
- 2.Qxh5#
- 1...Qxa1
- Tries
- 1.Ka6?
- 1...Qf1+
- 2.Rxf1#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...fxg4
- 2.Bxe4#
- 1...Qb1
- 2.Rxb1#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...e2
- 2.Sf2#
- 1...g5
- 2.Qxh5#
- 1...Bxc6!
- 1...Qf1+
- 1.Ka7?
- 1...e2+
- 2.Sf2#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...fxg4
- 2.Bxe4#
- 1...Qb1
- 2.Rxb1#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...g5
- 2.Qxh5#
- 1...Bxc6!
- 1...e2+
- 1.Kb7?
- 1...Qb1+
- 2.Rxb1#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...fxg4
- 2.Bxe4#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...e2
- 2.Sf2#
- 1...g5
- 2.Qxh5#
- 1...Bxc6+!
- 1...Qb1+
- 1.Kc7?
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...fxg4
- 2.Bxe4#
- 1...Qb1
- 2.Rxb1#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...e2
- 2.Sf2#
- 1...g5
- 2.Qxh5#
- 1...Bxc6!
- 1...Qxa1
- 1.Sxe3?
- 1...Qb1+
- 2.Rxb1#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...g5
- 2.Qxh5#
- 1...Bxc6!
- 1...Qb1+
- 1.Bh2?
- threat
- 2.Rxg1#
- 1...Qb1+
- 2.Rxb1#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh2
- 2.Qxh2#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...fxg4!
- threat
- 1.Bd5?
- 1...Qb1+
- 2.Rxb1#
- 1...e2+
- 2.Sf2#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...fxg4
- 2.Bxe4#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...g5
- 2.Qxh5#
- 1...Bxd5!
- 1...Qb1+
- 1.Bb7?
- 1...Qb1+
- 2.Rxb1#
- 1...e2+
- 2.Sf2#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...fxg4
- 2.Bxe4#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...Bc6
- 2.Bxc6#
- 1...g5
- 2.Qxh5#
- 1...Bxb7!
- 1...Qb1+
- 1.R4a2?
- 1...Qb1+
- 2.Rxb1#
- 1...e2+
- 2.Sf2#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...fxg4
- 2.Bxe4#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Rxh2#
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...g5
- 2.Qxh5#
- 1...Bxc6!
- 1...Qb1+
- 1.R4a3?
- 1...Qb1+
- 2.Rxb1#
- 1...e2+
- 2.Sf2#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...fxg4
- 2.Bxe4#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...g5
- 2.Qxh5#
- 1...Bxc6!
- 1...Qb1+
- 1.Rxe4?
- threat
- 2.Rxe3#
- 2.Rea4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Re5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Qb1+
- 2.Rxb1#
- 1...e2+
- 2.Sf2#
- 2.Re3#
- 2.Rd4#
- 1...fxe4
- 2.Bxe4#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Qxa1!
- threat
- 1.Ra5?
- 1...Qb1+
- 2.Rxb1#
- 1...e2+
- 2.Sf2#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...fxg4
- 2.Bxe4#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...g5
- 2.Qxh5#
- 1...Bxc6!
- 1...Qb1+
- 1.Ra6?
- 1...Qb1+
- 2.Rxb1#
- 1...e2+
- 2.Sf2#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...fxg4
- 2.Bxe4#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...g5
- 2.Qxh5#
- 1...Bxc6!
- 1...Qb1+
- 1.Ra7?
- 1...Qb1+
- 2.Rxb1#
- 1...e2+
- 2.Sf2#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...fxg4
- 2.Bxe4#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...g5
- 2.Qxh5#
- 1...Bxc6!
- 1...Qb1+
- 1.Ra8?
- 1...Qb1+
- 2.Rxb1#
- 1...e2+
- 2.Sf2#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.Rxh8#
- 2.gxh8Q#
- 2.gxh8R#
- 1...fxg4
- 2.Bxe4#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...g5
- 2.Qxh5#
- 1...Bxc6!
- 1...Qb1+
- 1.g8Q?
- 1...Qb1+
- 2.Rxb1#
- 1...e2+
- 2.Sf2#
- 1...Qxa1
- 2.Rxa1#
- 2.Qxa1#
- 1...Rxh8
- 2.Qxh8#
- 1...fxg4
- 2.Bxe4#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qgxh7#
- 2.Qhxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 2.Qxd5#
- 1...g5
- 2.Qxh5#
- 1...Bxc6!
- 1...Qb1+
- 1.g8R?
- 1...Qb1+
- 2.Rxb1#
- 1...e2+
- 2.Sf2#
- 1...Qxa1
- 2.Rxa1#
- 2.Qxa1#
- 1...Rxh8
- 2.Rxh8#
- 1...fxg4
- 2.Bxe4#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...g5
- 2.Qxh5#
- 1...Bxc6!
- 1...Qb1+
- 1.Ka6?
- Keys
- 1.Ba8!
- 1...Qb1+
- 2.Rxb1#
- 1...e2+
- 2.Sf2#
- 1...Qxa1
- 2.Rxa1#
- 1...Rxh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...Bxa8
- 2.Qxa8#
- 1...fxg4
- 2.Bxe4#
- 1...Qc1
- 2.Rxc1#
- 1...Qd1
- 2.Rxd1#
- 1...Qe1
- 2.Rxe1#
- 1...Qf1
- 2.Rxf1#
- 1...Rh2
- 2.Qxh2#
- 1...Rh3
- 2.Qxh3#
- 1...Rh4
- 2.Qxh4#
- 1...Rh6
- 2.Qxh6#
- 1...Rh7
- 2.Qxh7#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Bd5
- 2.Bxd5#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...g5
- 2.Qxh5#
- 1...Qb1+
- 1.Ba8!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 3
- REMOVED MATES = 0
- Sets
- Q(a);N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(c);CHECK,N_GUARD::S(E)
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
- Tries
- Try
- K(F);P-FLIGHT
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- Q(a);N_SPINQ(a),OGATE,P_PINR(C),XR(A)::R(C),XQ(a)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(c);N_GUARD::S(E)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- K(F);S_FLIGHT
- Vars
- P(c);CHECK,N_GUARD::S(E)
- Q(a);N_SPINQ(a),OGATE,P_PINR(C),XR(A)::R(C),XQ(a)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- R(f);OGATEB,P_PINP(H)::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- K(F);P-FLIGHT,P_SPINB(G)
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- Q(a);N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- R(f);OGATEB,P_PINP(H)::QAR(I),XR(f)
- B(d);::B(G),XB(d)
- P(c);N_GUARD::S(E)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);CHECK,N_SPINB(d),XB(G)
- Try
- K(F);S_FLIGHT
- Vars
- Q(a);N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- Q(a);OGATEB,P_PINB(G)::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- R(f);OGATEB,P_PINP(H)::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(c);N_GUARD::S(E)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- S(E);P_SPINS(E),XP(c)
- Vars
- Q(a);CHECK,N_PINS(E),OGATEB::R(A),XQ(a)
- Q(a);N_PINS(E),N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- Q(a);N_PINS(E),OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- B(B);N_PINR(f)
- Threat
- R1(A),XQ(a)
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- Q(a);N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- R(f);OGATE,P_SPINR(f),XB(B)::QAR1(I),XR(f)
- Q(a);OGATEB::R(A),XQ(a)
- Refutation
- P(e);XS(E)
- Try
- B(G);
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- P(c);CHECK,N_GUARD::S(E)
- Q(a);N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- B(G);
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- P(c);CHECK,N_GUARD::S(E)
- Q(a);N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- R(C);
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- P(c);CHECK,N_GUARD::S(E)
- Q(a);N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- R(C);
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- P(c);CHECK,N_GUARD::S(E)
- Q(a);N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- R(C);XB(d)
- Threat
- DUALS(9)
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- P(e);OGATE,P_SPINP(e),XR(C)::B(G),XP(e)
- Q(a);OGATEB::R(A),XQ(a)
- Refutation
- Q(a);N_SPINQ(a),XR(A)
- Try
- R(C);
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- P(c);CHECK,N_GUARD::S(E)
- Q(a);N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- R(C);
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- P(c);CHECK,N_GUARD::S(E)
- Q(a);N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- R(C);
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- P(c);CHECK,N_GUARD::S(E)
- Q(a);N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- R(C);
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- P(c);CHECK,N_GUARD::S(E)
- Q(a);N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- P(H);
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- P(c);CHECK,N_GUARD::S(E)
- R(f);N_SPINR(f),OGATE,XQ(I)::QAB(H),XR(f)
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- P(H);
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- P(c);CHECK,N_GUARD::S(E)
- R(f);N_SPINR(f),OGATE,XQ(I)::R(H),XR(f)
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
- Refutation
- B(d);N_SPINB(d),XB(G)
- Try
- Actual
- B(G);
- Vars
- Q(a);CHECK,OGATEB::R(A),XQ(a)
- P(c);CHECK,N_GUARD::S(E)
- Q(a);N_SPINQ(a),OGATE,XR(A)::R(C),XQ(a)
- R(f);N_SPINR(f),OGATE,XQ(I)::PXR(f)=Q
- B(d);N_SPINB(d),OGATE,XB(G)::QAB(I),XB(d)
- P(e);N_GUARD,XS(E)::B(G),XB(d)
- Q(a);OGATEB::R(A),XQ(a)
- R(f);OGATE::QAR1(I),XR(f)
- R(f);OGATE::QAR2(I),XR(f)
- R(f);OGATE::QAR(I),XR(f)
- R(f);OGATEB::QAR(I),XR(f)
- B(d);OGATE::B(G),XB(d)
- B(d);OGATEB::B(G),XB(d)
- P(g);N_GUARD::QAR(I),XR(f)
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).