MESON Chess Problem Database
Problem Display
PID: 55451 (2Q3K1/q4p2/2n5/1b4R1/2k1B3/3N4/n1N5/BR6 w - - 0 1)
O'Keefe, John James
Smith, William James
4th Prize, Brisbane Courier, 1916-1917
#2
8 + 6
| 14907 | Good Companion Chess Problem Club | 1918 |
| 3360 | Simple Two-move Themes | 1924 |
| 934 | Social Chess Quarterly (The) | 1934 |
| 56 | The Problemist | 2005 |
| 3389 | Belgian Solving Championship | 2011 |
SOLUTION
- SOUND
- Sets
- 1...Qg1
- 2.Sa3#
- 1...Qf2
- 2.Sa3#
- 1...Qe3
- 2.Sa3#
- 2.Sxe3#
- 1...Qd4
- 2.Sa3#
- 1...Qc5
- 2.Rxc5#
- 1...Qb6
- 2.Sa3#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qa3
- 2.Sxa3#
- 2.Se3#
- 1...Qa4
- 2.Se3#
- 2.Rc5#
- 1...Qa5
- 2.Se3#
- 2.Rc5#
- 1...Qa6
- 2.Se3#
- 2.Rc5#
- 1...Qb7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qe7
- 2.Se3#
- 1...Qa8
- 2.Se3#
- 2.Rc5#
- 1...Ba4
- 2.Sa3#
- 1...Ba6
- 2.Sa3#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f5
- 2.Qe6#
- 1...f6
- 2.Qe6#
- 1...Qg1
- Tries
- 1.Kf8?
- 1...Qc5+
- 2.Rxc5#
- 1...Qa3+
- 2.Sxa3#
- 1...Qg1
- 2.Sa3#
- 1...Qf2
- 2.Sa3#
- 1...Qe3
- 2.Sa3#
- 2.Sxe3#
- 1...Qd4
- 2.Sa3#
- 1...Qb6
- 2.Sa3#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qa4
- 2.Se3#
- 2.Rc5#
- 1...Qa5
- 2.Se3#
- 2.Rc5#
- 1...Qa6
- 2.Se3#
- 2.Rc5#
- 1...Qb7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qa8
- 2.Se3#
- 2.Rc5#
- 1...Ba4
- 2.Sa3#
- 1...Ba6
- 2.Sa3#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f5
- 2.Qe6#
- 1...f6
- 2.Qe6#
- 1...Qe7+!
- 1...Qc5+
- 1.Kh8?
- 1...Qg1
- 2.Sa3#
- 1...Qf2
- 2.Sa3#
- 1...Qe3
- 2.Sa3#
- 2.Sxe3#
- 1...Qc5
- 2.Rxc5#
- 1...Qb6
- 2.Sa3#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qa3
- 2.Sxa3#
- 2.Se3#
- 1...Qa4
- 2.Se3#
- 2.Rc5#
- 1...Qa5
- 2.Se3#
- 2.Rc5#
- 1...Qa6
- 2.Se3#
- 2.Rc5#
- 1...Qb7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qe7
- 2.Se3#
- 1...Qa8
- 2.Se3#
- 2.Rc5#
- 1...Ba4
- 2.Sa3#
- 1...Ba6
- 2.Sa3#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f5
- 2.Qe6#
- 1...f6
- 2.Qe6#
- 1...Qd4+!
- 1...Qg1
- 1.Sce1?
- threat
- 2.Bd5#
- 1...Sc3
- 2.Rb4#
- 1...Qc5
- 2.Rxc5#
- 1...Qd7
- 2.Rc5#
- 1...Sb4
- 2.Rxb4#
- 1...f5
- 2.Qe6#
- 1...Qd4!
- threat
- 1.Sc1?
- threat
- 2.Bd3#
- 1...Sxc1
- 2.Rb4#
- 1...Qd4
- 2.Sa3#
- 1...Qe3
- 2.Sxe3#
- 1...Qa3
- 2.Sxa3#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 1...Sb4
- 2.Rxb4#
- 1...f5!
- threat
- 1.Sde1?
- threat
- 2.Bd3#
- 1...Qd4
- 2.Sa3#
- 1...Qe3
- 2.Sxe3#
- 1...Qa3
- 2.Sxa3#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 1...Sc1
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f5!
- threat
- 1.Sf2?
- threat
- 2.Bd3#
- 1...Qxf2
- 2.Sa3#
- 1...Qd4
- 2.Sa3#
- 1...Qe3
- 2.Sxe3#
- 1...Qa3
- 2.Sxa3#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 1...Sc1
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f5!
- threat
- 1.Sf4?
- threat
- 2.Bd3#
- 1...Qd4
- 2.Sa3#
- 1...Qe3
- 2.Sxe3#
- 1...Qa3
- 2.Sxa3#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 1...Sc1
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f5!
- threat
- 1.Bf6?
- 1...Qg1
- 2.Sa3#
- 1...Qf2
- 2.Sa3#
- 1...Qe3
- 2.Sa3#
- 2.Sxe3#
- 1...Qc5
- 2.Rxc5#
- 1...Qb6
- 2.Sa3#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qa3
- 2.Sxa3#
- 2.Se3#
- 1...Qa4
- 2.Se3#
- 2.Rc5#
- 1...Qa5
- 2.Se3#
- 2.Rc5#
- 1...Qa6
- 2.Se3#
- 2.Rc5#
- 1...Qb7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qe7
- 2.Se3#
- 1...Qa8
- 2.Se3#
- 2.Rc5#
- 1...Ba4
- 2.Sa3#
- 1...Ba6
- 2.Sa3#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...Qd4!
- 1...Qg1
- 1.Rbxb5?
- 1...Qc5
- 2.Rgxc5#
- 1...Sb4
- 2.Rxb4#
- 1...Qd4
- 2.Sa3#
- 1...Qg1
- 2.Sa3#
- 1...Qf2
- 2.Sa3#
- 1...Qe3
- 2.Sa3#
- 2.Sxe3#
- 1...Qb6
- 2.Sa3#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 2.Rgc5#
- 1...Qa3
- 2.Sxa3#
- 2.Se3#
- 1...Qa4
- 2.Se3#
- 2.Rgc5#
- 2.Qxc6#
- 1...Qa5
- 2.Se3#
- 2.Rgc5#
- 2.Qxc6#
- 1...Qa6
- 2.Se3#
- 2.Rgc5#
- 1...Qb7
- 2.Sa3#
- 2.Se3#
- 2.Rgc5#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 2.Rgc5#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 2.Rgc5#
- 1...Qe7
- 2.Se3#
- 1...Qa8
- 2.Se3#
- 2.Rgc5#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Sb2#
- 2.Rb4#
- 1...f6
- 2.Qe6#
- 1...f5!
- 1...Qc5
- 1.Rg2?
- 1...Qd4
- 2.Sa3#
- 1...Qg1
- 2.Sa3#
- 1...Qf2
- 2.Sa3#
- 1...Qe3
- 2.Sa3#
- 2.Sxe3#
- 1...Qb6
- 2.Sa3#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 1...Qa3
- 2.Sxa3#
- 2.Se3#
- 1...Qa4
- 2.Se3#
- 1...Qa5
- 2.Se3#
- 1...Qa6
- 2.Se3#
- 1...Qb7
- 2.Sa3#
- 2.Se3#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 1...Qe7
- 2.Se3#
- 1...Qa8
- 2.Se3#
- 1...Ba4
- 2.Sa3#
- 1...Ba6
- 2.Sa3#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f5
- 2.Qe6#
- 1...f6
- 2.Qe6#
- 1...Qc5!
- 1...Qd4
- 1.Rg4?
- 1...Qd4
- 2.Sa3#
- 1...Qg1
- 2.Sa3#
- 1...Qf2
- 2.Sa3#
- 1...Qe3
- 2.Sa3#
- 2.Sxe3#
- 1...Qb6
- 2.Sa3#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 1...Qa3
- 2.Sxa3#
- 2.Se3#
- 1...Qa4
- 2.Se3#
- 1...Qa5
- 2.Se3#
- 1...Qa6
- 2.Se3#
- 1...Qb7
- 2.Sa3#
- 2.Se3#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 1...Qe7
- 2.Se3#
- 1...Qa8
- 2.Se3#
- 1...Ba4
- 2.Sa3#
- 1...Ba6
- 2.Sa3#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f5
- 2.Qe6#
- 1...f6
- 2.Qe6#
- 1...Qc5!
- 1...Qd4
- 1.Rgxb5?
- threat
- 2.Se5#
- 1...Sb4
- 2.R1xb4#
- 2.R5xb4#
- 1...Qd4
- 2.Sa3#
- 1...Qc5
- 2.Rxc5#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qe7
- 2.Se3#
- 1...f6
- 2.Qe6#
- 1...Qg1+!
- threat
- 1.Re5?
- 1...Qd4
- 2.Sa3#
- 1...Qf2
- 2.Sa3#
- 1...Qe3
- 2.Sa3#
- 2.Sxe3#
- 1...Qc5
- 2.Rxc5#
- 1...Qb6
- 2.Sa3#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qa3
- 2.Sxa3#
- 2.Se3#
- 1...Qa4
- 2.Se3#
- 2.Rc5#
- 1...Qa5
- 2.Se3#
- 2.Rc5#
- 1...Qa6
- 2.Se3#
- 2.Rc5#
- 1...Qb7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qe7
- 2.Se3#
- 1...Qa8
- 2.Se3#
- 2.Rc5#
- 1...Ba4
- 2.Sa3#
- 1...Ba6
- 2.Sa3#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f5
- 2.Qe6#
- 1...f6
- 2.Qe6#
- 1...Qg1+!
- 1...Qd4
- 1.Rf5?
- 1...Qd4
- 2.Sa3#
- 1...Qf2
- 2.Sa3#
- 1...Qe3
- 2.Sa3#
- 2.Sxe3#
- 1...Qc5
- 2.Rxc5#
- 1...Qb6
- 2.Sa3#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qa3
- 2.Sxa3#
- 2.Se3#
- 1...Qa4
- 2.Se3#
- 2.Rc5#
- 1...Qa5
- 2.Se3#
- 2.Rc5#
- 1...Qa6
- 2.Se3#
- 2.Rc5#
- 1...Qb7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qe7
- 2.Se3#
- 1...Qa8
- 2.Se3#
- 2.Rc5#
- 1...Ba4
- 2.Sa3#
- 1...Ba6
- 2.Sa3#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f6
- 2.Qe6#
- 1...Qg1+!
- 1...Qd4
- 1.Rh5?
- 1...Qd4
- 2.Sa3#
- 1...Qf2
- 2.Sa3#
- 1...Qe3
- 2.Sa3#
- 2.Sxe3#
- 1...Qc5
- 2.Rxc5#
- 1...Qb6
- 2.Sa3#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qa3
- 2.Sxa3#
- 2.Se3#
- 1...Qa4
- 2.Se3#
- 2.Rc5#
- 1...Qa5
- 2.Se3#
- 2.Rc5#
- 1...Qa6
- 2.Se3#
- 2.Rc5#
- 1...Qb7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 2.Rc5#
- 1...Qe7
- 2.Se3#
- 1...Qa8
- 2.Se3#
- 2.Rc5#
- 1...Ba4
- 2.Sa3#
- 1...Ba6
- 2.Sa3#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f5
- 2.Qe6#
- 1...f6
- 2.Qe6#
- 1...Qg1+!
- 1...Qd4
- 1.Rg6?
- 1...fxg6
- 2.Qe6#
- 1...Qd4
- 2.Sa3#
- 1...Qg1
- 2.Sa3#
- 1...Qf2
- 2.Sa3#
- 1...Qe3
- 2.Sa3#
- 2.Sxe3#
- 1...Qb6
- 2.Sa3#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 1...Qa3
- 2.Sxa3#
- 2.Se3#
- 1...Qa4
- 2.Se3#
- 1...Qa5
- 2.Se3#
- 1...Qa6
- 2.Se3#
- 1...Qb7
- 2.Sa3#
- 2.Se3#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 1...Qe7
- 2.Se3#
- 1...Qa8
- 2.Se3#
- 1...Ba4
- 2.Sa3#
- 1...Ba6
- 2.Sa3#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f5
- 2.Qe6#
- 1...f6
- 2.Qe6#
- 1...Qc5!
- 1...fxg6
- 1.Rg7?
- 1...Qd4
- 2.Sa3#
- 1...Qg1
- 2.Sa3#
- 1...Qf2
- 2.Sa3#
- 1...Qe3
- 2.Sa3#
- 2.Sxe3#
- 1...Qb6
- 2.Sa3#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 1...Qa3
- 2.Sxa3#
- 2.Se3#
- 1...Qa4
- 2.Se3#
- 1...Qa5
- 2.Se3#
- 1...Qa6
- 2.Se3#
- 1...Qb7
- 2.Sa3#
- 2.Se3#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 1...Qe7
- 2.Se3#
- 1...Qa8
- 2.Se3#
- 1...Ba4
- 2.Sa3#
- 1...Ba6
- 2.Sa3#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f5
- 2.Qe6#
- 1...f6
- 2.Qe6#
- 1...Qc5!
- 1...Qd4
- 1.Qxc6+?
- 1...Qc5
- 2.Sa3#
- 2.Se3#
- 2.Se5#
- 2.Rxc5#
- 2.Qxc5#
- 1...Bxc6!
- 1...Qc5
- 1.Kf8?
- Keys
- 1.Rg3!
- 1...Qd4
- 2.Sa3#
- 1...Qg1
- 2.Sa3#
- 1...Qf2
- 2.Sa3#
- 1...Qe3
- 2.Sa3#
- 2.Sxe3#
- 1...Qc5
- 2.Sb2#
- 1...Qb6
- 2.Sa3#
- 1...Qb8
- 2.Sa3#
- 2.Se3#
- 1...Qa3
- 2.Sxa3#
- 2.Se3#
- 1...Qa4
- 2.Se3#
- 1...Qa5
- 2.Se3#
- 1...Qa6
- 2.Se3#
- 1...Qb7
- 2.Sa3#
- 2.Se3#
- 1...Qc7
- 2.Sa3#
- 2.Se3#
- 1...Qd7
- 2.Sa3#
- 2.Se3#
- 1...Qe7
- 2.Se3#
- 1...Qa8
- 2.Se3#
- 1...Ba4
- 2.Sa3#
- 1...Ba6
- 2.Sa3#
- 1...Sc1
- 2.Rb4#
- 1...Sc3
- 2.Rb4#
- 1...Sb4
- 2.Rxb4#
- 1...f5
- 2.Qe6#
- 1...f6
- 2.Qe6#
- 1...Qd4
- 1.Rg3!
FEATURES
- Static
- TYPE = MUTATE
- CHANGED MATES = 1
- ADDED MATES = 4
- REMOVED MATES = 0
- Sets
- Q(e);N_GUARD,P_PINR(F)::S(C)
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD,N_SPINS(d)::R1(F),XQ(e)
- B(c);S_CUTQ(e)::S(C)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- P(f);N_GUARD::QAB(G)
- Tries
- Try
- K(H);P-FLIGHT
- Vars
- Q(e);CHECK,N_GUARD,N_SPINS(d)::R1(F),XQ(e)
- Q(e);CHECK,N_GUARD::S(C),XQ(e)
- Q(e);N_GUARD::S(C)
- B(c);S_CUTQ(e)::S(C)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- P(f);N_GUARD::QAB(G)
- Refutation
- Q(e);CHECK
- Try
- K(H);P-FLIGHT
- Vars
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD,N_SPINS(d)::R1(F),XQ(e)
- B(c);S_CUTQ(e)::S(C)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- P(f);N_GUARD::QAB(G)
- Refutation
- Q(e);CHECK
- Try
- S(C);
- Threat
- B(E)
- Vars
- S(a);N_GUARD::R1(B)
- Q(e);N_GUARD,N_SPINS(d)::R1(F),XQ(e)
- Q(e);N_GUARD::R1(F)
- S(a);N_GUARD::R1(B),XS(a)
- P(f);N_GUARD::QAB(G)
- Refutation
- Q(e);
- Try
- S(D);
- Threat
- B(E)
- Vars
- S(a);N_GUARD,XS(D)::R1(B)
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD::S(C),XQ(e)
- S(a);N_GUARD::R1(B),XS(a)
- Refutation
- P(f);
- Try
- S(D);
- Threat
- B(E)
- Vars
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD::S(C),XQ(e)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- Refutation
- P(f);
- Try
- S(D);
- Threat
- B(E)
- Vars
- Q(e);N_GUARD,XS(D)::S(C)
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD::S(C),XQ(e)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- Refutation
- P(f);
- Try
- S(D);
- Threat
- B(E)
- Vars
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD::S(C),XQ(e)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- Refutation
- P(f);
- Try
- B(A);
- Vars
- Q(e);N_GUARD,P_PINR(F)::S(C)
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD,N_SPINS(d)::R1(F),XQ(e)
- B(c);S_CUTQ(e)::S(C)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- Refutation
- Q(e);
- Try
- R(B);XB(c)
- Vars
- Q(e);N_GUARD,N_SPINS(d)::R1(F),XQ(e)
- S(a);N_GUARD::R1(B),XS(a)
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD,P_PINR(F)::S(C)
- S(a);N_GUARD::R1(B)
- P(f);N_GUARD::QAB(G)
- Refutation
- P(f);
- Try
- R(F);
- Vars
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD,P_PINR(F)::S(C)
- Q(e);N_GUARD,P_PINQ(G)::S(C)
- B(c);S_CUTQ(e)::S(C)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- P(f);N_GUARD::QAB(G)
- Refutation
- Q(e);N_SPINS(d)
- Try
- R(F);
- Vars
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD,P_PINR(F)::S(C)
- Q(e);N_GUARD,P_PINQ(G)::S(C)
- B(c);S_CUTQ(e)::S(C)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- P(f);N_GUARD::QAB(G)
- Refutation
- Q(e);N_SPINS(d)
- Try
- R(F);XB(c)
- Threat
- S(D)
- Vars
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD,N_SPINS(d)::R1(F),XQ(e)
- P(f);N_GUARD::QAB(G)
- Refutation
- Q(e);CHECK
- Try
- R(F);
- Vars
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD,N_SPINS(d)::R1(F),XQ(e)
- B(c);S_CUTQ(e)::S(C)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- P(f);N_GUARD::QAB(G)
- Refutation
- Q(e);CHECK
- Try
- R(F);
- Vars
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD,N_SPINS(d)::R1(F),XQ(e)
- B(c);S_CUTQ(e)::S(C)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- P(f);N_GUARD::QAB(G)
- Refutation
- Q(e);CHECK
- Try
- R(F);
- Vars
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD,N_SPINS(d)::R1(F),XQ(e)
- B(c);S_CUTQ(e)::S(C)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- P(f);N_GUARD::QAB(G)
- Refutation
- Q(e);CHECK
- Try
- R(F);
- Vars
- P(f);N_GUARD,XR(F)::QAB(G)
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD,P_PINR(F)::S(C)
- Q(e);N_GUARD,P_PINQ(G)::S(C)
- B(c);S_CUTQ(e)::S(C)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- P(f);N_GUARD::QAB(G)
- Refutation
- Q(e);N_SPINS(d)
- Try
- R(F);
- Vars
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD,P_PINR(F)::S(C)
- Q(e);N_GUARD,P_PINQ(G)::S(C)
- B(c);S_CUTQ(e)::S(C)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- P(f);N_GUARD::QAB(G)
- Refutation
- Q(e);N_SPINS(d)
- Try
- Q(G);CHECK,XS(d)
- Refutation
- B(c);XQ(G)
- Try
- Actual
- R(F);
- Vars
- Q(e);N_GUARD::S(C)
- Q(e);N_GUARD,P_PINR(F)::S(C)
- Q(e);N_SPINS(d),SBLOCK::S(D)
- Q(e);N_GUARD,P_PINQ(G)::S(C)
- B(c);S_CUTQ(e)::S(C)
- S(a);N_GUARD::R1(B)
- S(a);N_GUARD::R1(B),XS(a)
- P(f);N_GUARD::QAB(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).