MESON Chess Problem Database
Problem Display
PID: 57550 (5N1K/B3QpP1/3np3/2npkb1R/6P1/1N1PbPP1/8/3R4 w - - 0 1)
Gorfine, WJ
The Chess Review, 1936
#2
12 + 8
SOLUTION
- SOUND
- Sets
- 1...Bc1
- 2.d4#
- 1...Bg1
- 2.f4#
- 1...Bd2
- 2.d4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Bg5
- 2.d4#
- 1...Bh6
- 2.d4#
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...Bc1
- Tries
- 1.Kg8?
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...Bc1
- 2.d4#
- 1...Bg1
- 2.f4#
- 1...Bd2
- 2.d4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Bg5
- 2.d4#
- 1...Bh6
- 2.d4#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...d4!
- 1...Sxb3
- 1.Sd4?
- threat
- 2.Sc6#
- 1...Bxd4
- 2.f4#
- 1...Kxd4!
- threat
- 1.Bxc5?
- threat
- 2.Sd7#
- 2.Bxd6#
- 1...Bxc5
- 2.Sd7#
- 2.f4#
- 1...Sc4
- 2.Sd7#
- 2.Rxf5#
- 1...Se4
- 2.Sd7#
- 2.Rxf5#
- 1...Sb5
- 2.Sd7#
- 2.Rxf5#
- 1...Sb7
- 2.Sd7#
- 2.Rxf5#
- 1...Sc8
- 2.Sd7#
- 2.Rxf5#
- 1...Se8
- 2.Sd7#
- 2.Rxf5#
- 1...d4!
- threat
- 1.Bb6?
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...Bg1
- 2.f4#
- 1...Bc1
- 2.d4#
- 1...Bd2
- 2.d4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Bg5
- 2.d4#
- 1...Bh6
- 2.d4#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...d4!
- 1...Sxb3
- 1.Bb8?
- threat
- 2.Bxd6#
- 2.Rxf5#
- 1...d4
- 2.Rxf5#
- 1...Bg5
- 2.Bxd6#
- 2.d4#
- 1...Se4
- 2.Sd7#
- 2.Rxf5#
- 1...Sb7
- 2.Sd7#
- 2.Rxf5#
- 1...Sxb3!
- threat
- 1.Ra1?
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...Bg1
- 2.f4#
- 1...Bc1
- 2.d4#
- 1...Bd2
- 2.d4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Bg5
- 2.d4#
- 1...Bh6
- 2.d4#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...d4!
- 1...Sxb3
- 1.Rb1?
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...Bg1
- 2.f4#
- 1...Bc1
- 2.d4#
- 1...Bd2
- 2.d4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Bg5
- 2.d4#
- 1...Bh6
- 2.d4#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...d4!
- 1...Sxb3
- 1.Re1?
- threat
- 2.d4#
- 2.f4#
- 1...Sxb3
- 2.Sd7#
- 2.f4#
- 1...Sxd3
- 2.Sd7#
- 2.Bd4#
- 1...Sce4
- 2.Sd7#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 2.f4#
- 1...d4!
- threat
- 1.Rf1?
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...Bg1
- 2.f4#
- 1...Bc1
- 2.d4#
- 1...Bd2
- 2.d4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Bg5
- 2.d4#
- 1...Bh6
- 2.d4#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...d4!
- 1...Sxb3
- 1.Rg1?
- 1...Bxg1
- 2.f4#
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...Bc1
- 2.d4#
- 1...Bd2
- 2.d4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Bg5
- 2.d4#
- 1...Bh6
- 2.d4#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...d4!
- 1...Bxg1
- 1.Rdh1?
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...Bg1
- 2.f4#
- 1...Bc1
- 2.d4#
- 1...Bd2
- 2.d4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Bg5
- 2.d4#
- 1...Bh6
- 2.d4#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...d4!
- 1...Sxb3
- 1.Rd2?
- 1...Bxd2
- 2.d4#
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...Bg1
- 2.f4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Bg5
- 2.d4#
- 1...Bh6
- 2.d4#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...d4!
- 1...Bxd2
- 1.Rg5?
- 1...Bxg5
- 2.d4#
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...Bg1
- 2.f4#
- 1...Bc1
- 2.d4#
- 1...Bd2
- 2.d4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...d4!
- 1...Bxg5
- 1.Qxd6+?
- 1...Kf6
- 2.Rxf5#
- 2.g8S#
- 1...Kxd6!
- 1...Kf6
- 1.Qxe6+?
- 1...Sxe6
- 2.Sd7#
- 1...fxe6!
- 1...Sxe6
- 1.g8Q?
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...Bg1
- 2.f4#
- 1...Bc1
- 2.d4#
- 1...Bd2
- 2.d4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Bg5
- 2.d4#
- 1...Bh6
- 2.d4#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...d4!
- 1...Sxb3
- 1.g8S?
- threat
- 2.Qf6#
- 1...Bg5
- 2.d4#
- 1...Sce4
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 2.Qxf6#
- 1...d4!
- threat
- 1.g8B?
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...Bg1
- 2.f4#
- 1...Bc1
- 2.d4#
- 1...Bd2
- 2.d4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Bg5
- 2.d4#
- 1...Bh6
- 2.d4#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...d4!
- 1...Sxb3
- 1.g8R?
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...Bg1
- 2.f4#
- 1...Bc1
- 2.d4#
- 1...Bd2
- 2.d4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Bg5
- 2.d4#
- 1...Bh6
- 2.d4#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...d4!
- 1...Sxb3
- 1.Kg8?
- Keys
- 1.Rc1!
- 1...Bxc1
- 2.d4#
- 1...Sxb3
- 2.Sd7#
- 1...Sxd3
- 2.Sd7#
- 1...d4
- 2.Rxc5#
- 1...Bg1
- 2.f4#
- 1...Bd2
- 2.d4#
- 1...Bf2
- 2.f4#
- 1...Bd4
- 2.f4#
- 1...Bf4
- 2.d4#
- 1...Bg5
- 2.d4#
- 1...Bh6
- 2.d4#
- 1...Sa4
- 2.Sd7#
- 1...Sce4
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Scb7
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc4
- 2.Rxf5#
- 1...Sde4
- 2.Rxf5#
- 1...Sb5
- 2.Rxf5#
- 1...Sdb7
- 2.Rxf5#
- 1...Sc8
- 2.Rxf5#
- 1...Se8
- 2.Rxf5#
- 1...f6
- 2.Sg6#
- 1...Bxc1
- 1.Rc1!
This is a version
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- B(a);N_GUARD::P(C)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
- Tries
- Try
- K(L);P-FLIGHT
- Vars
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- B(a);N_GUARD::P(C)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
- Refutation
- P(c);
- Try
- S(B);
- Threat
- S(B)
- Vars
- B(a);N_GUARD,SBLOCK,XS(B)::P(D)
- Refutation
- K(d);N_SPINB(e),N_SPINP(g),P_SPINS(b),S_FLIGHT,XS(B)
- Try
- B(H);XS(b)
- Threat
- DUALS(2)
- Refutation
- P(c);
- Try
- B(H);
- Vars
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD::P(C)
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
- Refutation
- P(c);
- Try
- B(H);P_PINS(f)
- Threat
- DUALS(2)
- Vars
- P(c);::R1(G),XB(e)
- Refutation
- S(b);XS(B)
- Try
- R(A);
- Vars
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD::P(C)
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
- Refutation
- P(c);
- Try
- R(A);
- Vars
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD::P(C)
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
- Refutation
- P(c);
- Try
- R(A);N_PINB(e),P_PINB(a)
- Threat
- DUALS(2)
- Vars
- S(b);N_GUARD,N_SPINB(a),P_SPINB(e)::S(K)
- S(f);N_GUARD,N_SPINB(a),P_SPINB(e)::R1(G),XB(e)
- Refutation
- P(c);
- Try
- R(A);
- Vars
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD::P(C)
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
- Refutation
- P(c);
- Try
- R(A);
- Vars
- B(a);N_GUARD,XR(A)::P(D)
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- B(a);N_GUARD::P(C)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
- Refutation
- P(c);
- Try
- R(A);
- Vars
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD::P(C)
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
- Refutation
- P(c);
- Try
- R(A);
- Vars
- B(a);N_GUARD,XR(A)::P(C)
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD::P(C)
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
- Refutation
- P(c);
- Try
- R(G);
- Vars
- B(a);N_GUARD,N_SPINB(e),XR(G)::P(C)
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
- Refutation
- P(c);
- Try
- Q(I);CHECK,N_PINP(g),XS(f)
- Refutation
- K(d);N_SPINB(e),S_FLIGHT,XQ(I)
- Try
- Q(I);CHECK,XP(g)
- Vars
- S(b);SBLOCK,XQ(I)::S(K)
- Refutation
- P(h);XQ(I)
- Try
- P(J);
- Vars
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD::P(C)
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
- Refutation
- P(c);
- Try
- P(J);
- Threat
- QAB1(I)
- Vars
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- Refutation
- P(c);
- Try
- P(J);
- Vars
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD::P(C)
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
- Refutation
- P(c);
- Try
- P(J);
- Vars
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD::P(C)
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
- Refutation
- P(c);
- Try
- Actual
- R(A);
- Vars
- B(a);N_GUARD,XR(A)::P(C)
- S(b);N_GUARD,XS(B)::S(K)
- S(b);N_GUARD,XP(C)::S(K)
- P(c);OGATEB::R(A),XS(b)
- B(a);N_GUARD::P(D)
- B(a);N_GUARD::P(C)
- B(a);N_GUARD,N_SPINB(e)::P(C)
- S(b);N_GUARD::S(K)
- S(b);N_GUARD::S(K),XS(b)
- S(f);N_GUARD::R1(G),XB(e)
- P(h);N_GUARD::S(K)
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).