Problem Display
PID: 195262 (1bq5/1N3PN1/8/7Q/4kp1R/2P3R1/2n2B2/6K1 w - - 0 1)

Andrade, Barry Jack da Costa

The Observer, 1941

(First published on Sun Nov 23 1941)

1bq5/1N3PN1/8/7Q/4kp1R/2P3R1/2n2B2/6K1

#2

9 + 5


15239 Valois Notebooks 2019

SOLUTION


  • SOUND
  • Sets
    • 1...Qh3
      • 2.Sc5#
    • 1...Qg4
      • 2.Sc5#
    • 1...Qf5
      • 2.Qxf5#
    • 1...Qe6
      • 2.Sc5#
    • 1...Qxb7
      • 2.Qf5#
    • 1...Qd7
      • 2.Sc5#
    • 1...Qxc3
      • 2.Qf5#
    • 1...Qc4
      • 2.Qf5#
    • 1...Qc5
      • 2.Sxc5#
    • 1...Qc6
      • 2.Qf5#
    • 1...Qc7
      • 2.Qf5#
    • 1...Qd8
      • 2.Sc5#
      • 2.Qf5#
    • 1...Qe8
      • 2.Sc5#
      • 2.Qf5#
    • 1...Qf8
      • 2.Qf5#
    • 1...Qg8
      • 2.Sc5#
      • 2.Qf5#
    • 1...Qh8
      • 2.Sc5#
      • 2.Qf5#
    • 1...Be5
      • 2.Qf3#
    • 1...Bd6
      • 2.Sxd6#
    • 1...Ba7
      • 2.Sd6#
    • 1...Bc7
      • 2.Sc5#
    • 1...Sa1
      • 2.Re3#
    • 1...Se1
      • 2.Re3#
    • 1...Sa3
      • 2.Re3#
    • 1...Se3
      • 2.Rxe3#
    • 1...Sb4
      • 2.Re3#
    • 1...Sd4
      • 2.Re3#
  • Tries
    • 1.Kh1?
      • 1...Qxb7
        • 2.Qf5#
      • 1...Qxc3
        • 2.Qf5#
      • 1...Qf5
        • 2.Qxf5#
      • 1...Be5
        • 2.Qf3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Qg4
        • 2.Sc5#
      • 1...Qe6
        • 2.Sc5#
      • 1...Qd7
        • 2.Sc5#
      • 1...Qc4
        • 2.Qf5#
      • 1...Qc5
        • 2.Sxc5#
      • 1...Qc6
        • 2.Qf5#
      • 1...Qc7
        • 2.Qf5#
      • 1...Qd8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qe8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qf8
        • 2.Qf5#
      • 1...Qg8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qh8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Bd6
        • 2.Sxd6#
      • 1...Ba7
        • 2.Sd6#
      • 1...Bc7
        • 2.Sc5#
      • 1...Sa1
        • 2.Re3#
      • 1...Se1
        • 2.Re3#
      • 1...Sa3
        • 2.Re3#
      • 1...Sb4
        • 2.Re3#
      • 1...Sd4
        • 2.Re3#
      • 1...Qh3+!
    • 1.Kh2?
      • 1...Qxb7
        • 2.Qf5#
      • 1...Qxc3
        • 2.Qf5#
      • 1...Qf5
        • 2.Qxf5#
      • 1...Be5
        • 2.Qf3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Qg4
        • 2.Sc5#
      • 1...Qe6
        • 2.Sc5#
      • 1...Qd7
        • 2.Sc5#
      • 1...Qc4
        • 2.Qf5#
      • 1...Qc5
        • 2.Sxc5#
      • 1...Qc6
        • 2.Qf5#
      • 1...Qc7
        • 2.Qf5#
      • 1...Qd8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qe8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qf8
        • 2.Qf5#
      • 1...Qg8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qh8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Bd6
        • 2.Sxd6#
      • 1...Ba7
        • 2.Sd6#
      • 1...Bc7
        • 2.Sc5#
      • 1...Sa1
        • 2.Re3#
      • 1...Se1
        • 2.Re3#
      • 1...Sa3
        • 2.Re3#
      • 1...Sb4
        • 2.Re3#
      • 1...Sd4
        • 2.Re3#
      • 1...Qh3+!
    • 1.Bb6?
      • 1...Qc5+
        • 2.Sxc5#
      • 1...Qxb7
        • 2.Qf5#
      • 1...Qxc3
        • 2.Qf5#
      • 1...Qf5
        • 2.Qxf5#
      • 1...Be5
        • 2.Qf3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Qh3
        • 2.Sc5#
      • 1...Qg4
        • 2.Sc5#
      • 1...Qe6
        • 2.Sc5#
      • 1...Qd7
        • 2.Sc5#
      • 1...Qc4
        • 2.Qf5#
      • 1...Qc6
        • 2.Qf5#
      • 1...Qc7
        • 2.Qf5#
      • 1...Qd8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qe8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qf8
        • 2.Qf5#
      • 1...Qg8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qh8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Bd6
        • 2.Sxd6#
      • 1...Ba7
        • 2.Sd6#
      • 1...Bc7
        • 2.Sc5#
      • 1...Sa1
        • 2.Re3#
      • 1...Se1
        • 2.Re3#
      • 1...Sa3
        • 2.Re3#
      • 1...Sb4
        • 2.Re3#
      • 1...Sd4!
    • 1.Rgh3?
      • 1...Qxh3
        • 2.Sc5#
      • 1...Qxb7
        • 2.Qf5#
      • 1...Qxc3
        • 2.Qf5#
      • 1...Qf5
        • 2.Qxf5#
      • 1...Be5
        • 2.Qf3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Qe6
        • 2.Sc5#
      • 1...Qd7
        • 2.Sc5#
      • 1...Qc4
        • 2.Qf5#
      • 1...Qc5
        • 2.Sxc5#
      • 1...Qc6
        • 2.Qf5#
      • 1...Qc7
        • 2.Qf5#
      • 1...Qd8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qe8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qf8
        • 2.Qf5#
      • 1...Qg8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qh8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Bd6
        • 2.Sxd6#
      • 1...Ba7
        • 2.Sd6#
      • 1...Bc7
        • 2.Sc5#
      • 1...Sa1
        • 2.Re3#
      • 1...Se1
        • 2.Re3#
      • 1...Sa3
        • 2.Re3#
      • 1...Sb4
        • 2.Re3#
      • 1...Sd4
        • 2.Re3#
      • 1...Qg4+!
    • 1.Qg5?
      • 1...Qxb7
        • 2.Qf5#
      • 1...Qxc3
        • 2.Qf5#
      • 1...Qf5
        • 2.Qxf5#
      • 1...Se3
        • 2.Rxe3#
      • 1...Qh3
        • 2.Sc5#
      • 1...Qg4
        • 2.Sc5#
      • 1...Qe6
        • 2.Sc5#
      • 1...Qd7
        • 2.Sc5#
      • 1...Qc4
        • 2.Qf5#
      • 1...Qc5
        • 2.Sxc5#
      • 1...Qc6
        • 2.Qf5#
      • 1...Qc7
        • 2.Qf5#
      • 1...Qd8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qe8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qf8
        • 2.Qf5#
      • 1...Qg8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qh8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Bd6
        • 2.Sxd6#
      • 1...Ba7
        • 2.Sd6#
        • 2.Rxf4#
      • 1...Bc7
        • 2.Sc5#
      • 1...Sa1
        • 2.Re3#
      • 1...Se1
        • 2.Re3#
      • 1...Sa3
        • 2.Re3#
      • 1...Sb4
        • 2.Re3#
      • 1...Sd4
        • 2.Re3#
      • 1...Be5!
    • 1.c4?
      • threat
        • 2.Qd5#
      • 1...Qxb7
        • 2.Qf5#
      • 1...Qxc4
        • 2.Qf5#
      • 1...Qf5
        • 2.Qxf5#
      • 1...Qe6
        • 2.Sc5#
      • 1...Qd7
        • 2.Sc5#
      • 1...Qc5
        • 2.Sxc5#
      • 1...Qc6
        • 2.Qf5#
      • 1...Qd8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Be5
        • 2.Qf3#
      • 1...Sb4
        • 2.Qe2#
      • 1...Se3!
    • 1.f8Q?
      • 1...Qxb7
        • 2.Qhf5#
        • 2.Qff5#
      • 1...Qxc3
        • 2.Qhf5#
        • 2.Qff5#
      • 1...Qf5
        • 2.Qhxf5#
        • 2.Qfxf5#
      • 1...Be5
        • 2.Qf3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Qh3
        • 2.Sc5#
      • 1...Qg4
        • 2.Sc5#
      • 1...Qe6
        • 2.Sc5#
      • 1...Qd7
        • 2.Sc5#
      • 1...Qc4
        • 2.Qhf5#
        • 2.Qff5#
      • 1...Qc5
        • 2.Sxc5#
      • 1...Qc6
        • 2.Qhf5#
        • 2.Qff5#
      • 1...Qc7
        • 2.Qhf5#
        • 2.Qff5#
      • 1...Qd8
        • 2.Sc5#
        • 2.Qhf5#
        • 2.Qff5#
      • 1...Qe8
        • 2.Sc5#
        • 2.Qhf5#
        • 2.Qff5#
      • 1...Bd6
        • 2.Sxd6#
      • 1...Ba7
        • 2.Sd6#
        • 2.Rxf4#
        • 2.Qxf4#
      • 1...Bc7
        • 2.Sc5#
      • 1...Sa1
        • 2.Re3#
      • 1...Se1
        • 2.Re3#
      • 1...Sa3
        • 2.Re3#
      • 1...Sb4
        • 2.Re3#
      • 1...Sd4
        • 2.Re3#
      • 1...Qxf8!
    • 1.f8S?
      • 1...Qxb7
        • 2.Qf5#
      • 1...Qxc3
        • 2.Qf5#
      • 1...Qf5
        • 2.Qxf5#
      • 1...Be5
        • 2.Qf3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Qh3
        • 2.Sc5#
      • 1...Qg4
        • 2.Sc5#
      • 1...Qe6
        • 2.Sc5#
      • 1...Qd7
        • 2.Sc5#
      • 1...Qc4
        • 2.Qf5#
      • 1...Qc5
        • 2.Sxc5#
      • 1...Qc6
        • 2.Qf5#
      • 1...Qc7
        • 2.Qf5#
      • 1...Qd8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qe8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Bd6
        • 2.Sxd6#
      • 1...Ba7
        • 2.Sd6#
      • 1...Bc7
        • 2.Sc5#
      • 1...Sa1
        • 2.Re3#
      • 1...Se1
        • 2.Re3#
      • 1...Sa3
        • 2.Re3#
      • 1...Sb4
        • 2.Re3#
      • 1...Sd4
        • 2.Re3#
      • 1...Qxf8!
    • 1.f8B?
      • 1...Qxb7
        • 2.Qf5#
      • 1...Qxc3
        • 2.Qf5#
      • 1...Qf5
        • 2.Qxf5#
      • 1...Be5
        • 2.Qf3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Qh3
        • 2.Sc5#
      • 1...Qg4
        • 2.Sc5#
      • 1...Qe6
        • 2.Sc5#
      • 1...Qd7
        • 2.Sc5#
      • 1...Qc4
        • 2.Qf5#
      • 1...Qc5
        • 2.Sxc5#
      • 1...Qc6
        • 2.Qf5#
      • 1...Qc7
        • 2.Qf5#
      • 1...Qd8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qe8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Bd6
        • 2.Sxd6#
      • 1...Ba7
        • 2.Sd6#
      • 1...Bc7
        • 2.Sc5#
      • 1...Sa1
        • 2.Re3#
      • 1...Se1
        • 2.Re3#
      • 1...Sa3
        • 2.Re3#
      • 1...Sb4
        • 2.Re3#
      • 1...Sd4
        • 2.Re3#
      • 1...Qxf8!
    • 1.f8R?
      • 1...Qxb7
        • 2.Qf5#
      • 1...Qxc3
        • 2.Qf5#
      • 1...Qf5
        • 2.Qxf5#
      • 1...Be5
        • 2.Qf3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Qh3
        • 2.Sc5#
      • 1...Qg4
        • 2.Sc5#
      • 1...Qe6
        • 2.Sc5#
      • 1...Qd7
        • 2.Sc5#
      • 1...Qc4
        • 2.Qf5#
      • 1...Qc5
        • 2.Sxc5#
      • 1...Qc6
        • 2.Qf5#
      • 1...Qc7
        • 2.Qf5#
      • 1...Qd8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qe8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Bd6
        • 2.Sxd6#
      • 1...Ba7
        • 2.Sd6#
        • 2.Rhxf4#
        • 2.Rfxf4#
      • 1...Bc7
        • 2.Sc5#
      • 1...Sa1
        • 2.Re3#
      • 1...Se1
        • 2.Re3#
      • 1...Sa3
        • 2.Re3#
      • 1...Sb4
        • 2.Re3#
      • 1...Sd4
        • 2.Re3#
      • 1...Qxf8!
  • Keys
    • 1.Rhg4!
      • 1...Qxg4
        • 2.Sc5#
      • 1...Qxb7
        • 2.Qf5#
      • 1...Qxc3
        • 2.Qf5#
      • 1...Qf5
        • 2.Qxf5#
      • 1...Be5
        • 2.Qh1#
      • 1...Se3
        • 2.Rxe3#
      • 1...Qe6
        • 2.Sc5#
      • 1...Qd7
        • 2.Sc5#
      • 1...Qc4
        • 2.Qf5#
      • 1...Qc5
        • 2.Sxc5#
      • 1...Qc6
        • 2.Qf5#
      • 1...Qc7
        • 2.Qf5#
      • 1...Qd8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qe8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qf8
        • 2.Qf5#
      • 1...Qg8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Qh8
        • 2.Sc5#
        • 2.Qf5#
      • 1...Bd6
        • 2.Sxd6#
      • 1...Ba7
        • 2.Sd6#
      • 1...Bc7
        • 2.Sc5#
      • 1...Sa1
        • 2.Re3#
      • 1...Se1
        • 2.Re3#
      • 1...Sa3
        • 2.Re3#
      • 1...Sb4
        • 2.Re3#
      • 1...Sd4
        • 2.Re3#

