MESON Chess Problem Database
Problem Display
PID: 193786 (3N4/r1nP2QK/1p1N3R/b1kP3P/1p3B2/1P1R1B2/2P2q2/8 w - - 0 1)
White, Alain Campbell
Chess Amateur (The), 1916
#2
13 + 7
| 6490 | yacpdb | 2019 |
SOLUTION
- SOUND
- Sets
- 1...Qe1
- 2.Qd4#
- 1...Qg1
- 2.Qxg1#
- 1...Qe3
- 2.Bxe3#
- 1...Qg3
- 2.Be3#
- 2.Qd4#
- 1...Qd4
- 2.Qxd4#
- 1...Qh4
- 2.Qd4#
- 1...Qf1
- 2.Be3#
- 2.Qd4#
- 1...Qxc2
- 2.Be3#
- 2.Qd4#
- 1...Qd2
- 2.Qd4#
- 1...Qe2
- 2.Qd4#
- 1...Qg2
- 2.Be3#
- 2.Qd4#
- 1...Qh2
- 2.Be3#
- 2.Qd4#
- 1...Qxf3
- 2.Qd4#
- 1...Ra6
- 2.S8b7#
- 1...Rb7
- 2.S8xb7#
- 1...Ra8
- 2.S8b7#
- 1...Sb5
- 2.Se4#
- 2.Se6#
- 1...Sxd5
- 2.Rxd5#
- 1...Sa6
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 1...Sa8
- 2.Se6#
- 1...Se8
- 2.Se6#
- 1...b5
- 2.Se4#
- 1...Qe1
- Tries
- 1.Kg8?
- 1...Qxc2
- 2.Be3#
- 2.Qd4#
- 1...Qxf3
- 2.Qd4#
- 1...Sxd5
- 2.Rxd5#
- 1...b5
- 2.Se4#
- 1...Qe1
- 2.Qd4#
- 1...Qg1
- 2.Qxg1#
- 1...Qe3
- 2.Bxe3#
- 1...Qg3
- 2.Be3#
- 1...Qd4
- 2.Qxd4#
- 1...Qh4
- 2.Qd4#
- 1...Qf1
- 2.Be3#
- 2.Qd4#
- 1...Qd2
- 2.Qd4#
- 1...Qe2
- 2.Qd4#
- 1...Qg2
- 2.Be3#
- 1...Qh2
- 2.Be3#
- 2.Qd4#
- 1...Ra6
- 2.S8b7#
- 1...Rb7
- 2.S8xb7#
- 1...Sb5
- 2.Se4#
- 2.Se6#
- 1...Sa6
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 1...Sa8
- 2.Se6#
- 1...Se8
- 2.Se6#
- 1...Ra8!
- 1...Qxc2
- 1.Kh8?
- 1...Qxc2
- 2.Be3#
- 2.Qd4#
- 1...Qxf3
- 2.Qd4#
- 1...Sxd5
- 2.Rxd5#
- 1...b5
- 2.Se4#
- 1...Qe1
- 2.Qd4#
- 1...Qg1
- 2.Qxg1#
- 1...Qe3
- 2.Bxe3#
- 1...Qg3
- 2.Be3#
- 2.Qd4#
- 1...Qd4
- 2.Qxd4#
- 1...Qh4
- 2.Qd4#
- 1...Qf1
- 2.Be3#
- 2.Qd4#
- 1...Qd2
- 2.Qd4#
- 1...Qe2
- 2.Qd4#
- 1...Qg2
- 2.Be3#
- 2.Qd4#
- 1...Qh2
- 2.Be3#
- 2.Qd4#
- 1...Ra6
- 2.S8b7#
- 1...Rb7
- 2.S8xb7#
- 1...Sb5
- 2.Se4#
- 2.Se6#
- 1...Sa6
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 1...Sa8
- 2.Se6#
- 1...Se8
- 2.Se6#
- 1...Ra8!
- 1...Qxc2
- 1.Bh1?
- 1...Qxc2
- 2.Be3#
- 2.Qd4#
- 1...Sxd5
- 2.Rxd5#
- 1...b5
- 2.Se4#
- 1...Ra8
- 2.S8b7#
- 1...Qe1
- 2.Qd4#
- 1...Qg1
- 2.Qxg1#
- 1...Qe3
- 2.Bxe3#
- 1...Qg3
- 2.Qd4#
- 1...Qd4
- 2.Qxd4#
- 1...Qh4
- 2.Qd4#
- 1...Qf1
- 2.Be3#
- 2.Qd4#
- 1...Qd2
- 2.Qd4#
- 1...Qe2
- 2.Qd4#
- 1...Qg2
- 2.Be3#
- 2.Qd4#
- 1...Qh2
- 2.Be3#
- 2.Qd4#
- 1...Qf3
- 2.Qd4#
- 1...Ra6
- 2.S8b7#
- 1...Rb7
- 2.S8xb7#
- 1...Sb5
- 2.Se4#
- 2.Se6#
- 1...Sa6
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 1...Sa8
- 2.Se6#
- 1...Se8
- 2.Se6#
- 1...Qxf4!
- 1...Qxc2
- 1.Be4?
- 1...Qxc2
- 2.Be3#
- 2.Qd4#
- 1...Qxf4
- 2.Qd4#
- 1...Sxd5
- 2.Rxd5#
- 1...Ra8
- 2.S8b7#
- 1...Qe1
- 2.Qd4#
- 1...Qg1
- 2.Qxg1#
- 1...Qe3
- 2.Bxe3#
- 1...Qg3
- 2.Qd4#
- 1...Qd4
- 2.Qxd4#
- 1...Qh4
- 2.Be3#
- 2.Qd4#
- 1...Qf1
- 2.Be3#
- 2.Qd4#
- 1...Qd2
- 2.Qd4#
- 1...Qe2
- 2.Qd4#
- 1...Qg2
- 2.Be3#
- 2.Qd4#
- 1...Qh2
- 2.Be3#
- 2.Qd4#
- 1...Qf3
- 2.Qd4#
- 1...Ra6
- 2.S8b7#
- 1...Rb7
- 2.S8xb7#
- 1...Sb5
- 2.Se6#
- 1...Sa6
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 1...Sa8
- 2.Se6#
- 1...Se8
- 2.Se6#
- 1...b5!
- 1...Qxc2
- 1.Rd2?
- 1...Qxf3
- 2.Qd4#
- 1...Sxd5
- 2.Rxd5#
- 1...b5
- 2.Se4#
- 1...Ra8
- 2.S8b7#
- 1...Qe1
- 2.Qd4#
- 1...Qg1
- 2.Qxg1#
- 1...Qe3
- 2.Bxe3#
- 1...Qg3
- 2.Be3#
- 2.Qd4#
- 1...Qd4
- 2.Qxd4#
- 1...Qh4
- 2.Qd4#
- 1...Qf1
- 2.Be3#
- 2.Qd4#
- 1...Qe2
- 2.Qd4#
- 1...Qg2
- 2.Be3#
- 2.Qd4#
- 1...Qh2
- 2.Be3#
- 2.Qd4#
- 1...Ra6
- 2.S8b7#
- 1...Rb7
- 2.S8xb7#
- 1...Sb5
- 2.Se4#
- 2.Se6#
- 1...Sa6
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 1...Sa8
- 2.Se6#
- 1...Se8
- 2.Se6#
- 1...Qxd2!
- 1...Qxf3
- 1.Rg6?
- 1...Qxc2
- 2.Be3#
- 2.Qd4#
- 1...Qxf3
- 2.Qd4#
- 1...Sxd5
- 2.Rxd5#
- 1...b5
- 2.Se4#
- 1...Ra8
- 2.S8b7#
- 1...Qe1
- 2.Qd4#
- 1...Qe3
- 2.Bxe3#
- 1...Qg3
- 2.Be3#
- 2.Qd4#
- 1...Qd4
- 2.Qxd4#
- 1...Qh4
- 2.Qd4#
- 1...Qf1
- 2.Be3#
- 2.Qd4#
- 1...Qd2
- 2.Qd4#
- 1...Qe2
- 2.Qd4#
- 1...Qg2
- 2.Be3#
- 2.Qd4#
- 1...Qh2
- 2.Be3#
- 2.Qd4#
- 1...Ra6
- 2.S8b7#
- 1...Rb7
- 2.S8xb7#
- 1...Sb5
- 2.Se4#
- 2.Se6#
- 1...Sa6
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 1...Sa8
- 2.Se6#
- 1...Se8
- 2.Se6#
- 1...Qg1!
- 1...Qxc2
- 1.Qb2?
- 1...Qxc2
- 2.Be3#
- 2.Qd4#
- 2.Qxc2#
- 1...Qxf3
- 2.Qd4#
- 1...Sxd5
- 2.Rxd5#
- 1...b5
- 2.Se4#
- 1...Qe1
- 2.Qd4#
- 1...Qe3
- 2.Bxe3#
- 1...Qg3
- 2.Be3#
- 2.Qd4#
- 1...Qd4
- 2.Qxd4#
- 1...Qh4
- 2.Qd4#
- 1...Qf1
- 2.Be3#
- 2.Qd4#
- 1...Qd2
- 2.Qd4#
- 1...Qe2
- 2.Qd4#
- 1...Qg2
- 2.Be3#
- 2.Qd4#
- 1...Qh2
- 2.Be3#
- 2.Qd4#
- 1...Ra6
- 2.S8b7#
- 1...Rb7
- 2.S8xb7#
- 1...Ra8
- 2.S8b7#
- 1...Sb5
- 2.Se4#
- 2.Se6#
- 1...Sa6
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 1...Sa8
- 2.Se6#
- 1...Se8
- 2.Se6#
- 1...Qg1!
- 1...Qxc2
- 1.Qe5?
- 1...Qxc2
- 2.Be3#
- 2.Qd4#
- 2.Qe3#
- 1...Qxf3
- 2.Qd4#
- 1...Sxd5
- 2.Rxd5#
- 2.Qxd5#
- 1...b5
- 2.Se4#
- 1...Qe1
- 2.Qd4#
- 1...Qe3
- 2.Bxe3#
- 2.Qxe3#
- 1...Qg3
- 2.Be3#
- 2.Qd4#
- 2.Qe3#
- 1...Qd4
- 2.Qxd4#
- 1...Qh4
- 2.Qd4#
- 2.Qe3#
- 1...Qf1
- 2.Be3#
- 2.Qd4#
- 2.Qe3#
- 1...Qd2
- 2.Qd4#
- 1...Qe2
- 2.Qd4#
- 1...Qg2
- 2.Be3#
- 2.Qd4#
- 2.Qe3#
- 1...Qh2
- 2.Be3#
- 2.Qd4#
- 2.Qe3#
- 1...Ra6
- 2.S8b7#
- 1...Rb7
- 2.S8xb7#
- 1...Ra8
- 2.S8b7#
- 1...Sb5
- 2.Se4#
- 2.Se6#
- 1...Sa6
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 2.dxe6#
- 1...Sa8
- 2.Se6#
- 1...Se8
- 2.Se6#
- 1...Qg1!
- 1...Qxc2
- 1.Qf6?
- 1...Qxc2
- 2.Be3#
- 2.Qd4#
- 1...Qxf3
- 2.Qd4#
- 1...Sxd5
- 2.Rxd5#
- 1...b5
- 2.Se4#
- 1...Qe1
- 2.Qd4#
- 1...Qe3
- 2.Bxe3#
- 1...Qg3
- 2.Be3#
- 2.Qd4#
- 1...Qd4
- 2.Qxd4#
- 1...Qh4
- 2.Qd4#
- 1...Qf1
- 2.Be3#
- 2.Qd4#
- 1...Qd2
- 2.Qd4#
- 1...Qe2
- 2.Qd4#
- 1...Qg2
- 2.Be3#
- 2.Qd4#
- 1...Qh2
- 2.Be3#
- 2.Qd4#
- 1...Ra6
- 2.S8b7#
- 1...Rb7
- 2.S8xb7#
- 1...Ra8
- 2.S8b7#
- 1...Sb5
- 2.Se4#
- 2.Se6#
- 1...Sa6
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 1...Sa8
- 2.Se6#
- 1...Se8
- 2.Se6#
- 1...Qg1!
- 1...Qxc2
- 1.Qh8?
- 1...Qxc2
- 2.Be3#
- 2.Qd4#
- 1...Qxf3
- 2.Qd4#
- 1...Sxd5
- 2.Rxd5#
- 1...b5
- 2.Se4#
- 1...Qe1
- 2.Qd4#
- 1...Qe3
- 2.Bxe3#
- 1...Qg3
- 2.Be3#
- 2.Qd4#
- 1...Qd4
- 2.Qxd4#
- 1...Qh4
- 2.Qd4#
- 1...Qf1
- 2.Be3#
- 2.Qd4#
- 1...Qd2
- 2.Qd4#
- 1...Qe2
- 2.Qd4#
- 1...Qg2
- 2.Be3#
- 2.Qd4#
- 1...Qh2
- 2.Be3#
- 2.Qd4#
- 1...Ra6
- 2.S8b7#
- 1...Rb7
- 2.S8xb7#
- 1...Ra8
- 2.S8b7#
- 1...Sb5
- 2.Se4#
- 2.Se6#
- 1...Sa6
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 1...Sa8
- 2.Se6#
- 1...Se8
- 2.Se6#
- 1...Qg1!
- 1...Qxc2
- 1.Qg1?
- threat
- 2.Qxf2#
- 1...Sxd5
- 2.Rxd5#
- 1...Qe3
- 2.Bxe3#
- 2.Qxe3#
- 1...Qd4
- 2.Qxd4#
- 1...Sb5
- 2.Se4#
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 1...Qxg1!
- threat
- 1.c3?
- 1...Qxf3
- 2.Qd4#
- 1...Sxd5
- 2.Rxd5#
- 1...b5
- 2.Se4#
- 1...Qg1
- 2.Qxg1#
- 1...Qe1
- 2.Qd4#
- 1...Qe3
- 2.Bxe3#
- 1...Qg3
- 2.Be3#
- 2.Qd4#
- 1...Qd4
- 2.Qxd4#
- 2.cxd4#
- 1...Qh4
- 2.Qd4#
- 1...Qf1
- 2.Be3#
- 2.Qd4#
- 1...Qa2
- 2.Be3#
- 2.Qd4#
- 1...Qb2
- 2.Be3#
- 2.Qd4#
- 1...Qc2
- 2.Be3#
- 2.Qd4#
- 1...Qd2
- 2.Qd4#
- 1...Qe2
- 2.Qd4#
- 1...Qg2
- 2.Be3#
- 2.Qd4#
- 1...Qh2
- 2.Be3#
- 2.Qd4#
- 1...Ra6
- 2.S8b7#
- 1...Rb7
- 2.S8xb7#
- 1...Ra8
- 2.S8b7#
- 1...Sb5
- 2.Se4#
- 2.Se6#
- 1...Sa6
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 1...Sa8
- 2.Se6#
- 1...Se8
- 2.Se6#
- 1...bxc3!
- 1...Qxf3
- 1.c4?
- threat
- 2.Se4#
- 1...Qxf3
- 2.Qd4#
- 1...Qe1
- 2.Qd4#
- 1...Qe3
- 2.Bxe3#
- 1...Qd4
- 2.Qxd4#
- 1...Qe2
- 2.Qd4#
- 1...bxc4 ep!
- threat
- 1.Kg8?
- Keys
- 1.Qa1!
- 1...Qxc2
- 2.Be3#
- 2.Qd4#
- 1...Qxf3
- 2.Qd4#
- 1...Sxd5
- 2.Rxd5#
- 1...b5
- 2.Se4#
- 1...Qg1
- 2.Qxg1#
- 1...Qe1
- 2.Qd4#
- 1...Qe3
- 2.Bxe3#
- 1...Qg3
- 2.Be3#
- 2.Qd4#
- 1...Qd4
- 2.Qxd4#
- 1...Qh4
- 2.Qd4#
- 1...Qf1
- 2.Be3#
- 2.Qd4#
- 1...Qd2
- 2.Qd4#
- 1...Qe2
- 2.Qd4#
- 1...Qg2
- 2.Be3#
- 2.Qd4#
- 1...Qh2
- 2.Be3#
- 2.Qd4#
- 1...Ra6
- 2.S8b7#
- 1...Rb7
- 2.S8xb7#
- 1...Ra8
- 2.S8b7#
- 1...Sb5
- 2.Se4#
- 2.Se6#
- 1...Sa6
- 2.Se6#
- 1...Se6
- 2.Sxe6#
- 1...Sa8
- 2.Se6#
- 1...Se8
- 2.Se6#
- 1...Qxc2
- 1.Qa1!
FEATURES
- Static
- TYPE = WAITER
- CHANGED MATES = 0
- ADDED MATES = 0
- REMOVED MATES = 0
- Sets
- Q(a);N_GUARD::QAB1(K)
- Q(a);OGATEB::QAB(K),XQ(a)
- Q(a);N_GUARD::B(E),XQ(a)
- Q(a);N_GUARD::QAB1(K),XQ(a)
- Q(a);N_GUARD,XB(D)::QAB1(K)
- R(f);N_GUARD::S(M)
- R(f);N_GUARD::S(M),XR(f)
- S(g);OGATE,XP(F)::R1(C),XS(g)
- S(g);N_GUARD::S(M)
- S(g);N_GUARD::S(M),XS(g)
- P(e);SBLOCK::S(H)
- Tries
- Try
- K(L);S_FLIGHT
- Vars
- Q(a);N_GUARD,XB(D)::QAB1(K)
- S(g);OGATE,XP(F)::R1(C),XS(g)
- P(e);SBLOCK::S(H)
- Q(a);N_GUARD::QAB1(K)
- Q(a);OGATEB,P_PINQ(K)::QAB(K),XQ(a)
- Q(a);N_GUARD::B(E),XQ(a)
- Q(a);N_GUARD,P_PINQ(K)::B(E)
- Q(a);N_GUARD::QAB1(K),XQ(a)
- R(f);N_GUARD::S(M)
- R(f);N_GUARD::S(M),XR(f)
- S(g);N_GUARD::S(M)
- S(g);N_GUARD::S(M),XS(g)
- Refutation
- R(f);P_PINS(M)
- Try
- K(L);P-FLIGHT
- Vars
- Q(a);N_GUARD,XB(D)::QAB1(K)
- S(g);OGATE,XP(F)::R1(C),XS(g)
- P(e);SBLOCK::S(H)
- Q(a);N_GUARD::QAB1(K)
- Q(a);OGATEB::QAB(K),XQ(a)
- Q(a);N_GUARD::B(E),XQ(a)
- Q(a);N_GUARD,P_PINQ(K)::QAB1(K),XQ(a)
- R(f);N_GUARD::S(M)
- R(f);N_GUARD::S(M),XR(f)
- S(g);N_GUARD::S(M)
- S(g);N_GUARD::S(M),XS(g)
- Refutation
- R(f);P_PINS(M)
- Try
- B(D);
- Vars
- S(g);OGATE,XP(F)::R1(C),XS(g)
- P(e);SBLOCK::S(H)
- R(f);N_GUARD::S(M)
- Q(a);N_GUARD::QAB1(K)
- Q(a);OGATEB::QAB(K),XQ(a)
- Q(a);N_GUARD::B(E),XQ(a)
- Q(a);N_GUARD::QAB1(K),XQ(a)
- R(f);N_GUARD::S(M),XR(f)
- S(g);N_GUARD::S(M)
- S(g);N_GUARD::S(M),XS(g)
- Refutation
- Q(a);XB(E)
- Try
- B(D);
- Vars
- Q(a);N_GUARD,XB(E)::QAB1(K)
- S(g);OGATE,XP(F)::R1(C),XS(g)
- R(f);N_GUARD::S(M)
- Q(a);N_GUARD::QAB1(K)
- Q(a);OGATEB::QAB(K),XQ(a)
- Q(a);N_GUARD::B(E),XQ(a)
- Q(a);N_GUARD::QAB1(K),XQ(a)
- R(f);N_GUARD::S(M),XR(f)
- S(g);N_GUARD::S(M)
- S(g);N_GUARD::S(M),XS(g)
- Refutation
- P(e);
- Try
- R(C);
- Vars
- Q(a);N_GUARD,XB(D)::QAB1(K)
- S(g);OGATE,XP(F)::R1(C),XS(g)
- P(e);SBLOCK::S(H)
- R(f);N_GUARD::S(M)
- Q(a);N_GUARD::QAB1(K)
- Q(a);OGATEB::QAB(K),XQ(a)
- Q(a);N_GUARD::B(E),XQ(a)
- Q(a);N_GUARD::QAB1(K),XQ(a)
- R(f);N_GUARD::S(M),XR(f)
- S(g);N_GUARD::S(M)
- S(g);N_GUARD::S(M),XS(g)
- Refutation
- Q(a);XR(C)
- Try
- R(I);
- Vars
- Q(a);N_GUARD,XB(D)::QAB1(K)
- S(g);OGATE,XP(F)::R1(C),XS(g)
- P(e);SBLOCK::S(H)
- R(f);N_GUARD::S(M)
- Q(a);N_GUARD::QAB1(K)
- Q(a);N_GUARD::B(E),XQ(a)
- Q(a);N_GUARD::QAB1(K),XQ(a)
- Q(a);N_GUARD,P_PINP(G)::QAB1(K)
- R(f);N_GUARD::S(M),XR(f)
- S(g);N_GUARD::S(M)
- S(g);N_GUARD::S(M),XS(g)
- Refutation
- Q(a);
- Try
- Q(K);
- Vars
- Q(a);N_GUARD,XB(D)::QAB1(K)
- S(g);OGATE,P_PINP(J),XP(F)::R1(C),XS(g)
- P(e);SBLOCK::S(H)
- Q(a);N_GUARD::QAB1(K)
- Q(a);N_GUARD::B(E),XQ(a)
- Q(a);N_GUARD::QAB1(K),XQ(a)
- R(f);N_GUARD::S(M)
- R(f);N_GUARD::S(M),XR(f)
- S(g);N_GUARD,P_PINP(J)::S(M)
- S(g);N_GUARD,P_PINP(J)::S(M),XS(g)
- Refutation
- Q(a);
- Try
- Q(K);
- Vars
- Q(a);N_GUARD,XB(D)::QAB1(K)
- P(e);SBLOCK::S(H)
- Q(a);N_GUARD::QAB1(K)
- Q(a);N_GUARD::QAB1(K),XQ(a)
- R(f);N_GUARD::S(M)
- R(f);N_GUARD::S(M),XR(f)
- S(g);N_GUARD,P_PINP(J)::S(M)
- Refutation
- Q(a);
- Try
- Q(K);
- Vars
- Q(a);N_GUARD,XB(D)::QAB1(K)
- S(g);OGATE,P_PINP(J),XP(F)::R1(C),XS(g)
- P(e);SBLOCK::S(H)
- Q(a);N_GUARD::QAB1(K)
- Q(a);N_GUARD::B(E),XQ(a)
- Q(a);N_GUARD::QAB1(K),XQ(a)
- R(f);N_GUARD::S(M)
- R(f);N_GUARD::S(M),XR(f)
- S(g);N_GUARD,P_PINP(J)::S(M)
- S(g);N_GUARD,P_PINP(J)::S(M),XS(g)
- Refutation
- Q(a);
- Try
- Q(K);
- Vars
- Q(a);N_GUARD,XB(D)::QAB1(K)
- S(g);OGATE,P_PINP(J),XP(F)::R1(C),XS(g)
- P(e);SBLOCK::S(H)
- Q(a);N_GUARD::QAB1(K)
- Q(a);N_GUARD::B(E),XQ(a)
- Q(a);N_GUARD::QAB1(K),XQ(a)
- R(f);N_GUARD::S(M)
- R(f);N_GUARD::S(M),XR(f)
- S(g);N_GUARD,P_PINP(J)::S(M)
- S(g);N_GUARD,P_PINP(J)::S(M),XS(g)
- Refutation
- Q(a);
- Try
- Q(K);P_PINQ(a)
- Threat
- QAB(K),XQ(a)
- Vars
- S(g);OGATE,P_PINP(J),XP(F)::R1(C),XS(g)
- Q(a);OGATE::QAB1(K),XQ(a)
- S(g);N_GUARD,P_PINP(J)::S(M),XS(g)
- Refutation
- Q(a);N_SPINQ(a),XQ(K)
- Try
- P(A);
- Vars
- Q(a);N_GUARD,XB(D)::QAB1(K)
- S(g);OGATE,XP(F)::R1(C),XS(g)
- P(e);SBLOCK::S(H)
- Q(a);OGATEB::QAB(K),XQ(a)
- Q(a);N_GUARD::QAB1(K)
- Q(a);N_GUARD::B(E),XQ(a)
- R(f);N_GUARD::S(M)
- R(f);N_GUARD::S(M),XR(f)
- S(g);N_GUARD::S(M)
- S(g);N_GUARD::S(M),XS(g)
- Refutation
- P(b);XP(A)
- Try
- P(A);
- Threat
- S(H)
- Vars
- Q(a);N_GUARD,XB(D)::QAB1(K)
- Q(a);N_GUARD::QAB1(K)
- Q(a);N_GUARD::B(E),XQ(a)
- Q(a);N_GUARD::QAB1(K),XQ(a)
- Refutation
- P(b);EP,XP(A)
- Try
- Actual
- Q(K);
- Vars
- Q(a);N_GUARD,XB(D)::QAB1(K)
- S(g);OGATE,P_PINP(J),XP(F)::R1(C),XS(g)
- P(e);SBLOCK::S(H)
- Q(a);OGATEB::QAB(K),XQ(a)
- Q(a);N_GUARD::QAB1(K)
- Q(a);N_GUARD::B(E),XQ(a)
- Q(a);N_GUARD::QAB1(K),XQ(a)
- R(f);N_GUARD::S(M)
- R(f);N_GUARD::S(M),XR(f)
- S(g);N_GUARD,P_PINP(J)::S(M)
- S(g);N_GUARD,P_PINP(J)::S(M),XS(g)
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).