MESON Chess Problem Database
Problem Display
PID: 92231 (7K/8/5B2/2N4P/4Q3/2r5/p1B2R2/b1k5 w - - 0 1)
von Klett, Maximilian Phillipp Friedrich
Philipp Klett`s Schachprobleme, 1878
#2
7 + 4
| 6490 | yacpdb | 2009 |
SOLUTION
- SOUND
- Sets
- 1...Rxc2
- 2.Qh1#
- 2.Qxc2#
- 2.Qe1#
- 1...Ra3
- 2.Qh1#
- 2.Qe1#
- 1...Rb3
- 2.Sxb3#
- 2.Qh1#
- 2.Qe1#
- 1...Rd3
- 2.Sxd3#
- 1...Re3
- 2.Qxe3#
- 1...Rf3
- 2.Qe1#
- 1...Rg3
- 2.Qe1#
- 1...Rh3
- 2.Qe1#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 1...Rxc5
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 2.Qf4#
- 1...Bb2
- 2.Qh1#
- 2.Qe1#
- 1...Rxc2
- Tries
- 1.Kh7?
- 1...Rxc2
- 2.Qh1#
- 2.Qxc2#
- 2.Qe1#
- 1...Rxc5
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 2.Qf4#
- 1...Ra3
- 2.Qh1#
- 2.Qe1#
- 1...Rb3
- 2.Sxb3#
- 2.Qh1#
- 2.Qe1#
- 1...Rd3
- 2.Sxd3#
- 1...Re3
- 2.Qxe3#
- 1...Rf3
- 2.Qe1#
- 1...Rg3
- 2.Qe1#
- 1...Rh3
- 2.Qe1#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 1...Bb2
- 2.Qh1#
- 2.Qe1#
- 1...Kb2!
- 1...Rxc2
- 1.Sb3+?
- 1...Rxb3
- 2.Qh1#
- 2.Qe1#
- 1...Kb2!
- 1...Rxb3
- 1.Bb1?
- threat
- 2.Qh1#
- 2.Qe1#
- 1...Kd1
- 2.Qh1#
- 1...Re3
- 2.Qc2#
- 1...Rf3
- 2.Qc2#
- 2.Qe1#
- 1...Rg3
- 2.Qc2#
- 2.Qe1#
- 1...Rh3
- 2.Qc2#
- 2.Qe1#
- 1...Rd3!
- threat
- 1.Bb3?
- threat
- 2.Qh1#
- 2.Qe1#
- 1...Re3
- 2.Qc2#
- 1...Rf3
- 2.Qc2#
- 2.Qe1#
- 1...Rg3
- 2.Qc2#
- 2.Qe1#
- 1...Rh3
- 2.Qc2#
- 2.Qe1#
- 1...Rd3!
- threat
- 1.Bd3?
- threat
- 2.Qh1#
- 2.Qe1#
- 1...Kd1
- 2.Qh1#
- 1...Rxd3!
- threat
- 1.Ba4?
- threat
- 2.Qh1#
- 2.Qe1#
- 1...Re3
- 2.Qc2#
- 1...Rf3
- 2.Qc2#
- 2.Qe1#
- 1...Rg3
- 2.Qc2#
- 2.Qe1#
- 1...Rh3
- 2.Qc2#
- 2.Qe1#
- 1...Rd3!
- threat
- 1.Bd4?
- 1...Rxc2
- 2.Qh1#
- 2.Qxc2#
- 2.Qe1#
- 1...Rxc5
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 2.Qf4#
- 1...Ra3
- 2.Qh1#
- 2.Qe1#
- 1...Rb3
- 2.Sxb3#
- 2.Qh1#
- 2.Qe1#
- 1...Rd3
- 2.Sxd3#
- 1...Re3
- 2.Qxe3#
- 1...Rf3
- 2.Qe1#
- 1...Rg3
- 2.Qe1#
- 1...Rh3
- 2.Qe1#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 2.Qf4#
- 1...Bb2
- 2.Qh1#
- 2.Qe1#
- 1...Kb2!
- 1...Rxc2
- 1.Be5?
- 1...Rxc2
- 2.Qh1#
- 2.Qxc2#
- 2.Qe1#
- 1...Rxc5
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 2.Qf4#
- 1...Ra3
- 2.Qh1#
- 2.Qe1#
- 1...Rb3
- 2.Sxb3#
- 2.Qh1#
- 2.Qe1#
- 1...Rd3
- 2.Sxd3#
- 1...Re3
- 2.Qxe3#
- 1...Rf3
- 2.Qe1#
- 1...Rg3
- 2.Qe1#
- 1...Rh3
- 2.Qe1#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 1...Bb2
- 2.Qh1#
- 2.Qe1#
- 1...Kb2!
- 1...Rxc2
- 1.Bg7?
- 1...Rxc2
- 2.Qh1#
- 2.Qxc2#
- 2.Qe1#
- 1...Rxc5
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 2.Qf4#
- 1...Ra3
- 2.Qh1#
- 2.Qe1#
- 1...Rb3
- 2.Sxb3#
- 2.Qh1#
- 2.Qe1#
- 1...Rd3
- 2.Sxd3#
- 1...Re3
- 2.Qxe3#
- 1...Rf3
- 2.Qe1#
- 1...Rg3
- 2.Qe1#
- 1...Rh3
- 2.Qe1#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 1...Bb2
- 2.Qh1#
- 2.Qe1#
- 1...Kb2!
- 1...Rxc2
- 1.Rf1+?
- 1...Kd2
- 2.Rd1#
- 1...Kb2!
- 1...Kd2
- 1.Rg2?
- 1...Rxc2
- 2.Qxc2#
- 2.Qe1#
- 1...Rxc5
- 2.Qe1#
- 2.Qe3#
- 2.Qf4#
- 1...Ra3
- 2.Qe1#
- 1...Rb3
- 2.Sxb3#
- 2.Qe1#
- 1...Rd3
- 2.Sxd3#
- 1...Re3
- 2.Qxe3#
- 1...Rf3
- 2.Qe1#
- 1...Rg3
- 2.Qe1#
- 1...Rh3
- 2.Qe1#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qe1#
- 2.Qe3#
- 1...Bb2
- 2.Qe1#
- 1...Kb2!
- 1...Rxc2
- 1.Rh2?
- 1...Rxc2
- 2.Qh1#
- 2.Qxc2#
- 2.Qe1#
- 1...Rxc5
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 2.Qf4#
- 1...Ra3
- 2.Qh1#
- 2.Qe1#
- 1...Rb3
- 2.Sxb3#
- 2.Qh1#
- 2.Qe1#
- 1...Rd3
- 2.Sxd3#
- 1...Re3
- 2.Qxe3#
- 1...Rf3
- 2.Qe1#
- 1...Rg3
- 2.Qe1#
- 1...Rh3
- 2.Qh1#
- 2.Qe1#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 1...Bb2
- 2.Qh1#
- 2.Qe1#
- 1...Kb2!
- 1...Rxc2
- 1.Qd3?
- 1...Rxc2
- 2.Rf1#
- 2.Qf1#
- 2.Qxc2#
- 1...Rxd3
- 2.Sxd3#
- 1...Rxc5
- 2.Rf1#
- 2.Qf1#
- 2.Qd1#
- 2.Qd2#
- 2.Qe3#
- 1...Ra3
- 2.Rf1#
- 2.Qf1#
- 2.Qd1#
- 2.Qd2#
- 1...Rb3
- 2.Sxb3#
- 2.Rf1#
- 2.Qf1#
- 2.Qd1#
- 2.Qd2#
- 1...Rc4
- 2.Sb3#
- 2.Rf1#
- 2.Qf1#
- 2.Qd1#
- 2.Qd2#
- 2.Qe3#
- 1...Bb2
- 2.Bg5#
- 2.Rf1#
- 2.Qf1#
- 2.Qd1#
- 2.Qd2#
- 1...Kb2!
- 1...Rxc2
- 1.Qd5?
- 1...Rxc2
- 2.Rf1#
- 2.Qh1#
- 1...Rxc5
- 2.Qh1#
- 2.Qd1#
- 2.Qd2#
- 1...Ra3
- 2.Qh1#
- 2.Qd1#
- 2.Qd2#
- 1...Rb3
- 2.Sxb3#
- 2.Qh1#
- 2.Qd1#
- 2.Qd2#
- 1...Rd3
- 2.Sxd3#
- 1...Re3
- 2.Qd1#
- 2.Qd2#
- 1...Rf3
- 2.Qd1#
- 2.Qd2#
- 1...Rg3
- 2.Qd1#
- 2.Qd2#
- 1...Rh3
- 2.Qd1#
- 2.Qd2#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qh1#
- 2.Qd1#
- 2.Qd2#
- 1...Bb2
- 2.Qh1#
- 2.Qd1#
- 2.Qd2#
- 1...Kb2!
- 1...Rxc2
- 1.Qe2?
- 1...Rxc2
- 2.Rf1#
- 2.Qf1#
- 2.Qe1#
- 2.Qxc2#
- 1...Rxc5
- 2.Rf1#
- 2.Qd1#
- 2.Qf1#
- 2.Qe1#
- 2.Qd2#
- 2.Qe3#
- 1...Re3
- 2.Rf1#
- 2.Qd1#
- 2.Qd2#
- 2.Qxe3#
- 1...Ra3
- 2.Rf1#
- 2.Qd1#
- 2.Qf1#
- 2.Qe1#
- 2.Qd2#
- 1...Rb3
- 2.Sxb3#
- 2.Rf1#
- 2.Qd1#
- 2.Qf1#
- 2.Qe1#
- 2.Qd2#
- 1...Rd3
- 2.Sxd3#
- 1...Rf3
- 2.Qd1#
- 2.Qf1#
- 2.Qe1#
- 2.Qd2#
- 1...Rg3
- 2.Rf1#
- 2.Qd1#
- 2.Qf1#
- 2.Qe1#
- 2.Qd2#
- 1...Rh3
- 2.Rf1#
- 2.Qd1#
- 2.Qf1#
- 2.Qe1#
- 2.Qd2#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Rf1#
- 2.Qd1#
- 2.Qf1#
- 2.Qe1#
- 2.Qd2#
- 2.Qe3#
- 1...Bb2
- 2.Rf1#
- 2.Qd1#
- 2.Qf1#
- 2.Qe1#
- 2.Qd2#
- 1...Kb2!
- 1...Rxc2
- 1.Qb4?
- 1...Rxc2
- 2.Rf1#
- 2.Qe1#
- 1...Rxc5
- 2.Qe1#
- 2.Qd2#
- 2.Qf4#
- 1...Re3
- 2.Qd2#
- 1...Ra3
- 2.Qe1#
- 2.Qd2#
- 1...Rb3
- 2.Sxb3#
- 2.Qe1#
- 2.Qd2#
- 1...Rd3
- 2.Sxd3#
- 1...Rf3
- 2.Qe1#
- 2.Qd2#
- 1...Rg3
- 2.Qe1#
- 2.Qd2#
- 1...Rh3
- 2.Qe1#
- 2.Qd2#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qe1#
- 2.Qd2#
- 1...Bb2!
- 1...Rxc2
- 1.Qd4?
- 1...Rxc2
- 2.Rf1#
- 2.Qxa1#
- 1...Rxc5
- 2.Qxa1#
- 2.Qe3#
- 2.Qd1#
- 2.Qd2#
- 2.Qf4#
- 1...Re3
- 2.Qxa1#
- 2.Qxe3#
- 2.Qd1#
- 2.Qd2#
- 1...Ra3
- 2.Qxa1#
- 2.Qd1#
- 2.Qd2#
- 1...Rb3
- 2.Sxb3#
- 2.Qd1#
- 2.Qd2#
- 1...Rd3
- 2.Sxd3#
- 2.Qxa1#
- 1...Rf3
- 2.Qxa1#
- 2.Qd1#
- 2.Qd2#
- 1...Rg3
- 2.Qxa1#
- 2.Qd1#
- 2.Qd2#
- 1...Rh3
- 2.Qxa1#
- 2.Qd1#
- 2.Qd2#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Bg5#
- 2.Qxa1#
- 2.Qe3#
- 2.Qd1#
- 2.Qd2#
- 1...Bb2
- 2.Qd1#
- 2.Qd2#
- 1...Kb2!
- 1...Rxc2
- 1.Qf4+?
- 1...Re3
- 2.Sb3#
- 2.Sd3#
- 2.Qxe3#
- 1...Kb2!
- 1...Re3
- 1.Qg4?
- 1...Rxc2
- 2.Qg1#
- 1...Rxc5
- 2.Qd1#
- 2.Qg1#
- 2.Qf4#
- 1...Re3
- 2.Qd1#
- 1...Ra3
- 2.Qd1#
- 2.Qg1#
- 1...Rb3
- 2.Sxb3#
- 2.Qd1#
- 2.Qg1#
- 1...Rd3
- 2.Sxd3#
- 1...Rf3
- 2.Qg1#
- 1...Rg3
- 2.Qd1#
- 1...Rh3
- 2.Qd1#
- 2.Qg1#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qd1#
- 2.Qg1#
- 1...Bb2
- 2.Qd1#
- 2.Qg1#
- 1...Kb2!
- 1...Rxc2
- 1.Qe5?
- 1...Rxc2
- 2.Qxa1#
- 2.Qe1#
- 1...Rxc5
- 2.Bg5#
- 2.Qxa1#
- 2.Qf4#
- 2.Qe1#
- 2.Qe3#
- 1...Re3
- 2.Qxa1#
- 2.Qxe3#
- 1...Ra3
- 2.Qxa1#
- 2.Qe1#
- 1...Rb3
- 2.Sxb3#
- 2.Qe1#
- 1...Rd3
- 2.Sxd3#
- 2.Qxa1#
- 1...Rf3
- 2.Qxa1#
- 2.Qe1#
- 1...Rg3
- 2.Qxa1#
- 2.Qe1#
- 1...Rh3
- 2.Qxa1#
- 2.Qe1#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qxa1#
- 2.Qe1#
- 2.Qe3#
- 1...Bb2
- 2.Qe1#
- 1...Kb2!
- 1...Rxc2
- 1.Qe6?
- 1...Rxc2
- 2.Qe1#
- 1...Rxc5
- 2.Qe1#
- 2.Qe3#
- 1...Re3
- 2.Qxe3#
- 1...Ra3
- 2.Qe1#
- 1...Rb3
- 2.Sxb3#
- 2.Qe1#
- 1...Rd3
- 2.Sxd3#
- 1...Rf3
- 2.Qe1#
- 1...Rg3
- 2.Qe1#
- 1...Rh3
- 2.Qe1#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qe1#
- 2.Qe3#
- 1...Bb2
- 2.Qe1#
- 1...Kb2!
- 1...Rxc2
- 1.Qe8?
- 1...Rxc2
- 2.Qe1#
- 1...Rxc5
- 2.Qe1#
- 2.Qe3#
- 1...Re3
- 2.Qxe3#
- 1...Ra3
- 2.Qe1#
- 1...Rb3
- 2.Sxb3#
- 2.Qe1#
- 1...Rd3
- 2.Sxd3#
- 1...Rf3
- 2.Qe1#
- 1...Rg3
- 2.Qe1#
- 1...Rh3
- 2.Qe1#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qe1#
- 2.Qe3#
- 1...Bb2
- 2.Qe1#
- 1...Kb2!
- 1...Rxc2
- 1.h6?
- 1...Rxc2
- 2.Qh1#
- 2.Qxc2#
- 2.Qe1#
- 1...Rxc5
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 2.Qf4#
- 1...Re3
- 2.Qxe3#
- 1...Ra3
- 2.Qh1#
- 2.Qe1#
- 1...Rb3
- 2.Sxb3#
- 2.Qh1#
- 2.Qe1#
- 1...Rd3
- 2.Sxd3#
- 1...Rf3
- 2.Qe1#
- 1...Rg3
- 2.Qe1#
- 1...Rh3
- 2.Qe1#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qh1#
- 2.Qe1#
- 2.Qe3#
- 1...Bb2
- 2.Qh1#
- 2.Qe1#
- 1...Kb2!
- 1...Rxc2
- 1.Kh7?
- Keys
- 1.Qe7!
- 1...Kb2
- 2.Sd3#
- 1...Rxc2
- 2.Qe1#
- 1...Rxc5
- 2.Qe1#
- 2.Qe3#
- 1...Re3
- 2.Qxe3#
- 1...Ra3
- 2.Qe1#
- 1...Rb3
- 2.Sxb3#
- 2.Qe1#
- 1...Rd3
- 2.Sxd3#
- 1...Rf3
- 2.Qe1#
- 1...Rg3
- 2.Qe1#
- 1...Rh3
- 2.Qe1#
- 1...Rc4
- 2.Sb3#
- 2.Sd3#
- 2.Qe1#
- 2.Qe3#
- 1...Bb2
- 2.Qe1#
- 1...Kb2
- 1.Qe7!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 4
- REMOVED MATES = 0
- Sets
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- R(d);N_GUARD,P_PINB(F)::QAB(C),XR(d)
- R(d);P_PINB(F)::QAR2(C)
- R(d);P_PINB(F),P_PINP(E)::QAR2(C)
- Tries
- Try
- K(G);P-FLIGHT
- Vars
- R(d);N_GUARD::S(D),XR(d)
- R(d);N_GUARD::QAB(C),XR(d)
- R(d);::QAR2(C)
- R(d);P_PINP(E)::QAR2(C)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- S(D);CHECK
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- B(A);
- Threat
- DUALS(2)
- Vars
- K(b);P-FLIGHT::QAR(C)
- R(d);N_GUARD,P_PINB(F)::QAR1(C)
- Refutation
- R(d);P_PINB(F)
- Try
- B(A);
- Threat
- DUALS(2)
- Vars
- R(d);N_GUARD,P_PINB(F)::QAR1(C)
- Refutation
- R(d);P_PINB(F)
- Try
- B(A);
- Threat
- DUALS(2)
- Vars
- K(b);P-FLIGHT::QAR(C)
- Refutation
- R(d);P_PINB(F),XB(A)
- Try
- B(A);
- Threat
- DUALS(2)
- Vars
- R(d);N_GUARD,P_PINB(F)::QAR1(C)
- Refutation
- R(d);P_PINB(F)
- Try
- B(F);
- Vars
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- R(d);N_GUARD,P_PINB(F)::QAB(C),XR(d)
- R(d);P_PINB(F)::QAR2(C)
- R(d);P_PINB(F),P_PINP(E)::QAR2(C)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- B(F);
- Vars
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- R(d);N_GUARD,P_PINB(F)::QAB(C),XR(d)
- R(d);P_PINB(F)::QAR2(C)
- R(d);P_PINB(F),P_PINP(E)::QAR2(C)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- B(F);
- Vars
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- R(d);N_GUARD,P_PINB(F)::QAB(C),XR(d)
- R(d);P_PINB(F)::QAR2(C)
- R(d);P_PINB(F),P_PINP(E)::QAR2(C)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- R(B);CHECK
- Vars
- K(b);S_FLIGHT::R1(B)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- R(B);
- Vars
- R(d);P_PINB(F)::QAR2(C)
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- R(d);N_GUARD,P_PINB(F)::QAB(C),XR(d)
- R(d);P_PINB(F),P_PINP(E)::QAR2(C)
- B(a);SBLOCK::QAR2(C)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- R(B);
- Vars
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- R(d);N_GUARD,P_PINB(F)::QAB(C),XR(d)
- R(d);P_PINB(F)::QAR2(C)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- Q(C);
- Vars
- R(d);P_PINB(F),XQ(C)::S(D),XR(d)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- Q(C);
- Vars
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- Q(C);
- Vars
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- Q(C);
- Vars
- R(d);OGATE,P_PINB(F)::QAB1(C)
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- Refutation
- B(a);
- Try
- Q(C);
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- Q(C);CHECK
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- Q(C);
- Vars
- R(d);P_PINB(F),XB(A)::QAR(C)
- R(d);P_PINB(F)::QAR1(C)
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- R(d);P_PINB(F)::QAR(C)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- Q(C);
- Vars
- B(a);SBLOCK::QAR2(C)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- Q(C);
- Vars
- R(d);P_PINB(F),XB(A)::QAR2(C)
- R(d);N_GUARD,P_PINB(F)::QAB(C),XR(d)
- R(d);P_PINB(F)::QAR2(C)
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- R(d);P_PINB(F),P_PINP(E)::QAR2(C)
- B(a);SBLOCK::QAR2(C)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- Q(C);
- Vars
- R(d);P_PINB(F),XB(A)::QAR2(C)
- R(d);N_GUARD,P_PINB(F)::QAB(C),XR(d)
- R(d);P_PINB(F)::QAR2(C)
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- R(d);P_PINB(F),P_PINP(E)::QAR2(C)
- B(a);SBLOCK::QAR2(C)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- P(E);
- Vars
- R(d);N_GUARD,P_PINB(F)::QAB(C),XR(d)
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- R(d);P_PINB(F)::QAR2(C)
- R(d);P_PINB(F),P_PINP(E)::QAR2(C)
- Refutation
- K(b);P_SPINR(d),S_FLIGHT
- Try
- Actual
- Q(C);
- Vars
- K(b);P_SPINR(d),S_FLIGHT::S(D)
- R(d);P_PINB(F),XB(A)::QAR2(C)
- R(d);N_GUARD,P_PINB(F)::QAB(C),XR(d)
- R(d);P_PINB(F)::QAR2(C)
- R(d);N_GUARD,P_PINB(F)::S(D),XR(d)
- R(d);P_PINB(F),P_PINP(E)::QAR2(C)
- B(a);SBLOCK::QAR2(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).