MESON Chess Problem Database
Problem Display
PID: 19111 (5rN1/1Np1Rpp1/2n3p1/3p1kr1/2P5/6pP/4Q1P1/1RB1nK2 w - - 0 1)
Anderson, Gerald Frank
Natal Mercury, 1912
#2
10 + 11
| 2740 | Adventures of my Chessmen | 1924 |
SOLUTION
- SOUND
- Sets
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Rh5
- 2.Qg4#
- 1...Ra8
- 2.Rxf7#
- 1...Rb8
- 2.Rxf7#
- 1...Rc8
- 2.Rxf7#
- 1...Rd8
- 2.Rxf7#
- 1...Re8
- 2.Rxf7#
- 1...Rxg8
- 2.Rxf7#
- 1...Sc2
- 2.Qd3#
- 2.Qf3#
- 2.Qxc2#
- 1...Sxg2
- 2.Qd3#
- 2.Qc2#
- 1...Sd3
- 2.Qxd3#
- 1...Sf3
- 2.Qd3#
- 2.Qxf3#
- 2.Qc2#
- 1...Sb4
- 2.Re5#
- 2.Qe5#
- 1...Sd4
- 2.Re5#
- 2.Qe5#
- 1...Sa5
- 2.Re5#
- 2.Qe5#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sa7
- 2.Re5#
- 2.Qe5#
- 1...Sb8
- 2.Re5#
- 2.Qe5#
- 1...Sd8
- 2.Re5#
- 2.Qe5#
- 1...dxc4
- 2.Qe4#
- 1...d4
- 2.Qe4#
- 1...f6
- 2.Qe6#
- 1...Rg4
- Tries
- 1.Kxe1?
- threat
- 2.Qf1#
- 2.Qd3#
- 2.Qf3#
- 2.Qc2#
- 1...Rxg8
- 2.Rxf7#
- 2.Qf1#
- 2.Qf3#
- 1...dxc4
- 2.Qf1#
- 2.Qf3#
- 2.Qc2#
- 2.Qe4#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Sb4
- 2.Re5#
- 2.Qf1#
- 2.Qf3#
- 2.Qe5#
- 1...Sd4
- 2.Re5#
- 2.Qd3#
- 2.Qe5#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...d4
- 2.Qf1#
- 2.Qd3#
- 2.Qf3#
- 2.Qe4#
- 1...Sxe7!
- threat
- 1.Kg1?
- 1...Sf3+
- 2.Qxf3#
- 1...Rxg8
- 2.Rxf7#
- 1...Sxg2
- 2.Qd3#
- 2.Qc2#
- 1...dxc4
- 2.Qe4#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Rh5
- 2.Qg4#
- 1...Ra8
- 2.Rxf7#
- 1...Rb8
- 2.Rxf7#
- 1...Rc8
- 2.Rxf7#
- 1...Rd8
- 2.Rxf7#
- 1...Re8
- 2.Rxf7#
- 1...Sc2
- 2.Qf1#
- 2.Qd3#
- 2.Qf3#
- 2.Qxc2#
- 1...Sd3
- 2.Qxd3#
- 1...Sb4
- 2.Re5#
- 2.Qe5#
- 1...Sd4
- 2.Re5#
- 2.Qe5#
- 1...Sa5
- 2.Re5#
- 2.Qe5#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sa7
- 2.Re5#
- 2.Qe5#
- 1...Sb8
- 2.Re5#
- 2.Qe5#
- 1...Sd8
- 2.Re5#
- 2.Qe5#
- 1...d4
- 2.Qe4#
- 1...f6
- 2.Qe6#
- 1...Sxe7!
- 1...Sf3+
- 1.Sa5?
- 1...Rxg8
- 2.Rxf7#
- 1...Sxg2
- 2.Qd3#
- 2.Qc2#
- 1...Sxa5
- 2.Re5#
- 2.Qe5#
- 1...dxc4
- 2.Qe4#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Rh5
- 2.Qg4#
- 1...Ra8
- 2.Rxf7#
- 1...Rb8
- 2.Rxf7#
- 1...Rc8
- 2.Rxf7#
- 1...Rd8
- 2.Rxf7#
- 1...Re8
- 2.Rxf7#
- 1...Sc2
- 2.Qd3#
- 2.Qf3#
- 2.Qxc2#
- 1...Sd3
- 2.Qxd3#
- 1...Sf3
- 2.Qd3#
- 2.Qxf3#
- 2.Qc2#
- 1...Sb4
- 2.Re5#
- 2.Qe5#
- 1...Sd4
- 2.Re5#
- 2.Qe5#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sa7
- 2.Re5#
- 2.Qe5#
- 1...Sb8
- 2.Re5#
- 2.Qe5#
- 1...Sd8
- 2.Re5#
- 2.Qe5#
- 1...d4
- 2.Qe4#
- 1...f6
- 2.Qe6#
- 1...Sxe7!
- 1...Rxg8
- 1.Sc5?
- 1...Rxg8
- 2.Rxf7#
- 1...Sxg2
- 2.Qd3#
- 2.Qc2#
- 1...dxc4
- 2.Qe4#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Rh5
- 2.Qg4#
- 1...Ra8
- 2.Rxf7#
- 1...Rb8
- 2.Rxf7#
- 1...Rc8
- 2.Rxf7#
- 1...Rd8
- 2.Rxf7#
- 1...Re8
- 2.Rxf7#
- 1...Sc2
- 2.Qd3#
- 2.Qf3#
- 2.Qxc2#
- 1...Sd3
- 2.Qxd3#
- 1...Sf3
- 2.Qd3#
- 2.Qxf3#
- 2.Qc2#
- 1...Sb4
- 2.Re5#
- 2.Qe5#
- 1...Sd4
- 2.Re5#
- 2.Qe5#
- 1...Sa5
- 2.Re5#
- 2.Qe5#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sa7
- 2.Re5#
- 2.Qe5#
- 1...Sb8
- 2.Re5#
- 2.Qe5#
- 1...Sd8
- 2.Re5#
- 2.Qe5#
- 1...d4
- 2.Qe4#
- 1...f6
- 2.Qe6#
- 1...Sxe7!
- 1...Rxg8
- 1.Sd8?
- 1...Rxd8
- 2.Rxf7#
- 1...Rxg8
- 2.Rxf7#
- 1...Sxg2
- 2.Qd3#
- 2.Qc2#
- 1...Sxd8
- 2.Re5#
- 2.Qe5#
- 1...dxc4
- 2.Qe4#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Rh5
- 2.Qg4#
- 1...Re8
- 2.Rxf7#
- 1...Sc2
- 2.Qd3#
- 2.Qf3#
- 2.Qxc2#
- 1...Sd3
- 2.Qxd3#
- 1...Sf3
- 2.Qd3#
- 2.Qxf3#
- 2.Qc2#
- 1...Sb4
- 2.Re5#
- 2.Qe5#
- 1...Sd4
- 2.Re5#
- 2.Qe5#
- 1...Sa5
- 2.Re5#
- 2.Qe5#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sa7
- 2.Re5#
- 2.Qe5#
- 1...Sb8
- 2.Re5#
- 2.Qe5#
- 1...d4
- 2.Qe4#
- 1...f6
- 2.Qe6#
- 1...Sxe7!
- 1...Rxd8
- 1.Bd2?
- 1...Rxg8
- 2.Rxf7#
- 1...Sxg2
- 2.Qd3#
- 1...dxc4
- 2.Qe4#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Rh5
- 2.Qg4#
- 1...Ra8
- 2.Rxf7#
- 1...Rb8
- 2.Rxf7#
- 1...Rc8
- 2.Rxf7#
- 1...Rd8
- 2.Rxf7#
- 1...Re8
- 2.Rxf7#
- 1...Sc2
- 2.Qd3#
- 2.Qf3#
- 1...Sd3
- 2.Qxd3#
- 1...Sf3
- 2.Qd3#
- 2.Qxf3#
- 1...Sb4
- 2.Re5#
- 2.Qe5#
- 1...Sd4
- 2.Re5#
- 2.Qe5#
- 1...Sa5
- 2.Re5#
- 2.Qe5#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sa7
- 2.Re5#
- 2.Qe5#
- 1...Sb8
- 2.Re5#
- 2.Qe5#
- 1...Sd8
- 2.Re5#
- 2.Qe5#
- 1...d4
- 2.Qe4#
- 1...f6
- 2.Qe6#
- 1...Sxe7!
- 1...Rxg8
- 1.Ra1?
- 1...Rxg8
- 2.Rxf7#
- 1...Sxg2
- 2.Qd3#
- 2.Qc2#
- 1...dxc4
- 2.Qe4#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Rh5
- 2.Qg4#
- 1...Ra8
- 2.Rxf7#
- 1...Rb8
- 2.Rxf7#
- 1...Rc8
- 2.Rxf7#
- 1...Rd8
- 2.Rxf7#
- 1...Re8
- 2.Rxf7#
- 1...Sc2
- 2.Qd3#
- 2.Qf3#
- 2.Qxc2#
- 1...Sd3
- 2.Qxd3#
- 1...Sf3
- 2.Qd3#
- 2.Qxf3#
- 2.Qc2#
- 1...Sb4
- 2.Re5#
- 2.Qe5#
- 1...Sd4
- 2.Re5#
- 2.Qe5#
- 1...Sa5
- 2.Re5#
- 2.Qe5#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sa7
- 2.Re5#
- 2.Qe5#
- 1...Sb8
- 2.Re5#
- 2.Qe5#
- 1...Sd8
- 2.Re5#
- 2.Qe5#
- 1...d4
- 2.Qe4#
- 1...f6
- 2.Qe6#
- 1...Sxe7!
- 1...Rxg8
- 1.Rb2?
- 1...Rxg8
- 2.Rxf7#
- 1...Sxg2
- 2.Qd3#
- 2.Qc2#
- 1...dxc4
- 2.Qe4#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Rh5
- 2.Qg4#
- 1...Ra8
- 2.Rxf7#
- 1...Rb8
- 2.Rxf7#
- 1...Rc8
- 2.Rxf7#
- 1...Rd8
- 2.Rxf7#
- 1...Re8
- 2.Rxf7#
- 1...Sc2
- 2.Qd3#
- 2.Qf3#
- 2.Qxc2#
- 1...Sd3
- 2.Qxd3#
- 1...Sf3
- 2.Qd3#
- 2.Qxf3#
- 2.Qc2#
- 1...Sb4
- 2.Re5#
- 2.Qe5#
- 1...Sd4
- 2.Re5#
- 2.Qe5#
- 1...Sa5
- 2.Re5#
- 2.Qe5#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sa7
- 2.Re5#
- 2.Qe5#
- 1...Sb8
- 2.Re5#
- 2.Qe5#
- 1...Sd8
- 2.Re5#
- 2.Qe5#
- 1...d4
- 2.Qe4#
- 1...f6
- 2.Qe6#
- 1...Sxe7!
- 1...Rxg8
- 1.Rb3?
- 1...Rxg8
- 2.Rxf7#
- 1...Sxg2
- 2.Qd3#
- 2.Qc2#
- 1...dxc4
- 2.Qe4#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Rh5
- 2.Qg4#
- 1...Ra8
- 2.Rxf7#
- 1...Rb8
- 2.Rxf7#
- 1...Rc8
- 2.Rxf7#
- 1...Rd8
- 2.Rxf7#
- 1...Re8
- 2.Rxf7#
- 1...Sc2
- 2.Rf3#
- 2.Qd3#
- 2.Qf3#
- 2.Qxc2#
- 1...Sd3
- 2.Qxd3#
- 1...Sf3
- 2.Rxf3#
- 2.Qd3#
- 2.Qxf3#
- 2.Qc2#
- 1...Sb4
- 2.Re5#
- 2.Qe5#
- 1...Sd4
- 2.Re5#
- 2.Qe5#
- 1...Sa5
- 2.Re5#
- 2.Qe5#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sa7
- 2.Re5#
- 2.Qe5#
- 1...Sb8
- 2.Re5#
- 2.Qe5#
- 1...Sd8
- 2.Re5#
- 2.Qe5#
- 1...d4
- 2.Qe4#
- 1...f6
- 2.Qe6#
- 1...Sxe7!
- 1...Rxg8
- 1.Rb4?
- 1...Rxg8
- 2.Rxf7#
- 1...Sxg2
- 2.Qd3#
- 2.Qc2#
- 1...Sxb4
- 2.Re5#
- 2.Qe5#
- 1...dxc4
- 2.Qe4#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Rh5
- 2.Qg4#
- 1...Ra8
- 2.Rxf7#
- 1...Rb8
- 2.Rxf7#
- 1...Rc8
- 2.Rxf7#
- 1...Rd8
- 2.Rxf7#
- 1...Re8
- 2.Rxf7#
- 1...Sc2
- 2.Qd3#
- 2.Qf3#
- 2.Qxc2#
- 1...Sd3
- 2.Qxd3#
- 1...Sf3
- 2.Qd3#
- 2.Qxf3#
- 2.Qc2#
- 1...Sd4
- 2.Re5#
- 2.Qe5#
- 1...Sa5
- 2.Re5#
- 2.Qe5#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sa7
- 2.Re5#
- 2.Qe5#
- 1...Sb8
- 2.Re5#
- 2.Qe5#
- 1...Sd8
- 2.Re5#
- 2.Qe5#
- 1...d4
- 2.Qe4#
- 1...f6
- 2.Qe6#
- 1...Sxe7!
- 1...Rxg8
- 1.Rb5?
- threat
- 2.Qe4#
- 1...Rxg8
- 2.Rxf7#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sxe7!
- threat
- 1.Rxc7?
- threat
- 2.Sd6#
- 1...Rxg8
- 2.Rxf7#
- 1...Rd8
- 2.Rxf7#
- 1...Se5!
- threat
- 1.Qc2+?
- 1...Sd3
- 2.Qxd3#
- 1...Sxc2!
- 1...Sd3
- 1.Qf2+?
- 1...Sf3
- 2.Qc2#
- 2.Qxf3#
- 1...gxf2!
- 1...Sf3
- 1.cxd5?
- threat
- 2.Qe4#
- 1...Rxg8
- 2.Rxf7#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sxe7!
- threat
- 1.c5?
- 1...Rxg8
- 2.Rxf7#
- 1...Sxg2
- 2.Qd3#
- 2.Qc2#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Rh5
- 2.Qg4#
- 1...Ra8
- 2.Rxf7#
- 1...Rb8
- 2.Rxf7#
- 1...Rc8
- 2.Rxf7#
- 1...Rd8
- 2.Rxf7#
- 1...Re8
- 2.Rxf7#
- 1...Sc2
- 2.Qd3#
- 2.Qf3#
- 2.Qxc2#
- 1...Sd3
- 2.Qxd3#
- 1...Sf3
- 2.Qd3#
- 2.Qxf3#
- 2.Qc2#
- 1...Sb4
- 2.Re5#
- 2.Qe5#
- 1...Sd4
- 2.Re5#
- 2.Qe5#
- 1...Sa5
- 2.Re5#
- 2.Qe5#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sa7
- 2.Re5#
- 2.Qe5#
- 1...Sb8
- 2.Re5#
- 2.Qe5#
- 1...Sd8
- 2.Re5#
- 2.Qe5#
- 1...d4
- 2.Qe4#
- 1...f6
- 2.Qe6#
- 1...Sxe7!
- 1...Rxg8
- 1.Kxe1?
- Keys
- 1.Rb6!
- 1...Rxg8
- 2.Rxf7#
- 1...Sxg2
- 2.Qd3#
- 2.Qc2#
- 1...Sxe7
- 2.Sxe7#
- 1...dxc4
- 2.Qe4#
- 1...cxb6
- 2.Sd6#
- 1...Rg4
- 2.Qxg4#
- 2.hxg4#
- 1...Rh5
- 2.Qg4#
- 1...Ra8
- 2.Rxf7#
- 1...Rb8
- 2.Rxf7#
- 1...Rc8
- 2.Rxf7#
- 1...Rd8
- 2.Rxf7#
- 1...Re8
- 2.Rxf7#
- 1...Sc2
- 2.Qd3#
- 2.Qf3#
- 2.Qxc2#
- 1...Sd3
- 2.Qxd3#
- 1...Sf3
- 2.Qd3#
- 2.Qxf3#
- 2.Qc2#
- 1...Sb4
- 2.Re5#
- 2.Qe5#
- 1...Sd4
- 2.Re5#
- 2.Qe5#
- 1...Sa5
- 2.Re5#
- 2.Qe5#
- 1...Se5
- 2.Rxe5#
- 2.Qxe5#
- 1...Sa7
- 2.Re5#
- 2.Qe5#
- 1...Sb8
- 2.Re5#
- 2.Qe5#
- 1...Sd8
- 2.Re5#
- 2.Qe5#
- 1...d4
- 2.Qe4#
- 1...f6
- 2.Qe6#
- 1...Rxg8
- 1.Rb6!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 2
- REMOVED MATES = 0
- Sets
- R(e);N_GUARD::QAB1(D)
- R(k);N_GUARD::R(I),XP(i)
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- S(a);N_GUARD::QAB(D),XS(a)
- P(c);N_GUARD,XP(G)::QAB1(D)
- P(c);N_GUARD::QAB1(D)
- P(i);N_GUARD::QAB1(D)
- Tries
- Try
- K(C);P-FLIGHT,XS(a)
- Threat
- DUALS(4)
- Refutation
- S(f);XR(I)
- Try
- K(C);P-FLIGHT
- Vars
- S(a);CHECK,N_GUARD::QAR2(D),XS(a)
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- P(c);N_GUARD,XP(G)::QAB1(D)
- R(e);N_GUARD::QAB1(D)
- R(k);N_GUARD::R(I),XP(i)
- S(a);N_GUARD::QAB(D),XS(a)
- P(c);N_GUARD::QAB1(D)
- P(i);N_GUARD::QAB1(D)
- Refutation
- S(f);XR(I)
- Try
- S(H);
- Vars
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- P(c);N_GUARD,XP(G)::QAB1(D)
- R(e);N_GUARD::QAB1(D)
- R(k);N_GUARD::R(I),XP(i)
- S(a);N_GUARD::QAB(D),XS(a)
- P(c);N_GUARD::QAB1(D)
- P(i);N_GUARD::QAB1(D)
- Refutation
- S(f);XR(I)
- Try
- S(H);
- Vars
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- P(c);N_GUARD,XP(G)::QAB1(D)
- R(e);N_GUARD::QAB1(D)
- R(k);N_GUARD::R(I),XP(i)
- S(a);N_GUARD::QAB(D),XS(a)
- P(c);N_GUARD::QAB1(D)
- P(i);N_GUARD::QAB1(D)
- Refutation
- S(f);XR(I)
- Try
- S(H);
- Vars
- R(k);N_GUARD,XS(H)::R(I),XP(i)
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- P(c);N_GUARD,XP(G)::QAB1(D)
- R(e);N_GUARD::QAB1(D)
- R(k);N_GUARD::R(I),XP(i)
- S(a);N_GUARD::QAB(D),XS(a)
- P(c);N_GUARD::QAB1(D)
- P(i);N_GUARD::QAB1(D)
- Refutation
- S(f);XR(I)
- Try
- B(B);
- Vars
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- S(a);N_GUARD,XP(E)::QAB(D)
- P(c);N_GUARD,XP(G)::QAB1(D)
- R(e);N_GUARD::QAB1(D)
- R(k);N_GUARD::R(I),XP(i)
- S(a);N_GUARD::QAB(D),XS(a)
- P(c);N_GUARD::QAB1(D)
- P(i);N_GUARD::QAB1(D)
- Refutation
- S(f);XR(I)
- Try
- R(A);
- Vars
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- P(c);N_GUARD,XP(G)::QAB1(D)
- R(e);N_GUARD::QAB1(D)
- R(k);N_GUARD::R(I),XP(i)
- S(a);N_GUARD::QAB(D),XS(a)
- P(c);N_GUARD::QAB1(D)
- P(i);N_GUARD::QAB1(D)
- Refutation
- S(f);XR(I)
- Try
- R(A);
- Vars
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- P(c);N_GUARD,XP(G)::QAB1(D)
- R(e);N_GUARD::QAB1(D)
- R(k);N_GUARD::R(I),XP(i)
- S(a);N_GUARD::QAB(D),XS(a)
- P(c);N_GUARD::QAB1(D)
- P(i);N_GUARD::QAB1(D)
- Refutation
- S(f);XR(I)
- Try
- R(A);
- Vars
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- P(c);N_GUARD,XP(G)::QAB1(D)
- R(e);N_GUARD::QAB1(D)
- R(k);N_GUARD::R(I),XP(i)
- S(a);N_GUARD::QAB(D),XS(a)
- P(c);N_GUARD::QAB1(D)
- P(i);N_GUARD::QAB1(D)
- Refutation
- S(f);XR(I)
- Try
- R(A);
- Vars
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- P(c);N_GUARD,XP(G)::QAB1(D)
- R(e);N_GUARD::QAB1(D)
- R(k);N_GUARD::R(I),XP(i)
- S(a);N_GUARD::QAB(D),XS(a)
- P(c);N_GUARD::QAB1(D)
- P(i);N_GUARD::QAB1(D)
- Refutation
- S(f);XR(I)
- Try
- R(A);P_PINP(c)
- Threat
- QAB1(D)
- Vars
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- Refutation
- S(f);XR(I)
- Try
- R(I);XP(h)
- Threat
- S(H)
- Vars
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- R(k);N_GUARD::R(I),XP(i)
- Refutation
- S(f);
- Try
- Q(D);CHECK
- Vars
- S(a);N_GUARD,P_SPINS(a)::QAB(D),XS(a)
- Refutation
- S(a);XQ(D)
- Try
- Q(D);CHECK
- Refutation
- P(b);XQ(D)
- Try
- P(G);XP(c)
- Threat
- QAB1(D)
- Vars
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- Refutation
- S(f);XR(I)
- Try
- P(G);
- Vars
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- R(e);N_GUARD::QAB1(D)
- R(k);N_GUARD::R(I),XP(i)
- S(a);N_GUARD::QAB(D),XS(a)
- P(c);N_GUARD::QAB1(D)
- P(i);N_GUARD::QAB1(D)
- Refutation
- S(f);XR(I)
- Try
- Actual
- R(A);
- Vars
- R(k);N_GUARD,XS(J)::R(I),XP(i)
- S(f);XR(I)::S(J),XS(f)
- P(c);N_GUARD,XP(G)::QAB1(D)
- P(h);N_GUARD,XR(A)::S(H)
- R(e);N_GUARD::QAB1(D)
- R(k);N_GUARD::R(I),XP(i)
- S(a);N_GUARD::QAB(D),XS(a)
- P(c);N_GUARD::QAB1(D)
- P(i);N_GUARD::QAB1(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).