MESON Chess Problem Database
Problem Display
PID: 69272 (6B1/4N1p1/1n1P1k2/2N1bPn1/8/8/4K3/B6Q w - - 0 1)
Colpa, Johannes J
Tijdschrift vd NSB, 1897
#2
8 + 5
SOLUTION
- SOUND
- Sets
- 1...Bxa1
- 2.Qxa1#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sa8
- 2.Sd7#
- 1...Sc8
- 2.Sd7#
- 1...g6
- 2.Qh8#
- 1...Bxa1
- Tries
- 1.Kd1?
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...g6
- 2.Qh8#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sa8
- 2.Sd7#
- 1...Sc8
- 2.Sd7#
- 1...Bxa1!
- 1...Bb2
- 1.Kf1?
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...g6
- 2.Qh8#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sa8
- 2.Sd7#
- 1...Sc8
- 2.Sd7#
- 1...Bxa1!
- 1...Bb2
- 1.Kf2?
- 1...Bd4+
- 2.Bxd4#
- 1...Se4+
- 2.Sxe4#
- 1...Bxa1
- 2.Qxa1#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Sf3
- 2.Se4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...g6
- 2.Qh8#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sa8
- 2.Sd7#
- 1...Sc8
- 2.Sd7#
- 1...Sh3+!
- 1...Bd4+
- 1.Bb2?
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...g6
- 2.Qh8#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sa8
- 2.Sd7#
- 1...Sc8
- 2.Sd7#
- 1...Bxb2!
- 1...Bc3
- 1.Bc3?
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...g6
- 2.Qh8#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sa8
- 2.Sd7#
- 1...Sc8
- 2.Sd7#
- 1...Bxc3!
- 1...Bd4
- 1.Bd4?
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...g6
- 2.Qh8#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sa8
- 2.Sd7#
- 1...Sc8
- 2.Sd7#
- 1...Bxd4!
- 1...Sf3
- 1.Be6?
- threat
- 2.Sg8#
- 1...Bxa1
- 2.Qxa1#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...g6
- 2.Qh8#
- 1...Sxe6!
- threat
- 1.Qd5?
- threat
- 2.Bxe5#
- 2.Qxe5#
- 1...Sxd5
- 2.Sd7#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 2.Qxd4#
- 1...Sc4
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Bxa1!
- threat
- 1.Qa8?
- 1...Bxa1
- 2.Qxa1#
- 1...Sxa8
- 2.Sd7#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sc8
- 2.Sd7#
- 1...g6!
- 1...Bxa1
- 1.Qb1?
- 1...Bxa1
- 2.Qxa1#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...Sa4
- 2.Sd7#
- 2.Sd5#
- 1...Sc4
- 2.Sd7#
- 2.Sd5#
- 1...Sd5
- 2.Sd7#
- 2.Sxd5#
- 1...Sd7
- 2.Sxd7#
- 2.Sd5#
- 1...Sa8
- 2.Sd7#
- 2.Sd5#
- 1...Sc8
- 2.Sd7#
- 2.Sd5#
- 1...g6!
- 1...Bxa1
- 1.Qc1?
- 1...Bxa1
- 2.Qxa1#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 2.Qxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sa8
- 2.Sd7#
- 1...Sc8
- 2.Sd7#
- 1...g6!
- 1...Bxa1
- 1.Qd1?
- 1...Bxa1
- 2.Qxa1#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 2.Qxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sa8
- 2.Sd7#
- 1...Sc8
- 2.Sd7#
- 1...g6!
- 1...Bxa1
- 1.Qe1?
- 1...Bxa1
- 2.Qxa1#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 2.Qxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sa8
- 2.Sd7#
- 1...Sc8
- 2.Sd7#
- 1...g6!
- 1...Bxa1
- 1.Qf1?
- 1...Bxa1
- 2.Qxa1#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...Sa4
- 2.Sd7#
- 2.Sd5#
- 1...Sc4
- 2.Sd7#
- 2.Sd5#
- 1...Sd5
- 2.Sd7#
- 2.Sxd5#
- 1...Sd7
- 2.Sxd7#
- 2.Sd5#
- 1...Sa8
- 2.Sd7#
- 2.Sd5#
- 1...Sc8
- 2.Sd7#
- 2.Sd5#
- 1...g6!
- 1...Bxa1
- 1.Qg1?
- 1...Bxa1
- 2.Qxa1#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 2.Qxd4#
- 1...Sf3
- 2.Se4#
- 2.Qg6#
- 1...Sh3
- 2.Se4#
- 2.Qg6#
- 1...Se4
- 2.Sxe4#
- 2.Qg6#
- 1...Se6
- 2.Se4#
- 2.Qg6#
- 1...Sf7
- 2.Se4#
- 2.Qg6#
- 1...Sh7
- 2.Se4#
- 2.Qg6#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sa8
- 2.Sd7#
- 1...Sc8
- 2.Sd7#
- 1...g6!
- 1...Bxa1
- 1.Qh2?
- threat
- 2.Bxe5#
- 2.Qxe5#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sc4
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Bxa1!
- threat
- 1.Qh3?
- 1...Sxh3
- 2.Se4#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 2.Qxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...g6
- 2.Qh8#
- 1...Sa4
- 2.Sd7#
- 2.Sd5#
- 1...Sc4
- 2.Sd7#
- 2.Sd5#
- 1...Sd5
- 2.Sd7#
- 2.Sxd5#
- 1...Sd7
- 2.Sxd7#
- 2.Sd5#
- 1...Sa8
- 2.Sd7#
- 2.Sd5#
- 1...Sc8
- 2.Sd7#
- 2.Sd5#
- 1...Bxa1!
- 1...Sxh3
- 1.Qh4?
- threat
- 2.Se4#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 2.Qxd4#
- 1...g6
- 2.Qh8#
- 1...Bxa1!
- threat
- 1.Qh5?
- threat
- 2.Qg6#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...g6
- 2.Qxg6#
- 2.Qh8#
- 1...Bxa1!
- threat
- 1.Qh6+?
- 1...g6
- 2.Qxg6#
- 2.Qh8#
- 1...gxh6!
- 1...g6
- 1.Qh7?
- threat
- 2.Qg6#
- 1...Sxh7
- 2.Se4#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...g6
- 2.Qxg6#
- 2.Qh8#
- 1...Bxa1!
- threat
- 1.Qh8?
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sa8
- 2.Sd7#
- 1...Sc8
- 2.Sd7#
- 1...Bxa1!
- 1...Bb2
- 1.Kd1?
- Keys
- 1.Kd3!
- 1...Bxa1
- 2.Qxa1#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Sf3
- 2.Se4#
- 1...Sh3
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Se6
- 2.Se4#
- 1...Sf7
- 2.Se4#
- 1...Sh7
- 2.Se4#
- 1...g6
- 2.Qh8#
- 1...Sa4
- 2.Sd7#
- 1...Sc4
- 2.Sd7#
- 1...Sd5
- 2.Sd7#
- 1...Sd7
- 2.Sxd7#
- 1...Sa8
- 2.Sd7#
- 1...Sc8
- 2.Sd7#
- 1...Bxa1
- 1.Kd3!
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(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- P(e);OGATEB::QAB(B)
- Tries
- Try
- K(C);S_FLIGHT
- Vars
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- P(e);OGATEB::QAB(B)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- K(C);S_FLIGHT
- Vars
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- P(e);OGATEB::QAB(B)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- K(C);P-FLIGHT
- Vars
- B(a);CHECK,OGATEB::B(A),XB(a)
- S(b);CHECK,N_GUARD::S(D),XS(b)
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- P(e);OGATEB::QAB(B)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- S(b);CHECK
- Try
- B(A);
- Vars
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- P(e);OGATEB::QAB(B)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- B(A);
- Vars
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- P(e);OGATEB::QAB(B)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- B(A);
- Vars
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- P(e);OGATEB::QAB(B)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- B(H);
- Threat
- S(G)
- Vars
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- P(e);OGATEB::QAB(B)
- Refutation
- S(b);XB(H)
- Try
- Q(B);
- Threat
- DUALS(2)
- Vars
- S(c);N_GUARD,XQ(B)::S(D)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- B(a);OGATEB::B(A),XB(a)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- Q(B);
- Vars
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- S(c);N_GUARD,XQ(B)::S(D)
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- P(e);
- Try
- Q(B);
- Vars
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- Refutation
- P(e);
- Try
- Q(B);
- Vars
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- P(e);
- Try
- Q(B);
- Vars
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- P(e);
- Try
- Q(B);
- Vars
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- P(e);
- Try
- Q(B);
- Vars
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- Refutation
- P(e);
- Try
- Q(B);
- Vars
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- B(a);OGATEB::B(A),XB(a)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- P(e);
- Try
- Q(B);
- Threat
- DUALS(2)
- Vars
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- B(a);OGATEB::B(A),XB(a)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- Q(B);
- Vars
- S(b);N_GUARD,XQ(B)::S(D)
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- P(e);OGATEB::QAB(B)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- Q(B);P_PINS(b)
- Threat
- S(D)
- Vars
- B(a);OGATEB::B(A),XB(a)
- P(e);OGATEB::QAB(B)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- Q(B);
- Threat
- QAR1(B)
- Vars
- B(a);OGATEB::B(A),XB(a)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- Q(B);CHECK
- Refutation
- P(e);XQ(B)
- Try
- Q(B);
- Threat
- QAR1(B)
- Vars
- S(b);N_GUARD,XQ(B)::S(D)
- B(a);OGATEB::B(A),XB(a)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- Q(B);P_PINP(e)
- Vars
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
- Refutation
- B(a);N_SPINB(a),XB(A)
- Try
- Actual
- K(C);S_FLIGHT
- Vars
- B(a);N_SPINB(a),OGATE,XB(A)::QAB(B),XB(a)
- B(a);OGATEB::B(A),XB(a)
- S(b);N_GUARD::S(D)
- S(b);N_GUARD::S(D),XS(b)
- P(e);OGATEB::QAB(B)
- S(c);N_GUARD::S(D)
- S(c);N_GUARD::S(D),XS(c)
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).