MESON Chess Problem Database
Problem Display
PID: 16332 (R6K/3N4/1p2P3/N2k1P2/3nrp2/2Q2n2/8/B6B w - - 0 1)
Fillery, William Edmund Frank
Chess, 1940
#2
9 + 6
SOLUTION
- SOUND
- Sets
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Qxd4#
- 1...Rxe6
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Qc6#
- 1...Se2
- 2.Qc6#
- 1...Sb3
- 2.Qc6#
- 1...Sb5
- 2.Qc6#
- 1...Sxf5
- 2.Qc6#
- 1...Sc6
- 2.Qxc6#
- 1...Sxe6
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...b5
- 2.Qc5#
- 1...Re1
- Tries
- 1.Kg8?
- 1...Rxe6
- 2.Qxd4#
- 1...Sxf5
- 2.Qc6#
- 1...Sxe6
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Qc6#
- 1...Se2
- 2.Qc6#
- 1...Sb3
- 2.Qc6#
- 1...Sb5
- 2.Qc6#
- 1...Sc6
- 2.Qxc6#
- 1...b5
- 2.Qc5#
- 1...Kd6!
- 1...Rxe6
- 1.Bb2?
- 1...Rxe6
- 2.Qxd4#
- 1...Sxf5
- 2.Qc6#
- 1...Sxe6
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Qc6#
- 1...Se2
- 2.Qc6#
- 1...Sb3
- 2.Qc6#
- 1...Sb5
- 2.Qc6#
- 1...Sc6
- 2.Qxc6#
- 1...b5
- 2.Qc5#
- 1...Kd6!
- 1...Rxe6
- 1.Bg2?
- 1...Rxe6
- 2.Qxd4#
- 1...Sxf5
- 2.Qc6#
- 1...Sxe6
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Qc6#
- 1...Se2
- 2.Qc6#
- 1...Sb3
- 2.Qc6#
- 1...Sb5
- 2.Qc6#
- 1...Sc6
- 2.Qxc6#
- 1...b5
- 2.Qc5#
- 1...Kd6!
- 1...Rxe6
- 1.Bxf3?
- threat
- 2.Qxd4#
- 1...Sxf3
- 2.Qc6#
- 1...Sxf5
- 2.Qe5#
- 2.Qc6#
- 1...Sxe6
- 2.Qe5#
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...Sc2
- 2.Qe5#
- 2.Qc6#
- 1...Se2
- 2.Qe5#
- 2.Qc6#
- 1...Sb3
- 2.Qe5#
- 2.Qc6#
- 1...Sb5
- 2.Qe5#
- 2.Qc6#
- 1...Sc6
- 2.Qxc6#
- 1...Kd6!
- threat
- 1.Ra7?
- 1...Rxe6
- 2.Qxd4#
- 1...Sxf5
- 2.Qc6#
- 1...Sxe6
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Qc6#
- 1...Se2
- 2.Qc6#
- 1...Sb3
- 2.Qc6#
- 1...Sb5
- 2.Qc6#
- 1...Sc6
- 2.Qxc6#
- 1...b5
- 2.Qc5#
- 1...Kd6!
- 1...Rxe6
- 1.Rb8?
- 1...Rxe6
- 2.Qxd4#
- 1...Sxf5
- 2.Qc6#
- 1...Sxe6
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Qc6#
- 1...Se2
- 2.Qc6#
- 1...Sb3
- 2.Qc6#
- 1...Sb5
- 2.Qc6#
- 1...Sc6
- 2.Qxc6#
- 1...b5
- 2.Qc5#
- 1...Kd6!
- 1...Rxe6
- 1.Rc8?
- 1...Rxe6
- 2.Qxd4#
- 1...Sxf5
- 2.Qc6#
- 1...Sxe6
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Qc6#
- 1...Se2
- 2.Qc6#
- 1...Sb3
- 2.Qc6#
- 1...Sb5
- 2.Qc6#
- 1...Sc6
- 2.Qxc6#
- 1...b5
- 2.Qc5#
- 1...Kd6!
- 1...Rxe6
- 1.Rd8?
- 1...Rxe6
- 2.Qxd4#
- 1...Sxf5
- 2.Qc6#
- 1...Sxe6
- 2.Sxb6#
- 2.Sf6#
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Sc5#
- 2.Sf6#
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Sxb6#
- 2.Sf6#
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Sc5#
- 2.Se5#
- 2.Sxb6#
- 2.Sf6#
- 2.Sb8#
- 2.Sf8#
- 2.Qc6#
- 1...Se2
- 2.Sc5#
- 2.Se5#
- 2.Sxb6#
- 2.Sf6#
- 2.Sb8#
- 2.Sf8#
- 2.Qc6#
- 1...Sb3
- 2.Sc5#
- 2.Se5#
- 2.Sxb6#
- 2.Sf6#
- 2.Sb8#
- 2.Sf8#
- 2.Qc6#
- 1...Sb5
- 2.Sxb6#
- 2.Sf6#
- 2.Qc6#
- 1...Sc6
- 2.Sxb6#
- 2.Sf6#
- 2.Qxc6#
- 1...b5
- 2.Qc5#
- 1...Kd6!
- 1...Rxe6
- 1.Re8?
- 1...Rxe6
- 2.Qxd4#
- 1...Sxf5
- 2.Qc6#
- 1...Sxe6
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Qc6#
- 1...Se2
- 2.Qc6#
- 1...Sb3
- 2.Qc6#
- 1...Sb5
- 2.Qc6#
- 1...Sc6
- 2.Qxc6#
- 1...b5
- 2.Qc5#
- 1...Kd6!
- 1...Rxe6
- 1.Rf8?
- 1...Rxe6
- 2.Qxd4#
- 1...Sxf5
- 2.Qc6#
- 1...Sxe6
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Qc6#
- 1...Se2
- 2.Qc6#
- 1...Sb3
- 2.Qc6#
- 1...Sb5
- 2.Qc6#
- 1...Sc6
- 2.Qxc6#
- 1...b5
- 2.Qc5#
- 1...Kd6!
- 1...Rxe6
- 1.Rg8?
- 1...Rxe6
- 2.Qxd4#
- 1...Sxf5
- 2.Qc6#
- 1...Sxe6
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Qc6#
- 1...Se2
- 2.Qc6#
- 1...Sb3
- 2.Qc6#
- 1...Sb5
- 2.Qc6#
- 1...Sc6
- 2.Qxc6#
- 1...b5
- 2.Qc5#
- 1...Kd6!
- 1...Rxe6
- 1.Qb4?
- 1...Rxe6
- 2.Qxd4#
- 1...Sxe6
- 2.Sxb6#
- 2.Sf6#
- 1...bxa5
- 2.Qc5#
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Sf6#
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Sxb6#
- 2.Sf6#
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Sxb6#
- 2.Sf6#
- 1...Se2
- 2.Sxb6#
- 2.Sf6#
- 1...Sb3
- 2.Sxb6#
- 2.Sf6#
- 1...Sb5
- 2.Sxb6#
- 2.Sf6#
- 1...Sc6
- 2.Sxb6#
- 2.Sf6#
- 1...b5
- 2.Qc5#
- 1...Sxf5!
- 1...Rxe6
- 1.Qc7?
- threat
- 2.Sxb6#
- 2.Sf6#
- 1...Sxf5
- 2.Qc6#
- 1...bxa5
- 2.Sb6#
- 2.Sf6#
- 2.Qc5#
- 1...Re1
- 2.Sf6#
- 1...Re2
- 2.Sf6#
- 1...Re3
- 2.Sf6#
- 1...Re5
- 2.Sf6#
- 2.Qxe5#
- 1...Sc6
- 2.Qxc6#
- 1...b5
- 2.Sb6#
- 2.Sf6#
- 2.Qc5#
- 1...Rxe6!
- threat
- 1.e7?
- 1...Rxe7
- 2.Qxd4#
- 1...Sxf5
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Qxd4#
- 1...Re6
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Qc6#
- 1...Se2
- 2.Qc6#
- 1...Sb3
- 2.Qc6#
- 1...Sb5
- 2.Qc6#
- 1...Sc6
- 2.Qxc6#
- 1...Se6
- 2.Qc6#
- 1...b5
- 2.Qc5#
- 1...Kd6!
- 1...Rxe7
- 1.Kg8?
- Keys
- 1.Ra6!
- 1...Kd6
- 2.Qc5#
- 1...Rxe6
- 2.Qxd4#
- 1...Sxf5
- 2.Qc6#
- 1...Sxe6
- 2.Qc6#
- 1...bxa5
- 2.Qc5#
- 1...Re1
- 2.Qxd4#
- 1...Re2
- 2.Qxd4#
- 1...Re3
- 2.Qxd4#
- 1...Re5
- 2.Qxd4#
- 1...Se1
- 2.Qxd4#
- 1...Sg1
- 2.Qxd4#
- 1...Sd2
- 2.Qxd4#
- 1...Sh2
- 2.Qxd4#
- 1...Sh4
- 2.Qxd4#
- 1...Se5
- 2.Qxd4#
- 1...Sg5
- 2.Qxd4#
- 1...Sc2
- 2.Qc6#
- 1...Se2
- 2.Qc6#
- 1...Sb3
- 2.Qc6#
- 1...Sb5
- 2.Qc6#
- 1...Sc6
- 2.Qxc6#
- 1...b5
- 2.Qc5#
- 1...Kd6
- 1.Ra6!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD,XP(E)::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- S(b);N_GUARD,XP(F)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- P(f);N_GUARD::QAR1(C)
- Tries
- Try
- K(I);P-FLIGHT
- Vars
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- S(b);N_GUARD,XP(E)::QAB1(C)
- S(b);N_GUARD,XP(F)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- P(f);N_GUARD::QAR1(C)
- Refutation
- K(e);P-FLIGHT
- Try
- B(A);
- Vars
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- S(b);N_GUARD,XP(E)::QAB1(C)
- S(b);N_GUARD,XP(F)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- P(f);N_GUARD::QAR1(C)
- Refutation
- K(e);P-FLIGHT
- Try
- B(B);
- Vars
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- S(b);N_GUARD,XP(E)::QAB1(C)
- S(b);N_GUARD,XP(F)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- P(f);N_GUARD::QAR1(C)
- Refutation
- K(e);P-FLIGHT
- Try
- B(B);P_PINR(c),XS(a)
- Threat
- QAR1(C),XS(b)
- Vars
- S(b);N_GUARD,N_SPINR(c),XB(B)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- Refutation
- K(e);N_SPINR(c),P-FLIGHT
- Try
- R(H);
- Vars
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- S(b);N_GUARD,XP(E)::QAB1(C)
- S(b);N_GUARD,XP(F)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- P(f);N_GUARD::QAR1(C)
- Refutation
- K(e);P-FLIGHT
- Try
- R(H);
- Vars
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- S(b);N_GUARD,XP(E)::QAB1(C)
- S(b);N_GUARD,XP(F)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- P(f);N_GUARD::QAR1(C)
- Refutation
- K(e);P-FLIGHT
- Try
- R(H);
- Vars
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- S(b);N_GUARD,XP(E)::QAB1(C)
- S(b);N_GUARD,XP(F)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- P(f);N_GUARD::QAR1(C)
- Refutation
- K(e);P-FLIGHT
- Try
- R(H);
- Vars
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- S(b);N_GUARD,XP(E)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- P(f);N_GUARD::QAR1(C)
- Refutation
- K(e);P-FLIGHT
- Try
- R(H);
- Vars
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- S(b);N_GUARD,XP(E)::QAB1(C)
- S(b);N_GUARD,XP(F)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- P(f);N_GUARD::QAR1(C)
- Refutation
- K(e);P-FLIGHT
- Try
- R(H);
- Vars
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- S(b);N_GUARD,XP(E)::QAB1(C)
- S(b);N_GUARD,XP(F)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- P(f);N_GUARD::QAR1(C)
- Refutation
- K(e);P-FLIGHT
- Try
- R(H);
- Vars
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- S(b);N_GUARD,XP(E)::QAB1(C)
- S(b);N_GUARD,XP(F)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- P(f);N_GUARD::QAR1(C)
- Refutation
- K(e);P-FLIGHT
- Try
- Q(C);
- Vars
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- P(f);N_GUARD,XS(D)::QAR1(C)
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- P(f);N_GUARD::QAR1(C)
- Refutation
- S(b);XP(E)
- Try
- Q(C);
- Threat
- DUALS(2)
- Vars
- S(b);N_GUARD,XP(E)::QAB1(C)
- R(c);P_SPINS(a)::S(G)
- S(b);N_GUARD::QAB1(C),XS(b)
- Refutation
- R(c);P_SPINS(a),XP(F)
- Try
- P(F);
- Vars
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- S(b);N_GUARD,XP(E)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- P(f);N_GUARD::QAR1(C)
- Refutation
- K(e);P-FLIGHT
- Try
- Actual
- R(H);
- Vars
- K(e);P-FLIGHT,P_SPINP(f)::QAB1(C)
- R(c);N_GUARD,P_SPINS(a),XP(F)::QAR1(C),XS(b)
- S(b);N_GUARD,XP(E)::QAB1(C)
- S(b);N_GUARD,XP(F)::QAB1(C)
- P(f);N_GUARD,XS(D)::QAR1(C)
- R(c);N_GUARD,P_SPINS(a)::QAR1(C),XS(b)
- S(a);N_GUARD,P_SPINR(c)::QAR1(C),XS(b)
- S(b);N_GUARD::QAB1(C)
- S(b);N_GUARD::QAB1(C),XS(b)
- P(f);N_GUARD::QAR1(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).