MESON Chess Problem Database
Problem Display
PID: 16250 (RnB2N2/1Np5/1kP3Q1/3P4/K1p2p2/1r2b3/8/1R4B1 w - - 0 1)
Jaeger, Hartmut
The Problemist, 2000
#2
10 + 7
SOLUTION
- SOUND
- Sets
- 1...Rxb1
- 2.Qxb1#
- 1...Rb2
- 2.Rxb2#
- 1...Rb4+
- 2.Rxb4#
- 1...Rb5
- 2.Rxb5#
- 1...Bxg1
- 2.Qxg1#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sa6
- 2.Sd7#
- 1...Sxc6
- 2.Sd7#
- 2.Qxc6#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Rxb1
- Tries
- 1.Bf2?
- 1...Rb4+
- 2.Rxb4#
- 1...Rxb1
- 2.Qxb1#
- 1...Sxc6
- 2.Sd7#
- 2.Qxc6#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Bxf2!
- 1...Rb4+
- 1.Bg4?
- 1...Rb4+
- 2.Rxb4#
- 1...Rxb1
- 2.Qxb1#
- 1...Sxc6
- 2.Qxc6#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Bxg1!
- 1...Rb4+
- 1.Bf5?
- 1...Rb4+
- 2.Rxb4#
- 1...Bxg1
- 2.Qxg1#
- 1...Sxc6
- 2.Qxc6#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Rxb1!
- 1...Rb4+
- 1.Be6?
- 1...Rb4+
- 2.Rxb4#
- 1...Rxb1
- 2.Qxb1#
- 1...Bxg1
- 2.Qxg1#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Sxc6!
- 1...Rb4+
- 1.Bd7?
- 1...Rb4+
- 2.Rxb4#
- 1...Rxb1
- 2.Qxb1#
- 1...Bxg1
- 2.Qxg1#
- 1...Sxc6
- 2.Qxc6#
- 1...Sxd7
- 2.Sxd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Sa6!
- 1...Rb4+
- 1.Rb2?
- 1...Rb4+
- 2.Rxb4#
- 1...Bxg1
- 2.Qxg1#
- 1...Sxc6
- 2.Sd7#
- 2.Qxc6#
- 1...Sa6
- 2.Sd7#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Rxb2!
- 1...Rb4+
- 1.Ra5?
- 1...Rb4+
- 2.Rxb4#
- 1...Rxb1
- 2.Qxb1#
- 1...Bxg1
- 2.Qxg1#
- 1...Sxc6
- 2.Sd7#
- 2.Qxc6#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rbxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Sa6!
- 1...Rb4+
- 1.Qc2?
- 1...Rb4+
- 2.Rxb4#
- 1...Rxb1
- 2.Qxb1#
- 1...Sxc6
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 2.Qxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 2.Qxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 2.Qxb3#
- 1...f3
- 2.Bxe3#
- 1...Bxg1!
- 1...Rb4+
- 1.Qd3?
- 1...Rb4+
- 2.Rxb4#
- 1...Rxb1
- 2.Qxb1#
- 1...Sxc6
- 2.Sd7#
- 1...cxd3
- 2.Rxb3#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 2.Qxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 2.Qxe3#
- 1...Bxg1!
- 1...Rb4+
- 1.Qe4?
- 1...Rb4+
- 2.Rxb4#
- 1...Rxb1
- 2.Qxb1#
- 1...Sxc6
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 2.Qxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 2.Qxe3#
- 1...Bxg1!
- 1...Rb4+
- 1.Qf5?
- 1...Rb4+
- 2.Rxb4#
- 1...Rxb1
- 2.Qxb1#
- 1...Sxc6
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Bxg1!
- 1...Rb4+
- 1.Qh7?
- 1...Rb4+
- 2.Rxb4#
- 1...Rxb1
- 2.Qxb1#
- 1...Sxc6
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Bxg1!
- 1...Rb4+
- 1.Qg2?
- 1...Rb4+
- 2.Rxb4#
- 1...Bxg1
- 2.Qxg1#
- 1...Sxc6
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 2.Qxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 2.Qxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Rxb1!
- 1...Rb4+
- 1.Qg3?
- 1...Rb4+
- 2.Rxb4#
- 1...Bxg1
- 2.Qxg1#
- 1...Sxc6
- 2.Sd7#
- 1...fxg3
- 2.Bxe3#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 2.Qxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Rxb1!
- 1...Rb4+
- 1.Qg4?
- 1...Rb4+
- 2.Rxb4#
- 1...Bxg1
- 2.Qxg1#
- 1...Sxc6
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Rxb1!
- 1...Rb4+
- 1.Qg5?
- 1...Rb4+
- 2.Rxb4#
- 1...Bxg1
- 2.Qxg1#
- 1...Sxc6
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 2.Qxe3#
- 1...Rxb1!
- 1...Rb4+
- 1.Qg7?
- 1...Rb4+
- 2.Rxb4#
- 1...Bxg1
- 2.Qxg1#
- 1...Sxc6
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 2.Qxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 2.Qxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Rxb1!
- 1...Rb4+
- 1.Qg8?
- 1...Rb4+
- 2.Rxb4#
- 1...Bxg1
- 2.Qxg1#
- 1...Sxc6
- 2.Sd7#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Rxb1!
- 1...Rb4+
- 1.Bf2?
- Keys
- 1.Bh3!
- 1...Rb4+
- 2.Rxb4#
- 1...Rxb1
- 2.Qxb1#
- 1...Bxg1
- 2.Qxg1#
- 1...Sxc6
- 2.Qxc6#
- 1...Sa6
- 2.Sd7#
- 1...Rb2
- 2.Rxb2#
- 1...Rb5
- 2.Rxb5#
- 1...Bf2
- 2.Bxf2#
- 1...Bd4
- 2.Bxd4#
- 1...Bc5
- 2.Bxc5#
- 1...Sd7
- 2.Sxd7#
- 1...c3
- 2.Rxb3#
- 1...f3
- 2.Bxe3#
- 1...Rb4+
- 1.Bh3!
FEATURES
- Static
- TYPE = WAITER
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- R(a);N_SPINR(a),OGATE,XR(A)::QAR(F),XR(a)
- R(a);OGATEB::R(A),XR(a)
- R(a);CHECK,OGATE::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);N_SPINB(b),OGATE,XB(B)::QAB(F),XB(b)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Tries
- Try
- B(B);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- R(a);N_SPINR(a),OGATE,XR(A)::QAR(F),XR(a)
- S(g);N_GUARD::S(J)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- B(b);N_SPINB(b),XB(B)
- Try
- B(I);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- R(a);N_SPINR(a),OGATE,XR(A)::QAR(F),XR(a)
- S(g);OGATE,P_SPINS(g),XP(E)::QAR1(F),XS(g)
- S(g);N_GUARD::S(J)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- B(b);N_SPINB(b),XB(B)
- Try
- B(I);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- B(b);N_SPINB(b),OGATE,XB(B)::QAB(F),XB(b)
- S(g);OGATE,P_SPINS(g),XP(E)::QAR1(F),XS(g)
- S(g);N_GUARD::S(J)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- R(a);N_SPINR(a),XR(A)
- Try
- B(I);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- R(a);N_SPINR(a),OGATE,XR(A)::QAR(F),XR(a)
- B(b);N_SPINB(b),OGATE,XB(B)::QAB(F),XB(b)
- S(g);N_GUARD::S(J)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- S(g);XP(E)
- Try
- B(I);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- R(a);N_SPINR(a),OGATE,XR(A)::QAR(F),XR(a)
- B(b);N_SPINB(b),OGATE,XB(B)::QAB(F),XB(b)
- S(g);OGATE,P_SPINS(g),XP(E)::QAR1(F),XS(g)
- S(g);XB(I)::S(J),XS(g)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- S(g);
- Try
- R(A);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- B(b);N_SPINB(b),OGATE,XB(B)::QAB(F),XB(b)
- S(g);N_GUARD::S(J)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- R(a);N_SPINR(a),XR(A)
- Try
- R(H);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- R(a);N_SPINR(a),OGATE,XR(A)::QAR(F),XR(a)
- B(b);N_SPINB(b),OGATE,XB(B)::QAB(F),XB(b)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- S(g);
- Try
- Q(F);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- R(a);N_SPINR(a),OGATE,XR(A)::QAR(F),XR(a)
- S(g);N_GUARD,XP(E)::S(J)
- S(g);N_GUARD::S(J)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- B(b);N_SPINB(b),XB(B)
- Try
- Q(F);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- R(a);N_SPINR(a),OGATE,XR(A)::QAR(F),XR(a)
- S(g);N_GUARD,XP(E)::S(J)
- P(c);N_GUARD,XQ(F)::R(A),XR(a)
- S(g);N_GUARD::S(J)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- Refutation
- B(b);N_SPINB(b),XB(B)
- Try
- Q(F);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- R(a);N_SPINR(a),OGATE,XR(A)::QAR(F),XR(a)
- S(g);N_GUARD,XP(E)::S(J)
- S(g);N_GUARD::S(J)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- Refutation
- B(b);N_SPINB(b),XB(B)
- Try
- Q(F);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- R(a);N_SPINR(a),OGATE,XR(A)::QAR(F),XR(a)
- S(g);N_GUARD,XP(E)::S(J)
- S(g);N_GUARD::S(J)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- B(b);N_SPINB(b),XB(B)
- Try
- Q(F);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- R(a);N_SPINR(a),OGATE,XR(A)::QAR(F),XR(a)
- S(g);N_GUARD,XP(E)::S(J)
- S(g);N_GUARD::S(J)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- B(b);N_SPINB(b),XB(B)
- Try
- Q(F);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- B(b);N_SPINB(b),OGATE,XB(B)::QAB(F),XB(b)
- S(g);N_GUARD,XP(E)::S(J)
- S(g);N_GUARD::S(J)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- R(a);N_SPINR(a),XR(A)
- Try
- Q(F);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- B(b);N_SPINB(b),OGATE,XB(B)::QAB(F),XB(b)
- S(g);N_GUARD,XP(E)::S(J)
- P(d);N_GUARD,XQ(F)::B(B),XB(b)
- S(g);N_GUARD::S(J)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- R(a);N_SPINR(a),XR(A)
- Try
- Q(F);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- B(b);N_SPINB(b),OGATE,XB(B)::QAB(F),XB(b)
- S(g);N_GUARD,XP(E)::S(J)
- S(g);N_GUARD::S(J)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- R(a);N_SPINR(a),XR(A)
- Try
- Q(F);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- B(b);N_SPINB(b),OGATE,XB(B)::QAB(F),XB(b)
- S(g);N_GUARD,XP(E)::S(J)
- S(g);N_GUARD::S(J)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- Refutation
- R(a);N_SPINR(a),XR(A)
- Try
- Q(F);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- B(b);N_SPINB(b),OGATE,XB(B)::QAB(F),XB(b)
- S(g);N_GUARD,XP(E)::S(J)
- S(g);N_GUARD::S(J)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- R(a);N_SPINR(a),XR(A)
- Try
- Q(F);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- B(b);N_SPINB(b),OGATE,XB(B)::QAB(F),XB(b)
- S(g);N_GUARD,XP(E)::S(J)
- S(g);N_GUARD::S(J)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
- Refutation
- R(a);N_SPINR(a),XR(A)
- Try
- Actual
- B(I);
- Vars
- R(a);CHECK,OGATE::R(A),XR(a)
- R(a);N_SPINR(a),OGATE,XR(A)::QAR(F),XR(a)
- B(b);N_SPINB(b),OGATE,XB(B)::QAB(F),XB(b)
- S(g);OGATE,P_SPINS(g),XP(E)::QAR1(F),XS(g)
- S(g);N_GUARD::S(J)
- R(a);OGATEB::R(A),XR(a)
- R(a);OGATE::R1(A),XR(a)
- B(b);OGATEB::B(B),XB(b)
- B(b);OGATE::B(B),XB(b)
- S(g);N_GUARD::S(J),XS(g)
- P(c);N_GUARD::R(A),XR(a)
- P(d);N_GUARD::B(B),XB(b)
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).