MESON Chess Problem Database
Problem Display
PID: 230858 (4r3/nQ6/1pp2Rpp/1R5P/P1K1k1P1/1B4Pn/p3P3/Bb1N4 w - - 0 1)
Fenner, A Jack
The Problemist, 1988
#2
12 + 10
SOLUTION
- SOUND
- Sets
- 1...Re5
- 2.Rxe5#
- 1...Re6
- 2.Rxe6#
- 1...Re7
- 2.Qxe7#
- 1...Ra8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rb8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rc8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rd8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rf8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rg8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rh8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Bc2
- 2.Bxc2#
- 1...Bd3+
- 2.exd3#
- 1...Sg1
- 2.Rf4#
- 1...Sf2
- 2.Rf4#
- 1...Sf4
- 2.Rxf4#
- 1...Sg5
- 2.Rf4#
- 1...Sxb5
- 2.Qxc6#
- 1...Sc8
- 2.Qxc6#
- 1...gxh5
- 2.Qh7#
- 1...g5
- 2.Qh7#
- 1...Re5
- Tries
- 1.Kc3?
- 1...gxh5
- 2.Qh7#
- 1...Re5
- 2.Rb4#
- 1...Re6
- 2.Rxe6#
- 1...Re7
- 2.Qxe7#
- 1...Ra8
- 2.Re6#
- 2.Qe7#
- 1...Rb8
- 2.Re6#
- 2.Qe7#
- 1...Rc8
- 2.Re6#
- 2.Qe7#
- 1...Rd8
- 2.Re6#
- 2.Qe7#
- 1...Rf8
- 2.Re6#
- 2.Qe7#
- 1...Rg8
- 2.Re6#
- 2.Qe7#
- 1...Rh8
- 2.Re6#
- 2.Qe7#
- 1...Bc2
- 2.Bxc2#
- 1...Bd3
- 2.exd3#
- 1...Sg1
- 2.Rf4#
- 1...Sf2
- 2.Rf4#
- 1...Sf4
- 2.Rxf4#
- 1...Sg5
- 2.Rf4#
- 1...Sc8
- 2.Qxc6#
- 1...g5
- 2.Qh7#
- 1...Sxb5+!
- 1...gxh5
- 1.Kb4?
- 1...Sxb5
- 2.Qxc6#
- 1...gxh5
- 2.Qh7#
- 1...Re5
- 2.Rxe5#
- 1...Re6
- 2.Rxe6#
- 1...Re7
- 2.Qxe7#
- 1...Ra8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rb8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rc8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rd8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rf8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rg8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rh8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Bc2
- 2.Bxc2#
- 1...Sg1
- 2.Rf4#
- 1...Sf2
- 2.Rf4#
- 1...Sf4
- 2.Rxf4#
- 1...Sg5
- 2.Rf4#
- 1...Sc8
- 2.Qxc6#
- 1...g5
- 2.Qh7#
- 1...Bd3!
- 1...Sxb5
- 1.Rxb6?
- 1...Bd3+
- 2.exd3#
- 1...gxh5
- 2.Qh7#
- 1...Re6
- 2.Rxe6#
- 1...Re7
- 2.Qxe7#
- 1...Ra8
- 2.Re6#
- 2.Qe7#
- 1...Rb8
- 2.Re6#
- 2.Qe7#
- 1...Rc8
- 2.Re6#
- 2.Qe7#
- 1...Rd8
- 2.Re6#
- 2.Qe7#
- 1...Rf8
- 2.Re6#
- 2.Qe7#
- 1...Rg8
- 2.Re6#
- 2.Qe7#
- 1...Rh8
- 2.Re6#
- 2.Qe7#
- 1...Bc2
- 2.Bxc2#
- 1...Sg1
- 2.Rf4#
- 1...Sf2
- 2.Rf4#
- 1...Sf4
- 2.Rxf4#
- 1...Sg5
- 2.Rf4#
- 1...Sb5
- 2.Qxc6#
- 1...Sc8
- 2.Qxc6#
- 1...g5
- 2.Qh7#
- 1...Re5!
- 1...Bd3+
- 1.Rf3?
- threat
- 2.Sc3#
- 2.Re3#
- 1...Sxb5
- 2.Re3#
- 2.Qxc6#
- 1...Bd3+!
- threat
- 1.Rxc6?
- threat
- 2.Re6#
- 1...Sxc6
- 2.Qxc6#
- 1...Re5
- 2.Rxe5#
- 1...Re6
- 2.Rxe6#
- 1...Rc8
- 2.Re5#
- 2.Qe7#
- 1...Bd3+!
- threat
- 1.Rd6?
- threat
- 2.Rd4#
- 1...Sxb5
- 2.Qxc6#
- 1...Rd8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Bd3+!
- threat
- 1.Rf8?
- threat
- 2.Rxe8#
- 1...Bd3+
- 2.exd3#
- 1...Rxf8
- 2.Re5#
- 2.Qe7#
- 1...Re5
- 2.Rxe5#
- 1...Re7
- 2.Qxe7#
- 1...Ra8
- 2.Re5#
- 2.Qe7#
- 1...Rb8
- 2.Re5#
- 2.Qe7#
- 1...Rc8
- 2.Re5#
- 2.Qe7#
- 1...Rd8
- 2.Re5#
- 2.Qe7#
- 1...Sf4
- 2.Rxf4#
- 1...Sg5
- 2.Rf4#
- 1...Sc8
- 2.Qxc6#
- 1...Re6!
- threat
- 1.Qa8?
- threat
- 2.Qxe8#
- 1...Bd3+
- 2.exd3#
- 1...Rxa8
- 2.Re5#
- 2.Re6#
- 1...Re6
- 2.Rxe6#
- 1...Re5
- 2.Rxe5#
- 1...Rb8
- 2.Re5#
- 2.Re6#
- 1...Rc8
- 2.Re5#
- 2.Re6#
- 1...Rd8
- 2.Re5#
- 2.Re6#
- 1...Rf8
- 2.Re5#
- 2.Re6#
- 1...Rg8
- 2.Re5#
- 2.Re6#
- 1...Rh8
- 2.Re5#
- 2.Re6#
- 1...Sf4
- 2.Rxf4#
- 1...Sg5
- 2.Rf4#
- 1...Sc8
- 2.Qxc6#
- 1...Re7!
- threat
- 1.Qxa7?
- 1...Bd3+
- 2.exd3#
- 1...gxh5
- 2.Qh7#
- 1...Re6
- 2.Rxe6#
- 1...Re5
- 2.Rxe5#
- 1...Re7
- 2.Qxe7#
- 1...Ra8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rb8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rc8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rd8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rf8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rg8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rh8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Bc2
- 2.Bxc2#
- 1...Sg1
- 2.Rf4#
- 1...Sf2
- 2.Rf4#
- 1...Sf4
- 2.Rxf4#
- 1...Sg5
- 2.Rf4#
- 1...c5
- 2.Qb7#
- 1...g5
- 2.Qh7#
- 1...cxb5+!
- 1...Bd3+
- 1.Qd7?
- threat
- 2.Qxe8#
- 2.Qd4#
- 1...Bd3+
- 2.Qxd3#
- 2.exd3#
- 1...Sxb5
- 2.Qxc6#
- 2.Qxe8#
- 1...Re6
- 2.Rxe6#
- 2.Qxe6#
- 2.Qd4#
- 1...Re5
- 2.Rxe5#
- 2.Qd4#
- 1...Re7
- 2.Qd4#
- 2.Qxe7#
- 1...Ra8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qd4#
- 2.Qe7#
- 1...Rb8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qd4#
- 2.Qe7#
- 1...Rc8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qd4#
- 2.Qe7#
- 1...Rd8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qe7#
- 1...Rf8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qd4#
- 2.Qe7#
- 1...Rg8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qd4#
- 2.Qe7#
- 1...Rh8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qd4#
- 2.Qe7#
- 1...Sf4
- 2.Rxf4#
- 2.Qd4#
- 1...Sg5
- 2.Rf4#
- 2.Qd4#
- 1...Sc8
- 2.Qxc6#
- 2.Qd4#
- 1...c5
- 2.Qxe8#
- 2.Qd5#
- 1...cxb5+!
- threat
- 1.Qf7?
- threat
- 2.Qxg6#
- 2.Qxe8#
- 1...Bd3+
- 2.exd3#
- 1...gxh5
- 2.Qg6#
- 2.Qxe8#
- 2.Qh7#
- 1...Re6
- 2.Rxe6#
- 2.Qxe6#
- 2.Qxg6#
- 1...Re5
- 2.Rxe5#
- 1...Re7
- 2.Qxg6#
- 2.Qxe7#
- 1...Ra8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qxg6#
- 2.Qe7#
- 1...Rb8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qxg6#
- 2.Qe7#
- 1...Rc8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qxg6#
- 2.Qe7#
- 1...Rd8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qxg6#
- 2.Qe7#
- 1...Rf8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qxg6#
- 2.Qe7#
- 1...Rg8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qe7#
- 1...Rh8
- 2.Re5#
- 2.Re6#
- 2.Qe6#
- 2.Qxg6#
- 2.Qe7#
- 1...Sf4
- 2.Rxf4#
- 1...Sg5
- 2.Rf4#
- 2.Qxg6#
- 1...Sc8
- 2.Qxg6#
- 1...g5
- 2.Qg6#
- 2.Qxe8#
- 2.Qh7#
- 1...cxb5+!
- threat
- 1.Qg7?
- threat
- 2.Qxg6#
- 1...Bd3+
- 2.exd3#
- 1...gxh5
- 2.Qg6#
- 2.Qh7#
- 1...Re5
- 2.Rxe5#
- 1...Rg8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Sf4
- 2.Rxf4#
- 1...g5
- 2.Qg6#
- 2.Qh7#
- 1...cxb5+!
- threat
- 1.Qh7?
- threat
- 2.Qxg6#
- 1...Bd3+
- 2.exd3#
- 1...Re5
- 2.Rxe5#
- 1...Rg8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Sf4
- 2.Rxf4#
- 1...cxb5+!
- threat
- 1.a5?
- 1...Bd3+
- 2.exd3#
- 1...Sxb5
- 2.Qxc6#
- 1...gxh5
- 2.Qh7#
- 1...Re6
- 2.Rxe6#
- 1...Re5
- 2.Rxe5#
- 1...Re7
- 2.Qxe7#
- 1...Ra8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rb8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rc8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rd8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rf8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rg8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rh8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Bc2
- 2.Bxc2#
- 1...Sg1
- 2.Rf4#
- 1...Sf2
- 2.Rf4#
- 1...Sf4
- 2.Rxf4#
- 1...Sg5
- 2.Rf4#
- 1...Sc8
- 2.Qxc6#
- 1...g5
- 2.Qh7#
- 1...bxa5!
- 1...Bd3+
- 1.g5?
- 1...Bd3+
- 2.exd3#
- 1...Sxg5
- 2.Rf4#
- 1...Sxb5
- 2.Qxc6#
- 1...gxh5
- 2.Qh7#
- 1...Re6
- 2.Rxe6#
- 1...Re5
- 2.Rxe5#
- 1...Re7
- 2.Qxe7#
- 1...Ra8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rb8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rc8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rd8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rf8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rg8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rh8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Bc2
- 2.Bxc2#
- 1...Sg1
- 2.Rf4#
- 1...Sf2
- 2.Rf4#
- 1...Sf4
- 2.Rxf4#
- 1...Sc8
- 2.Qxc6#
- 1...hxg5!
- 1...Bd3+
- 1.hxg6?
- 1...Bd3+
- 2.exd3#
- 1...Sxb5
- 2.Qxc6#
- 1...Re6
- 2.Rxe6#
- 1...Re5
- 2.Rxe5#
- 1...Re7
- 2.Qxe7#
- 1...Ra8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rb8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rc8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rd8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rf8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rg8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Rh8
- 2.Re5#
- 2.Re6#
- 2.Qe7#
- 1...Bc2
- 2.Bxc2#
- 1...Sg1
- 2.Rf4#
- 1...Sf2
- 2.Rf4#
- 1...Sf4
- 2.Rxf4#
- 1...Sg5
- 2.Rf4#
- 1...Sc8
- 2.Qxc6#
- 1...h5!
- 1...Bd3+
- 1.Kc3?
- Keys
- 1.Rb4!
- 1...Bd3+
- 2.exd3#
- 1...b5+
- 2.Kc5#
- 1...gxh5
- 2.Qh7#
- 1...Re5
- 2.Kc3#
- 1...Re6
- 2.Rxe6#
- 1...Re7
- 2.Qxe7#
- 1...Ra8
- 2.Re6#
- 2.Qe7#
- 1...Rb8
- 2.Re6#
- 2.Qe7#
- 1...Rc8
- 2.Re6#
- 2.Qe7#
- 1...Rd8
- 2.Re6#
- 2.Qe7#
- 1...Rf8
- 2.Re6#
- 2.Qe7#
- 1...Rg8
- 2.Re6#
- 2.Qe7#
- 1...Rh8
- 2.Re6#
- 2.Qe7#
- 1...Bc2
- 2.Bxc2#
- 1...Sg1
- 2.Rf4#
- 1...Sf2
- 2.Rf4#
- 1...Sf4
- 2.Rxf4#
- 1...Sg5
- 2.Rf4#
- 1...Sb5
- 2.Qxc6#
- 1...Sc8
- 2.Qxc6#
- 1...g5
- 2.Qh7#
- 1...Bd3+
- 1.Rb4!
FEATURES
- Static
- TYPE = MUTATE
- CHANGED MATES = 1
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- R(j);N_GUARD::R1(I),XR(j)
- R(j);N_GUARD::R(K),XR(j)
- R(j);N_GUARD::QAR(L),XR(j)
- B(a);N_GUARD::B(D),XB(a)
- B(a);CHECK,OGATE::P(C),XB(a)
- S(c);N_GUARD::R1(K)
- S(c);N_GUARD::R1(K),XS(c)
- S(i);N_GUARD,XR(I)::QAB(L),XP(f)
- S(i);N_GUARD::QAB(L),XP(f)
- P(g);OGATEB,XP(J)::QAB(L)
- P(g);OGATEB::QAB(L)
- Tries
- Try
- K(G);P-FLIGHT
- Vars
- P(g);OGATEB,XP(J)::QAB(L)
- R(j);SBLOCK::R(I)
- R(j);N_GUARD::R(K),XR(j)
- R(j);N_GUARD::QAR(L),XR(j)
- B(a);N_GUARD::B(D),XB(a)
- B(a);OGATE::P(C),XB(a)
- S(c);N_GUARD::R1(K)
- S(c);N_GUARD::R1(K),XS(c)
- S(i);N_GUARD::QAB(L),XP(f)
- P(g);OGATEB::QAB(L)
- Refutation
- S(i);CHECK,XR(I)
- Try
- K(G);P-FLIGHT
- Vars
- S(i);N_GUARD,XR(I)::QAB(L),XP(f)
- P(g);OGATEB,XP(J)::QAB(L)
- R(j);N_GUARD::R1(I),XR(j)
- R(j);N_GUARD::R(K),XR(j)
- R(j);N_GUARD::QAR(L),XR(j)
- B(a);N_GUARD::B(D),XB(a)
- S(c);N_GUARD::R1(K)
- S(c);N_GUARD::R1(K),XS(c)
- S(i);N_GUARD::QAB(L),XP(f)
- P(g);OGATEB::QAB(L)
- Refutation
- B(a);
- Try
- R(I);XP(e)
- Vars
- B(a);CHECK,OGATE::P(C),XB(a)
- P(g);OGATEB,XP(J)::QAB(L)
- R(j);N_GUARD::R(K),XR(j)
- R(j);N_GUARD::QAR(L),XR(j)
- B(a);N_GUARD::B(D),XB(a)
- S(c);N_GUARD::R1(K)
- S(c);N_GUARD::R1(K),XS(c)
- S(i);N_GUARD::QAB(L),XP(f)
- P(g);OGATEB::QAB(L)
- Refutation
- R(j);
- Try
- R(K);
- Threat
- DUALS(2)
- Refutation
- B(a);CHECK
- Try
- R(K);XP(f)
- Threat
- QAB(L)+R(K),DCHECK
- Vars
- S(i);OGATE,P_SPINS(i),XR(K)::QAB(L),XS(i)
- R(j);N_GUARD::R1(I),XR(j)
- R(j);::QAB(L)+R(K),DCHECK,XR(j)
- Refutation
- B(a);CHECK
- Try
- R(K);
- Threat
- R1(K)
- Vars
- S(i);N_GUARD,XR(I)::QAB(L),XP(f)
- Refutation
- B(a);CHECK
- Try
- R(K);
- Threat
- R(K),XR(j)
- Vars
- B(a);CHECK,OGATE::P(C),XB(a)
- R(j);N_GUARD::R1(I),XR(j)
- R(j);N_GUARD::QAR(L),XR(j)
- S(c);N_GUARD::R1(K),XS(c)
- S(c);N_GUARD::R1(K)
- S(i);N_GUARD::QAB(L),XP(f)
- Refutation
- R(j);
- Try
- Q(L);
- Threat
- QAR(L),XR(j)
- Vars
- B(a);CHECK,OGATE::P(C),XB(a)
- R(j);N_GUARD::R(K),XR(j)
- R(j);N_GUARD::R1(I),XR(j)
- S(c);N_GUARD::R1(K),XS(c)
- S(c);N_GUARD::R1(K)
- S(i);N_GUARD::QAB(L),XP(f)
- Refutation
- R(j);
- Try
- Q(L);N_PINP(f),XS(i)
- Vars
- B(a);CHECK,OGATE::P(C),XB(a)
- P(g);OGATEB,XP(J)::QAB(L)
- R(j);N_GUARD::R(K),XR(j)
- R(j);N_GUARD::R1(I),XR(j)
- R(j);N_GUARD::QAR(L),XR(j)
- B(a);N_GUARD::B(D),XB(a)
- S(c);N_GUARD::R1(K)
- S(c);N_GUARD::R1(K),XS(c)
- P(f);OGATEB::QAB(L)
- P(g);OGATEB::QAB(L)
- Refutation
- P(f);CHECK,XR(I)
- Try
- Q(L);N_PINP(f)
- Threat
- DUALS(2)
- Refutation
- P(f);CHECK,XR(I)
- Try
- Q(L);N_PINP(f)
- Threat
- DUALS(2)
- Vars
- B(a);CHECK,OGATE::P(C),XB(a)
- R(j);N_GUARD::R1(I),XR(j)
- S(c);N_GUARD::R1(K),XS(c)
- S(i);::QAB(L),XP(g)
- Refutation
- P(f);CHECK,XR(I)
- Try
- Q(L);N_PINP(f)
- Threat
- QAB(L),XP(g)
- Vars
- B(a);CHECK,OGATE::P(C),XB(a)
- R(j);N_GUARD::R1(I),XR(j)
- S(c);N_GUARD::R1(K),XS(c)
- Refutation
- P(f);CHECK,XR(I)
- Try
- Q(L);N_PINP(f),P_PINP(g)
- Threat
- QAB(L),XP(g)
- Vars
- B(a);CHECK,OGATE::P(C),XB(a)
- R(j);N_GUARD::R1(I),XR(j)
- S(c);N_GUARD::R1(K),XS(c)
- Refutation
- P(f);CHECK,XR(I)
- Try
- P(F);
- Vars
- B(a);CHECK,OGATE::P(C),XB(a)
- S(i);N_GUARD,XR(I)::QAB(L),XP(f)
- P(g);OGATEB,XP(J)::QAB(L)
- R(j);N_GUARD::R(K),XR(j)
- R(j);N_GUARD::R1(I),XR(j)
- R(j);N_GUARD::QAR(L),XR(j)
- B(a);N_GUARD::B(D),XB(a)
- S(c);N_GUARD::R1(K)
- S(c);N_GUARD::R1(K),XS(c)
- S(i);N_GUARD::QAB(L),XP(f)
- P(g);OGATEB::QAB(L)
- Refutation
- P(e);XP(F)
- Try
- P(H);
- Vars
- B(a);CHECK,OGATE::P(C),XB(a)
- S(c);N_GUARD,XP(H)::R1(K)
- S(i);N_GUARD,XR(I)::QAB(L),XP(f)
- P(g);OGATEB,XP(J)::QAB(L)
- R(j);N_GUARD::R(K),XR(j)
- R(j);N_GUARD::R1(I),XR(j)
- R(j);N_GUARD::QAR(L),XR(j)
- B(a);N_GUARD::B(D),XB(a)
- S(c);N_GUARD::R1(K)
- S(c);N_GUARD::R1(K),XS(c)
- S(i);N_GUARD::QAB(L),XP(f)
- Refutation
- P(h);XP(H)
- Try
- P(J);XP(g)
- Vars
- B(a);CHECK,OGATE::P(C),XB(a)
- S(i);N_GUARD,XR(I)::QAB(L),XP(f)
- R(j);N_GUARD::R(K),XR(j)
- R(j);N_GUARD::R1(I),XR(j)
- R(j);N_GUARD::QAR(L),XR(j)
- B(a);N_GUARD::B(D),XB(a)
- S(c);N_GUARD::R1(K)
- S(c);N_GUARD::R1(K),XS(c)
- S(i);N_GUARD::QAB(L),XP(f)
- Refutation
- P(h);
- Try
- Actual
- R(I);
- Vars
- B(a);CHECK,OGATE::P(C),XB(a)
- P(e);CHECK::R(I)+K(G)
- P(g);OGATEB,XP(J)::QAB(L)
- R(j);SBLOCK::R(I)+K(G)
- R(j);N_GUARD::R(K),XR(j)
- R(j);N_GUARD::QAR(L),XR(j)
- B(a);N_GUARD::B(D),XB(a)
- S(c);N_GUARD::R1(K)
- S(c);N_GUARD::R1(K),XS(c)
- S(i);N_GUARD::QAB(L),XP(f)
- P(g);OGATEB::QAB(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).