FEATURES


  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 0
    • REMOVED MATES = 1
  • Sets
    • Q(e);N_GUARD::S(G)
    • Q(e);N_GUARD,N_SPINP(c),P_PINR(D)::S(G)
    • Q(e);N_GUARD::QAB1(F),XQ(e)
    • Q(e);N_GUARD,XS(G)::QAB1(F)
    • Q(e);N_GUARD,XP(C)::QAB1(F)
    • Q(e);N_GUARD::QAB1(F)
    • Q(e);N_GUARD,P_PINB(B)::S(G),XQ(e)
    • B(d);SBLOCK::QAB1(F)
    • B(d);N_GUARD::S(G),XB(d)
    • B(d);N_GUARD,P_PINB(B)::S(G)
    • B(d);S_CUTQ(e)::S(G)
    • S(a);N_GUARD::R1(D)
    • S(a);N_GUARD::R1(D),XS(a)
  • Tries
    • Try
      • K(A);P-FLIGHT
      • Vars
        • Q(e);N_GUARD,XS(G)::QAB1(F)
        • Q(e);N_GUARD,XP(C)::QAB1(F)
        • Q(e);N_GUARD::QAB1(F),XQ(e)
        • B(d);SBLOCK::QAB1(F)
        • S(a);N_GUARD::R1(D),XS(a)
        • Q(e);N_GUARD,N_SPINP(c)::S(G)
        • Q(e);N_GUARD::S(G)
        • Q(e);N_GUARD::QAB1(F)
        • Q(e);N_GUARD::S(G),XQ(e)
        • B(d);N_GUARD::S(G),XB(d)
        • B(d);N_GUARD::S(G)
        • B(d);S_CUTQ(e)::S(G)
        • S(a);N_GUARD::R1(D)
      • Refutation
        • Q(e);CHECK
    • Try
      • K(A);S_FLIGHT
      • Vars
        • Q(e);N_GUARD,XS(G)::QAB1(F)
        • Q(e);N_GUARD,XP(C)::QAB1(F)
        • Q(e);N_GUARD::QAB1(F),XQ(e)
        • B(d);SBLOCK::QAB1(F)
        • S(a);N_GUARD::R1(D),XS(a)
        • Q(e);N_GUARD,N_SPINP(c)::S(G)
        • Q(e);N_GUARD::S(G)
        • Q(e);N_GUARD::QAB1(F)
        • Q(e);N_GUARD::S(G),XQ(e)
        • B(d);N_GUARD::S(G),XB(d)
        • B(d);N_GUARD::S(G)
        • B(d);S_CUTQ(e)::S(G)
        • S(a);N_GUARD::R1(D)
      • Refutation
        • Q(e);CHECK
    • Try
      • B(B);
      • Vars
        • Q(e);CHECK,N_GUARD::S(G),XQ(e)
        • Q(e);N_GUARD,XS(G)::QAB1(F)
        • Q(e);N_GUARD,XP(C)::QAB1(F)
        • Q(e);N_GUARD::QAB1(F),XQ(e)
        • B(d);SBLOCK::QAB1(F)
        • S(a);N_GUARD::R1(D),XS(a)
        • Q(e);N_GUARD::S(G)
        • Q(e);N_GUARD,N_SPINP(c),P_PINR(D)::S(G)
        • Q(e);N_GUARD::QAB1(F)
        • B(d);N_GUARD::S(G),XB(d)
        • B(d);N_GUARD,P_PINB(B)::S(G)
        • B(d);S_CUTQ(e)::S(G)
        • S(a);N_GUARD::R1(D)
      • Refutation
        • S(a);
    • Try
      • R(D);
      • Vars
        • Q(e);N_GUARD,XR(D)::S(G)
        • Q(e);N_GUARD,XS(G)::QAB1(F)
        • Q(e);N_GUARD,XP(C)::QAB1(F)
        • Q(e);N_GUARD::QAB1(F),XQ(e)
        • B(d);SBLOCK::QAB1(F)
        • S(a);N_GUARD::R1(D),XS(a)
        • Q(e);N_GUARD::S(G)
        • Q(e);N_GUARD::QAB1(F)
        • Q(e);N_GUARD,P_PINB(B)::S(G),XQ(e)
        • B(d);N_GUARD::S(G),XB(d)
        • B(d);N_GUARD,P_PINB(B)::S(G)
        • B(d);S_CUTQ(e)::S(G)
        • S(a);N_GUARD::R1(D)
      • Refutation
        • Q(e);CHECK,N_SPINP(c)
    • Try
      • Q(F);
      • Vars
        • Q(e);N_GUARD,XS(G)::QAB1(F)
        • Q(e);N_GUARD,XP(C)::QAB1(F)
        • Q(e);N_GUARD::QAB1(F),XQ(e)
        • S(a);N_GUARD::R1(D),XS(a)
        • Q(e);N_GUARD::S(G)
        • Q(e);N_GUARD,N_SPINP(c),P_PINR(D)::S(G)
        • Q(e);N_GUARD::QAB1(F)
        • Q(e);N_GUARD,P_PINB(B)::S(G),XQ(e)
        • B(d);N_GUARD::S(G),XB(d)
        • B(d);S_CUTQ(e)::S(G)
        • S(a);N_GUARD::R1(D)
      • Refutation
        • B(d);
    • Try
      • P(C);
      • Threat
        • QAB1(F)
      • Vars
        • Q(e);N_GUARD,XS(G)::QAB1(F)
        • Q(e);N_GUARD,XP(C)::QAB1(F)
        • Q(e);N_GUARD::QAB1(F),XQ(e)
        • Q(e);N_GUARD::S(G)
        • Q(e);N_GUARD,P_PINB(B)::S(G),XQ(e)
        • Q(e);N_GUARD::QAB1(F)
        • B(d);SBLOCK::QAB1(F)
        • S(a);N_GUARD::QAR2(F)
      • Refutation
        • S(a);
    • Try
      • P(H);
      • Vars
        • B(d);SBLOCK::QAB1(F)
        • S(a);N_GUARD::R1(D),XS(a)
        • Q(e);N_GUARD::S(G)
        • Q(e);N_GUARD,N_SPINP(c),P_PINR(D)::S(G)
        • Q(e);N_GUARD,P_PINB(B)::S(G),XQ(e)
        • B(d);N_GUARD::S(G),XB(d)
        • B(d);S_CUTQ(e)::S(G)
        • S(a);N_GUARD::R1(D)
      • Refutation
        • Q(e);XQ(H)
    • Try
      • P(H);
      • Vars
        • Q(e);N_GUARD,XS(G)::QAB1(F)
        • Q(e);N_GUARD,XP(C)::QAB1(F)
        • Q(e);N_GUARD::QAB1(F),XQ(e)
        • B(d);SBLOCK::QAB1(F)
        • S(a);N_GUARD::R1(D),XS(a)
        • Q(e);N_GUARD::S(G)
        • Q(e);N_GUARD,N_SPINP(c),P_PINR(D)::S(G)
        • Q(e);N_GUARD::QAB1(F)
        • Q(e);N_GUARD,P_PINB(B)::S(G),XQ(e)
        • B(d);N_GUARD::S(G),XB(d)
        • B(d);N_GUARD,P_PINB(B)::S(G)
        • B(d);S_CUTQ(e)::S(G)
        • S(a);N_GUARD::R1(D)
      • Refutation
        • Q(e);XS(H)
    • Try
      • P(H);
      • Vars
        • Q(e);N_GUARD,XS(G)::QAB1(F)
        • Q(e);N_GUARD,XP(C)::QAB1(F)
        • Q(e);N_GUARD::QAB1(F),XQ(e)
        • B(d);SBLOCK::QAB1(F)
        • S(a);N_GUARD::R1(D),XS(a)
        • Q(e);N_GUARD::S(G)
        • Q(e);N_GUARD,N_SPINP(c),P_PINR(D)::S(G)
        • Q(e);N_GUARD::QAB1(F)
        • Q(e);N_GUARD,P_PINB(B)::S(G),XQ(e)
        • B(d);N_GUARD::S(G),XB(d)
        • B(d);N_GUARD,P_PINB(B)::S(G)
        • B(d);S_CUTQ(e)::S(G)
        • S(a);N_GUARD::R1(D)
      • Refutation
        • Q(e);XB(H)
    • Try
      • P(H);
      • Vars
        • Q(e);N_GUARD,XS(G)::QAB1(F)
        • Q(e);N_GUARD,XP(C)::QAB1(F)
        • Q(e);N_GUARD::QAB1(F),XQ(e)
        • B(d);SBLOCK::QAB1(F)
        • S(a);N_GUARD::R1(D),XS(a)
        • Q(e);N_GUARD::S(G)
        • Q(e);N_GUARD,N_SPINP(c),P_PINR(D)::S(G)
        • Q(e);N_GUARD::QAB1(F)
        • Q(e);N_GUARD,P_PINB(B)::S(G),XQ(e)
        • B(d);N_GUARD::S(G),XB(d)
        • B(d);S_CUTQ(e)::S(G)
        • S(a);N_GUARD::R1(D)
      • Refutation
        • Q(e);XR(H)
  • Actual
    • R(E);
    • Vars
      • Q(e);N_GUARD,N_SPINP(c),P_PINR(D),XR(E)::S(G)
      • Q(e);N_GUARD,XS(G)::QAB1(F)
      • Q(e);N_GUARD,XP(C)::QAB1(F)
      • Q(e);N_GUARD::QAB1(F),XQ(e)
      • B(d);SBLOCK::QAB(F)
      • S(a);N_GUARD::R1(D),XS(a)
      • Q(e);N_GUARD::S(G)
      • Q(e);N_GUARD::QAB1(F)
      • Q(e);N_GUARD,P_PINB(B)::S(G),XQ(e)
      • B(d);N_GUARD::S(G),XB(d)
      • B(d);N_GUARD,P_PINB(B)::S(G)
      • B(d);S_CUTQ(e)::S(G)
      • S(a);N_GUARD::R1(D)


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).