MESON Chess Problem Database
Problem Display
PID: 65307 (1R6/6P1/3B4/K2p4/Ppk5/2b4R/3P4/6Q1 w - - 0 1)
Letzen, Einar
Good Companions (January), 1922
#2
8 + 4
| 3132 | The Good Companion Two-Mover | 1922 |
SOLUTION
- SOUND
- Sets
- 1...Ba1
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Rxb4#
- 2.Qf1#
- 1...Be5
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bf6
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...b3+
- 2.Rxc3#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- Tries
- 1.Ka6?
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Rxb4#
- 2.Qf1#
- 1...Be5
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bf6
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...b3
- 2.Rxc3#
- 2.Rc8#
- 2.Qc5#
- 2.d3#
- 1...Kb3!
- 1...Bxd2
- 1.Bxb4?
- threat
- 2.Rxc3#
- 1...Bxb4+
- 2.Rxb4#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rc8#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Qf1#
- 1...Be5
- 2.Qc5#
- 1...Bf6
- 2.Rc8#
- 2.Qc5#
- 1...Kb3!
- threat
- 1.Be7?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Rxb4#
- 2.Qf1#
- 1...Be5
- 2.Rxb4#
- 2.Qc5#
- 1...Bf6
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Bf8?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Rxb4#
- 2.Qf1#
- 1...Be5
- 2.Rxb4#
- 2.Qc5#
- 1...Bf6
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Rf3?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Rxb4#
- 2.Qf1#
- 1...Be5
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bf6
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Rg3?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Rxb4#
- 2.Qf1#
- 1...Be5
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bf6
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Rb5?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc5#
- 2.Qc5#
- 1...Bxg7
- 2.Rxb4#
- 2.Rc5#
- 2.Qc5#
- 1...Ba1
- 2.Rxb4#
- 2.Rc5#
- 2.Qc5#
- 1...Bb2
- 2.Rxb4#
- 2.Rc5#
- 2.Qc5#
- 1...Bd4
- 2.Rxb4#
- 2.Qf1#
- 1...Be5
- 2.Rxb4#
- 2.Rc5#
- 2.Qc5#
- 1...Bf6
- 2.Rxb4#
- 2.Rc5#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Kb3!
- 1...b3+
- 1.Rb6?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc6#
- 2.Qc5#
- 1...Bxg7
- 2.Rxb4#
- 2.Rc6#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rxb4#
- 2.Rc6#
- 2.Qc5#
- 1...Bb2
- 2.Rxb4#
- 2.Rc6#
- 2.Qc5#
- 1...Bd4
- 2.Rxb4#
- 2.Qf1#
- 1...Be5
- 2.Rxb4#
- 2.Rc6#
- 2.Qc5#
- 1...Bf6
- 2.Rxb4#
- 2.Rc6#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Rb7?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc7#
- 2.Qc5#
- 1...Bxg7
- 2.Rxb4#
- 2.Rc7#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rxb4#
- 2.Rc7#
- 2.Qc5#
- 1...Bb2
- 2.Rxb4#
- 2.Rc7#
- 2.Qc5#
- 1...Bd4
- 2.Rxb4#
- 2.Qf1#
- 1...Be5
- 2.Rxb4#
- 2.Rc7#
- 2.Qc5#
- 1...Bf6
- 2.Rxb4#
- 2.Rc7#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Ra8?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rc8#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Qf1#
- 1...Be5
- 2.Rc8#
- 2.Qc5#
- 1...Bf6
- 2.Rc8#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Rd8?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rc8#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Qf1#
- 1...Be5
- 2.Rc8#
- 2.Qc5#
- 1...Bf6
- 2.Rc8#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Re8?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rc8#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Qf1#
- 1...Be5
- 2.Rc8#
- 2.Qc5#
- 1...Bf6
- 2.Rc8#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Rf8?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rc8#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Qf1#
- 1...Be5
- 2.Rc8#
- 2.Qc5#
- 1...Bf6
- 2.Rc8#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Rbh8?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rc8#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Qf1#
- 1...Be5
- 2.Rc8#
- 2.Qc5#
- 1...Bf6
- 2.Rc8#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Qf2?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...d4
- 2.Qf7#
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Rxb4#
- 2.Qf1#
- 2.Qe2#
- 1...Be5
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bf6
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Qe3?
- 1...b3+
- 2.Qxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 2.Qd3#
- 1...Bxg7
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 2.Qd3#
- 1...d4
- 2.Qe6#
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 2.Qd3#
- 1...Bb2
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 2.Qd3#
- 1...Bd4
- 2.Rxb4#
- 2.Qe2#
- 2.Qb3#
- 2.Qd3#
- 1...Be5
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 2.Qd3#
- 1...Bf6
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 2.Qd3#
- 1...Kb3!
- 1...b3+
- 1.Qb6?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rc8#
- 2.Qc5#
- 2.Qxb4#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rc8#
- 2.Qc5#
- 2.Qxb4#
- 1...Bb2
- 2.Rc8#
- 2.Qc5#
- 2.Qxb4#
- 1...Bd4
- 2.Qxb4#
- 2.Qb5#
- 2.Qa6#
- 1...Be5
- 2.Rc8#
- 2.Qc5#
- 2.Qxb4#
- 1...Bf6
- 2.Rc8#
- 2.Qc5#
- 2.Qxb4#
- 1...Kb3!
- 1...b3+
- 1.Qa7?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Bxg7
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...d4
- 2.Qf7#
- 2.g8Q#
- 2.g8B#
- 1...Ba1
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Rxb4#
- 2.Qa6#
- 1...Be5
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bf6
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Qb1?
- 1...Kd4
- 2.Rh4#
- 2.Qd3#
- 1...Bxd2
- 2.Qd3#
- 1...Bxg7
- 2.Rxb4#
- 2.Qd3#
- 2.Qxb4#
- 1...Ba1
- 2.Rxb4#
- 2.Qd3#
- 2.Qxb4#
- 1...Bb2
- 2.Rxb4#
- 2.Qd3#
- 1...Bd4
- 2.Rxb4#
- 2.Qd3#
- 2.Qf1#
- 2.Qb3#
- 2.Qxb4#
- 1...Be5
- 2.Rxb4#
- 2.Qd3#
- 2.Qxb4#
- 1...Bf6
- 2.Rxb4#
- 2.Qd3#
- 2.Qxb4#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...b3+!
- 1...Kd4
- 1.Qf1+?
- 1...Kd4
- 2.Rh4#
- 2.Qd3#
- 2.Qf4#
- 1...Kb3!
- 1...Kd4
- 1.Qg3?
- 1...b3+
- 2.Qxc3#
- 1...Kd4
- 2.Rh4#
- 2.Qf4#
- 2.Qh4#
- 2.Qd3#
- 2.Qg4#
- 1...Bxd2
- 2.Qd3#
- 1...Bxg7
- 2.Rxb4#
- 2.Qd3#
- 1...Ba1
- 2.Rxb4#
- 2.Qd3#
- 1...Bb2
- 2.Rxb4#
- 2.Qd3#
- 1...Bd4
- 2.Rxb4#
- 2.Qb3#
- 2.Qd3#
- 1...Be5
- 2.Rxb4#
- 2.Qd3#
- 1...Bf6
- 2.Rxb4#
- 2.Qd3#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...Kb3!
- 1...b3+
- 1.Qg4+?
- 1...Bd4
- 2.Rxb4#
- 2.Rc8#
- 2.Qe2#
- 1...d4
- 2.Qe6#
- 2.g8Q#
- 2.g8B#
- 1...Kb3!
- 1...Bd4
- 1.dxc3?
- threat
- 2.Rxb4#
- 1...bxc3
- 2.Rb4#
- 2.Qc5#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...b3
- 2.Rb4#
- 2.Rc8#
- 2.Qd4#
- 2.Qc5#
- 2.Qf1#
- 1...Kb3!
- threat
- 1.g8Q?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 2.Qc8#
- 1...Ba1
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 2.Qc8#
- 1...Bb2
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 2.Qc8#
- 1...Bd4
- 2.Rxb4#
- 2.Qf1#
- 1...Be5
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 2.Qc8#
- 1...Bf6
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 2.Qc8#
- 1...Bg7
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 2.Qc8#
- 1...Bh8
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 2.Qc8#
- 1...Kb3!
- 1...b3+
- 1.g8B?
- 1...b3+
- 2.Rxc3#
- 1...Bxd2
- 2.Rc8#
- 2.Qc5#
- 1...Ba1
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bb2
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bd4
- 2.Rxb4#
- 2.Qf1#
- 1...Be5
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bf6
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bg7
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Bh8
- 2.Rxb4#
- 2.Rc8#
- 2.Qc5#
- 1...Kb3!
- 1...b3+
- 1.Ka6?
- Keys
- 1.Qa1!
- 1...b3+
- 2.Qxc3#
- 1...Kb3
- 2.Rxc3#
- 1...Kd4
- 2.Rxb4#
- 1...Bxa1
- 2.Rxb4#
- 1...Bxd2
- 2.Rc8#
- 1...Bxg7
- 2.Rxb4#
- 2.Rc8#
- 1...Bb2
- 2.Rxb4#
- 1...Bd4
- 2.Rxb4#
- 2.Qf1#
- 1...Be5
- 2.Rxb4#
- 2.Rc8#
- 1...Bf6
- 2.Rxb4#
- 2.Rc8#
- 1...d4
- 2.g8Q#
- 2.g8B#
- 1...b3+
- 1.Qa1!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 1
- ADDED MATES = 5
- REMOVED MATES = 0
- Sets
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- Tries
- Try
- K(E);P-FLIGHT
- Vars
- P(d);::P=Q
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- B(F);P_SPINB(F),XP(b)
- Threat
- R1(C),XB(a)
- Vars
- B(a);CHECK,OGATE,XB(F)::R1(H),XB(a)
- P(d);::P=Q
- B(a);N_PINB(F),SBLOCK::QAB(A)
- B(a);N_PINB(F)::QAR1(A)
- Refutation
- K(c);P_SPINB(a),S_FLIGHT
- Try
- B(F);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- B(F);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- R(C);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- R(C);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- R(H);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- R(H);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- R(H);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- R(H);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- B(a);SBLOCK::QAB(A)
- Refutation
- K(c);P_SPINB(a),S_FLIGHT
- Try
- R(H);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- B(a);SBLOCK::QAB(A)
- Refutation
- K(c);P_SPINB(a),S_FLIGHT
- Try
- R(H);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- B(a);SBLOCK::QAB(A)
- Refutation
- K(c);P_SPINB(a),S_FLIGHT
- Try
- R(H);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- B(a);SBLOCK::QAB(A)
- Refutation
- K(c);P_SPINB(a),S_FLIGHT
- Try
- R(H);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- B(a);SBLOCK::QAB(A)
- Refutation
- K(c);P_SPINB(a),S_FLIGHT
- Try
- Q(A);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- Q(A);
- Vars
- P(b);CHECK,N_GUARD::QAR1(A),XB(a)
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- Q(A);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- P(d);::P=Q
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- Q(A);
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- Q(A);
- Vars
- B(a);XP(B)::QAB1(A)
- P(d);SBLOCK::P=Q
- Refutation
- P(b);CHECK
- Try
- Q(A);CHECK
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- Q(A);
- Vars
- P(b);CHECK,N_GUARD::QAR1(A),XB(a)
- B(a);XP(B)::QAB1(A)
- P(d);SBLOCK::P=Q
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- Q(A);CHECK
- Refutation
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- P(B);XB(a)
- Threat
- R1(H),XP(b)
- Vars
- P(d);::P=Q
- Refutation
- K(c);P_SPINP(b),S_FLIGHT
- Try
- P(G);P_PINP(d)
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- Refutation
- K(c);N_SPINP(d),P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- P(G);P_PINP(d)
- Vars
- P(b);CHECK,N_GUARD::R1(C),XB(a)
- Refutation
- K(c);N_SPINP(d),P_SPINB(a),P_SPINP(b),S_FLIGHT
- Try
- Actual
- Q(A);
- Vars
- P(b);CHECK,N_GUARD::QAR1(A),XB(a)
- K(c);P_SPINB(a),P_SPINP(b),S_FLIGHT::R1(C),XB(a)
- K(c);P-FLIGHT,P_SPINB(a)::R(H),XP(b)
- B(a);N_GUARD,XQ(A)::R1(H),XP(b)
- B(a);XP(B)::R(H)
- B(a);N_GUARD::R1(H),XP(b)
- P(d);SBLOCK::P=Q
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).