MESON Chess Problem Database
Problem Display
PID: 91451 (8/5p2/1pR5/bN1n1n1N/1pRPkB1P/1P1bPpP1/7P/1B4QK w - - 0 1)
Scotti, Louis
Probleemblad, 1959
#2
14 + 9
| 6490 | yacpdb | 2009 |
SOLUTION
- SOUND
- Sets
- 1...Bxb1
- 2.Qxb1#
- 1...Bc2
- 2.Bxc2#
- 1...Sc3
- 2.Sf6#
- 1...Sdxe3
- 2.Sf6#
- 1...Sxf4
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxg3+
- 2.Sxg3#
- 1...Sxd4
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Sd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f2
- 2.Qg2#
- 1...f6
- 2.Re6#
- 1...Bxb1
- Tries
- 1.Sc3+?
- 1...Sxc3
- 2.Sf6#
- 1...bxc3!
- 1...Sxc3
- 1.Bc2?
- 1...Sxg3+
- 2.Sxg3#
- 1...Sdxe3
- 2.Sf6#
- 1...Sxf4
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxd4
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Sc3
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Sd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f2
- 2.Qg2#
- 1...f6
- 2.Re6#
- 1...Bxc2!
- 1...Sxg3+
- 1.Bg5?
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sdxe3
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Bc2
- 2.Bxc2#
- 1...Sc3
- 2.Sf6#
- 1...Sf4
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Sd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f2
- 2.Qg2#
- 1...f6
- 2.Re6#
- 1...Sxd4!
- 1...Sxg3+
- 1.Bh6?
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sdxe3
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Sxh6
- 2.Sd6#
- 1...Bc2
- 2.Bxc2#
- 1...Sc3
- 2.Sf6#
- 1...Sf4
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...Sd6
- 2.Sxd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f2
- 2.Qg2#
- 1...f6
- 2.Re6#
- 1...Sxd4!
- 1...Sxg3+
- 1.Rc2?
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxc2
- 2.Bxc2#
- 1...Bxb5
- 2.R2c4#
- 1...Sdxe3
- 2.Sf6#
- 1...Sxf4
- 2.Sf6#
- 1...Sxd4
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Bf1
- 2.Re2#
- 1...Be2
- 2.Rxe2#
- 1...Bc4
- 2.R2xc4#
- 1...Sc3
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Sd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f2
- 2.Qg2#
- 1...f6
- 2.Re6#
- 1...Sfxe3!
- 1...Sxg3+
- 1.Rc3?
- threat
- 2.Bxd3#
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sxc3
- 2.Sf6#
- 1...Sdxe3
- 2.Sf6#
- 1...Sxf4
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...f2
- 2.Qg2#
- 1...Bc2
- 2.Bxc2#
- 1...bxc3!
- threat
- 1.Rxb4?
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sdxe3
- 2.Sc3#
- 2.Sf6#
- 1...Sxb4
- 2.Sc3#
- 2.Sf6#
- 1...Sxf4
- 2.Sc3#
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxd4
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Bc2
- 2.Bxc2#
- 1...Sc3
- 2.Sxc3#
- 2.Sf6#
- 1...Sf6
- 2.Sc3#
- 2.Sxf6#
- 1...Sc7
- 2.Sc3#
- 2.Sf6#
- 1...Sde7
- 2.Sc3#
- 2.Sf6#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Sd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f2
- 2.Qg2#
- 1...f6
- 2.Re6#
- 1...Bxb4!
- 1...Sxg3+
- 1.Rxb6?
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sdxe3
- 2.Sf6#
- 1...Sxf4
- 2.Sf6#
- 1...Sxb6
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxd4
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Bc2
- 2.Bxc2#
- 1...Sc3
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Sd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f2
- 2.Qg2#
- 1...f6
- 2.Re6#
- 1...Bxb6!
- 1...Sxg3+
- 1.Rh6?
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sdxe3
- 2.Sf6#
- 1...Sxf4
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxd4
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Sxh6
- 2.Sd6#
- 1...Bc2
- 2.Bxc2#
- 1...Sc3
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...Sd6
- 2.Sxd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f2
- 2.Qg2#
- 1...f6!
- 1...Sxg3+
- 1.Rc7?
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sdxe3
- 2.Sf6#
- 1...Sxf4
- 2.Sf6#
- 1...Sxc7
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxd4
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Bc2
- 2.Bxc2#
- 1...Sc3
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sde7
- 2.Sf6#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Sd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f2
- 2.Qg2#
- 1...f6!
- 1...Sxg3+
- 1.Rc8?
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sdxe3
- 2.Sf6#
- 1...Sxf4
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxd4
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Bc2
- 2.Bxc2#
- 1...Sc3
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Sd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f2
- 2.Qg2#
- 1...f6!
- 1...Sxg3+
- 1.Qf2?
- 1...Sxg3+
- 2.Sxg3#
- 1...Sdxe3
- 2.Sf6#
- 1...Sxf4
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxd4
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Bc2
- 2.Bxc2#
- 2.Qxc2#
- 1...Sc3
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Sd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f6
- 2.Re6#
- 1...Bxb1!
- 1...Sxg3+
- 1.Qc1?
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sdxe3
- 2.Sf6#
- 1...Sxf4
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxd4
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Bc2
- 2.Bxc2#
- 2.Qxc2#
- 1...Sc3
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Sd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f6
- 2.Re6#
- 1...f2!
- 1...Sxg3+
- 1.Qd1?
- threat
- 2.Bxd3#
- 2.Qxd3#
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sdxe3
- 2.Sf6#
- 1...Sc3
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...Bc2
- 2.Bxc2#
- 2.Qxc2#
- 1...f2
- 2.Bxd3#
- 1...Sxf4!
- threat
- 1.Qe1?
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sdxe3
- 2.Sf6#
- 1...Sxf4
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxd4
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Bc2
- 2.Bxc2#
- 1...Sc3
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Sd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f6
- 2.Re6#
- 1...f2!
- 1...Sxg3+
- 1.Qf1?
- threat
- 2.Bxd3#
- 2.Qxd3#
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sdxe3
- 2.Sf6#
- 1...Sc3
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...f2
- 2.Qg2#
- 1...Bc2
- 2.Bxc2#
- 1...Sxf4!
- threat
- 1.g4?
- 1...Sg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sxf4
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxd4
- 2.Sd6#
- 2.Sg3#
- 2.Rxd4#
- 1...Sxh4
- 2.Sd6#
- 2.Sg3#
- 1...Bc2
- 2.Bxc2#
- 1...Sc3
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...f2
- 2.Qg2#
- 1...f6
- 2.Re6#
- 1...Sd6
- 2.Sxd6#
- 2.Sg3#
- 1...Sh6
- 2.Sd6#
- 2.Sg3#
- 1...Sfe7
- 2.Sd6#
- 2.Sg3#
- 1...Sg7
- 2.Sd6#
- 2.Sg3#
- 1...Sdxe3!
- 1...Sg3+
- 1.Sc3+?
- Keys
- 1.h3!
- 1...Sxg3+
- 2.Sxg3#
- 1...Bxb1
- 2.Qxb1#
- 1...Sdxe3
- 2.Sf6#
- 1...Sxf4
- 2.Sf6#
- 1...Sfxe3
- 2.Sd6#
- 1...Sxd4
- 2.Sd6#
- 1...Sxh4
- 2.Sd6#
- 1...Bc2
- 2.Bxc2#
- 1...Sc3
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sc7
- 2.Sf6#
- 1...Sde7
- 2.Sf6#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Sd6#
- 1...Sfe7
- 2.Sd6#
- 1...Sg7
- 2.Sd6#
- 1...f2
- 2.Qg2#
- 1...f6
- 2.Re6#
- 1...Sxg3+
- 1.h3!
FEATURES
- Static
- TYPE = WAITER
- CHANGED MATES = 0
- ADDED MATES = 0
- REMOVED MATES = 0
- Sets
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- B(a);OGATEB::B(A),XB(a)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD,XP(F)::S(M)
- S(f);N_GUARD,XB(J)::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(g);N_GUARD,XP(F)::S(L)
- S(g);CHECK,XP(G)::S(M),XS(g)
- S(g);N_GUARD,P_SPINS(g),XP(I)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(b);OGATEB::QAB(B)
- P(i);N_GUARD::R(N)
- Tries
- Try
- S(L);CHECK
- Vars
- S(f);XS(L)::S(M)
- Refutation
- P(c);XS(L)
- Try
- B(A);
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- S(f);N_GUARD,XP(F)::S(M)
- S(f);N_GUARD,XB(J)::S(M)
- S(g);N_GUARD,XP(F)::S(L)
- S(g);N_GUARD,P_SPINS(g),XP(I)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(b);OGATEB::QAB(B)
- P(i);N_GUARD::R(N)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- B(J);
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(f);N_GUARD,XP(F)::S(M)
- S(g);N_GUARD,XP(F)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- B(a);OGATEB::B(A),XB(a)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(b);OGATEB::QAB(B)
- P(i);N_GUARD::R(N)
- Refutation
- S(g);P_SPINS(g),XP(I)
- Try
- B(J);
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(f);N_GUARD,XP(F)::S(M)
- S(g);N_GUARD,XP(F)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- S(g);N_GUARD,XB(J)::S(L)
- B(a);OGATEB::B(A),XB(a)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(b);OGATEB::QAB(B)
- P(i);N_GUARD::R(N)
- Refutation
- S(g);P_SPINS(g),XP(I)
- Try
- R(H);N_PINB(a)
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);OGATE,P_SPINB(a),XR(H)::B(A),XB(a)
- B(a);OGATEB,XS(L)::B(A)+R(H)
- S(f);N_GUARD,XP(F)::S(M)
- S(f);N_GUARD,XB(J)::S(M)
- S(g);N_GUARD,XP(I)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- B(a);OGATEB::B(A)+R(H)
- B(a);OGATEB::B(A)+R(H),XB(a)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(b);OGATEB::QAB(B)
- P(i);N_GUARD::R(N)
- Refutation
- S(g);XP(F)
- Try
- R(H);
- Threat
- B(A),XB(a)
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(f);N_GUARD,XR(H)::S(M)
- S(f);N_GUARD,XP(F)::S(M)
- S(f);N_GUARD,XB(J)::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(f);N_GUARD::S(M)
- P(b);OGATEB::QAB(B)
- B(a);OGATEB::B(A),XB(a)
- Refutation
- P(c);XR(H)
- Try
- R(H);XP(c)
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(g);N_GUARD,XP(F)::S(L)
- S(g);N_GUARD,P_SPINS(g),XP(I)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- B(a);OGATEB::B(A),XB(a)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(b);OGATEB::QAB(B)
- P(i);N_GUARD::R(N)
- Refutation
- B(e);XR(H)
- Try
- R(N);XP(h)
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(f);N_GUARD,XP(F)::S(M)
- S(f);N_GUARD,XB(J)::S(M)
- S(f);N_GUARD,XR(N)::S(M)
- S(g);N_GUARD,XP(F)::S(L)
- S(g);N_GUARD,P_SPINS(g),XP(I)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- B(a);OGATEB::B(A),XB(a)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(b);OGATEB::QAB(B)
- P(i);N_GUARD::R(N)
- Refutation
- B(e);XR(N)
- Try
- R(N);
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(f);N_GUARD,XP(F)::S(M)
- S(f);N_GUARD,XB(J)::S(M)
- S(g);N_GUARD,XP(F)::S(L)
- S(g);N_GUARD,P_SPINS(g),XP(I)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- S(g);N_GUARD,XR(N)::S(L)
- B(a);OGATEB::B(A),XB(a)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(b);OGATEB::QAB(B)
- Refutation
- P(i);
- Try
- R(N);
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(f);N_GUARD,XP(F)::S(M)
- S(f);N_GUARD,XB(J)::S(M)
- S(f);N_GUARD,XR(N)::S(M)
- S(g);N_GUARD,XP(F)::S(L)
- S(g);N_GUARD,P_SPINS(g),XP(I)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- B(a);OGATEB::B(A),XB(a)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(b);OGATEB::QAB(B)
- Refutation
- P(i);
- Try
- R(N);
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(f);N_GUARD,XP(F)::S(M)
- S(f);N_GUARD,XB(J)::S(M)
- S(g);N_GUARD,XP(F)::S(L)
- S(g);N_GUARD,P_SPINS(g),XP(I)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- B(a);OGATEB::B(A),XB(a)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(b);OGATEB::QAB(B)
- Refutation
- P(i);
- Try
- Q(B);
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- S(f);N_GUARD,XP(F)::S(M)
- S(f);N_GUARD,XB(J)::S(M)
- S(g);N_GUARD,XP(F)::S(L)
- S(g);N_GUARD,P_SPINS(g),XP(I)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(i);N_GUARD::R(N)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- Q(B);
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(f);N_GUARD,XP(F)::S(M)
- S(f);N_GUARD,XB(J)::S(M)
- S(g);N_GUARD,XP(F)::S(L)
- S(g);N_GUARD,P_SPINS(g),XP(I)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(i);N_GUARD::R(N)
- Refutation
- P(b);
- Try
- Q(B);
- Threat
- DUALS(2)
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(f);N_GUARD,XP(F)::S(M)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- P(b);::B(A),XB(a)
- Refutation
- S(f);XB(J)
- Try
- Q(B);
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(f);N_GUARD,P_SPINS(f),XP(F)::S(M)
- S(f);N_GUARD,XB(J)::S(M)
- S(g);N_GUARD,P_SPINS(g),XP(F)::S(L)
- S(g);N_GUARD,P_SPINS(g),XP(I)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- B(a);OGATEB::B(A),XB(a)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(i);N_GUARD::R(N)
- Refutation
- P(b);
- Try
- Q(B);
- Threat
- DUALS(2)
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(f);N_GUARD,XP(F)::S(M)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- P(b);OGATEB::QAB(B)
- B(a);OGATEB::B(A),XB(a)
- Refutation
- S(f);XB(J)
- Try
- P(G);
- Vars
- S(g);CHECK,N_GUARD::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(f);N_GUARD,XB(J)::S(M)
- S(g);N_GUARD,XP(F)::S(L)
- B(a);OGATEB::B(A),XB(a)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- P(b);OGATEB::QAB(B)
- P(i);N_GUARD::R(N)
- Refutation
- S(f);XP(F)
- Try
- Actual
- P(D);
- Vars
- S(g);CHECK,XP(G)::S(M),XS(g)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(f);N_GUARD,XP(F)::S(M)
- S(f);N_GUARD,XB(J)::S(M)
- S(g);N_GUARD,XP(F)::S(L)
- S(g);N_GUARD,P_SPINS(g),XP(I)::S(L)
- S(g);N_GUARD,XP(K)::S(L)
- B(a);OGATEB::B(A),XB(a)
- S(f);N_GUARD::S(M)
- S(f);N_GUARD::S(M),XS(f)
- S(g);N_GUARD::S(L),XS(g)
- S(g);N_GUARD::S(L)
- P(b);OGATEB::QAB(B)
- P(i);N_GUARD::R(N)
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).