MESON Chess Problem Database

Problem Display
PID: 205464 (8/5P1K/8/1pN5/ppkrB3/2qNB3/1P6/2R2Q2 w - - 0 1)

Goulty, Allison Howard

The Observer, 1953

(First published on Sun Feb 22 1953)

8/5P1K/8/1pN5/ppkrB3/2qNB3/1P6/2R2Q2

#2

9 + 6

15239 Valois Notebooks 2020

SOLUTION

  • SOUND
  • Sets
    • 1...Qxc1
      • 2.Qxc1#
    • 1...Qc2
      • 2.Rxc2#
    • 1...Rxd3
      • 2.Qxd3#
    • 1...Rxe4
      • 2.Sf4#
    • 1...Rd5
      • 2.Se5#
    • 1...Rd6
      • 2.Se5#
    • 1...Rd7
      • 2.Se5#
    • 1...Rd8
      • 2.Se5#
    • 1...a3
      • 2.b3#
    • 1...b3
      • 2.Rxc3#
  • Tries
    • 1.Kg6?
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Rxe4
        • 2.Sf4#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Rd6+!
    • 1.Kh6?
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Rxe4
        • 2.Sf4#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Rd6+!
    • 1.Kg8?
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Rxe4
        • 2.Sf4#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Rd8+!
    • 1.Se1+?
      • 1...Rd3
        • 2.Qxd3#
      • 1...Kxc5!
    • 1.Sf2+?
      • 1...Rd3
        • 2.Qxd3#
      • 1...Kxc5!
    • 1.Sf4+?
      • 1...Rd3
        • 2.Bxd3#
        • 2.Bd5#
        • 2.Qxd3#
      • 1...Kxc5!
    • 1.Bg1?
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Rxe4!
    • 1.Bf2?
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Rxe4!
    • 1.Bh1?
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Re4
        • 2.Sf4#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Rf4
        • 2.Sf2#
        • 2.Sxf4#
        • 2.Se5#
        • 2.Qxf4#
      • 1...Rg4
        • 2.Se1#
        • 2.Sf2#
        • 2.Sf4#
        • 2.Se5#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Rh4+!
    • 1.Bg2?
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Re4
        • 2.Sf4#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Rf4
        • 2.Sf2#
        • 2.Sxf4#
        • 2.Se5#
        • 2.Qxf4#
      • 1...Rg4
        • 2.Se1#
        • 2.Sf2#
        • 2.Sf4#
        • 2.Se5#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Rh4+!
    • 1.Bf3?
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Re4
        • 2.Sf4#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Rf4
        • 2.Se1#
        • 2.Sf2#
        • 2.Sxf4#
        • 2.Se5#
      • 1...Rg4
        • 2.Se1#
        • 2.Sf2#
        • 2.Sf4#
        • 2.Se5#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Rh4+!
    • 1.Bd5+?
      • 1...Rxd5
        • 2.Se5#
      • 1...Kxd5!
    • 1.Bc6?
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Re4
        • 2.Se1#
        • 2.Sf2#
        • 2.Sf4#
        • 2.Se5#
      • 1...Rf4
        • 2.Sf2#
        • 2.Sxf4#
        • 2.Se5#
        • 2.Qxf4#
      • 1...Rg4
        • 2.Se1#
        • 2.Sf2#
        • 2.Sf4#
        • 2.Se5#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Rh4+!
    • 1.Bb7?
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Re4
        • 2.Se1#
        • 2.Sf2#
        • 2.Sf4#
        • 2.Se5#
      • 1...Rf4
        • 2.Sf2#
        • 2.Sxf4#
        • 2.Se5#
        • 2.Qxf4#
      • 1...Rg4
        • 2.Se1#
        • 2.Sf2#
        • 2.Sf4#
        • 2.Se5#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Rh4+!
    • 1.Ba8?
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Re4
        • 2.Se1#
        • 2.Sf2#
        • 2.Sf4#
        • 2.Se5#
      • 1...Rf4
        • 2.Sf2#
        • 2.Sxf4#
        • 2.Se5#
        • 2.Qxf4#
      • 1...Rg4
        • 2.Se1#
        • 2.Sf2#
        • 2.Sf4#
        • 2.Se5#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Rh4+!
    • 1.Rc2?
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Rxe4
        • 2.Sf4#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Qxc2!
    • 1.Qe2?
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Rxe4
        • 2.Sf4#
      • 1...Qc2
        • 2.Rxc2#
        • 2.Qxc2#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Qxc1!
    • 1.Qg2?
      • 1...Rxd3
        • 2.Bxd3#
      • 1...Rxe4
        • 2.Qxe4#
      • 1...Qc2
        • 2.Rxc2#
        • 2.Qxc2#
      • 1...Rd5
        • 2.Bxd5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Qxc1!
    • 1.Qf3?
      • 1...Rxd3
        • 2.Bxd3#
      • 1...Rxe4
        • 2.Qxe4#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Rd5
        • 2.Bxd5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Qxc1!
    • 1.Qf5?
      • 1...Rxd3
        • 2.Bxd3#
      • 1...Rxe4
        • 2.Qxe4#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Rd5
        • 2.Bxd5#
        • 2.Qxd5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Qxc1!
    • 1.bxc3?
      • threat
        • 2.cxb4#
        • 2.cxd4#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Rxe4
        • 2.Sxb4#
        • 2.Sf4#
      • 1...Rd5
        • 2.Sb2#
        • 2.Se5#
        • 2.cxb4#
      • 1...Rd6
        • 2.Sb2#
        • 2.Se5#
        • 2.cxb4#
      • 1...Rd7
        • 2.Sb2#
        • 2.Se5#
        • 2.cxb4#
      • 1...Rd8
        • 2.Sb2#
        • 2.Se5#
        • 2.cxb4#
      • 1...b3
        • 2.cxd4#
      • 1...bxc3!
    • 1.f8Q?
      • threat
        • 2.Se5#
      • 1...Rxd3
        • 2.Qxd3#
        • 2.Q8f7#
        • 2.Qg8#
      • 1...Rxe4
        • 2.Sf4#
      • 1...b3
        • 2.Rxc3#
      • 1...Rd7+!
    • 1.f8S?
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Rxe4
        • 2.Sf4#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Rd7+!
    • 1.f8B?
      • threat
        • 2.Se5#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Rxe4
        • 2.Sf4#
      • 1...b3
        • 2.Rxc3#
      • 1...Rd7+!
    • 1.f8R?
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Rxe4
        • 2.Sf4#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Rd5
        • 2.Se5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#
      • 1...Rd7+!
  • Keys
    • 1.Qh1!
      • 1...Qxc1
        • 2.Qxc1#
      • 1...Rxd3
        • 2.Bxd3#
      • 1...Rxe4
        • 2.Qxe4#
      • 1...Qc2
        • 2.Rxc2#
      • 1...Rd5
        • 2.Bxd5#
      • 1...Rd6
        • 2.Se5#
      • 1...Rd7
        • 2.Se5#
      • 1...Rd8
        • 2.Se5#
      • 1...a3
        • 2.b3#
      • 1...b3
        • 2.Rxc3#

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 3
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
    • Q(a);OGATEB::R(A),XQ(a)
    • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
    • R(e);N_GUARD,XB(F)::QAB(B)+S(D)
    • R(e);::QAB(B)+S(D),DCHECK
    • R(e);P_PINP(H)::QAB(B)+S(D),DCHECK
    • P(b);N_GUARD::P(C)
    • P(c);N_GUARD::R1(A),XQ(a)
  • Tries
    • Try
      • K(I);S_FLIGHT
      • Vars
        • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • R(e);N_GUARD,XB(F)::QAB(B)+S(D)
        • Q(a);OGATEB::R(A),XQ(a)
        • R(e);::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);CHECK
    • Try
      • K(I);P-FLIGHT
      • Vars
        • Q(a);N_SPINQ(a),OGATE,P_PINB(E),XR(A)::QAR(B),XQ(a)
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • R(e);N_GUARD,XB(F)::QAB(B)+S(D)
        • Q(a);OGATEB::R(A),XQ(a)
        • R(e);::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);CHECK
    • Try
      • K(I);S_FLIGHT
      • Vars
        • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • R(e);N_GUARD,XB(F)::QAB(B)+S(D)
        • Q(a);OGATEB::R(A),XQ(a)
        • R(e);::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);CHECK
    • Try
      • S(D);CHECK
      • Vars
        • R(e);N_GUARD,P_SPINR(e)::QAB1(B),XR(e)
      • Refutation
        • K(d);P-FLIGHT,P_SPINR(e),XS(G)
    • Try
      • S(D);CHECK
      • Vars
        • R(e);N_GUARD,P_SPINR(e)::QAB1(B),XR(e)
      • Refutation
        • K(d);P-FLIGHT,P_SPINR(e),XS(G)
    • Try
      • S(D);CHECK
      • Refutation
        • K(d);P-FLIGHT,P_SPINR(e),XS(G)
    • Try
      • B(E);
      • Vars
        • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • Q(a);OGATEB::R(A),XQ(a)
        • R(e);::QAB(B)+S(D),DCHECK
        • R(e);P_PINP(H)::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);XB(F)
    • Try
      • B(E);
      • Vars
        • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • Q(a);OGATEB::R(A),XQ(a)
        • R(e);::QAB(B)+S(D),DCHECK
        • R(e);P_PINP(H)::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);XB(F)
    • Try
      • B(F);
      • Vars
        • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • R(e);N_GUARD::QAB(B)+S(D)
        • Q(a);OGATEB,P_PINS(D)::R(A),XQ(a)
        • R(e);::QAB(B)+S(D),DCHECK
        • R(e);P_PINP(H)::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);CHECK
    • Try
      • B(F);
      • Vars
        • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • R(e);N_GUARD::QAB(B)+S(D)
        • Q(a);OGATEB,P_PINS(D)::R(A),XQ(a)
        • R(e);::QAB(B)+S(D),DCHECK
        • R(e);P_PINP(H)::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);CHECK
    • Try
      • B(F);
      • Vars
        • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • R(e);N_GUARD::QAB(B)+S(D)
        • Q(a);OGATEB,P_PINS(D)::R(A),XQ(a)
        • R(e);::QAB(B)+S(D),DCHECK
        • R(e);P_PINP(H)::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);CHECK
    • Try
      • B(F);CHECK
      • Vars
        • R(e);SBLOCK,XB(F)::QAB(B)+S(D),DCHECK
      • Refutation
        • K(d);N_SPINQ(a),S_FLIGHT,XB(F)
    • Try
      • B(F);
      • Vars
        • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • Q(a);OGATEB,P_PINS(D)::R(A),XQ(a)
        • R(e);::QAB(B)+S(D),DCHECK
        • R(e);P_PINP(H)::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);CHECK
    • Try
      • B(F);
      • Vars
        • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • Q(a);OGATEB,P_PINS(D)::R(A),XQ(a)
        • R(e);::QAB(B)+S(D),DCHECK
        • R(e);P_PINP(H)::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);CHECK
    • Try
      • B(F);
      • Vars
        • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • Q(a);OGATEB,P_PINS(D)::R(A),XQ(a)
        • R(e);::QAB(B)+S(D),DCHECK
        • R(e);P_PINP(H)::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);CHECK
    • Try
      • R(A);
      • Vars
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • R(e);N_GUARD,XB(F)::QAB(B)+S(D)
        • R(e);::QAB(B)+S(D),DCHECK
        • R(e);P_PINP(H)::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • Q(a);N_SPINQ(a),XR(A)
    • Try
      • Q(B);
      • Vars
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • R(e);N_GUARD,XB(F)::QAB(B)+S(D)
        • R(e);::QAB(B)+S(D),DCHECK
        • R(e);P_PINP(H)::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • Q(a);N_SPINQ(a),XR(A)
    • Try
      • Q(B);
      • Vars
        • R(e);OGATE,XS(D)::B(F),XR(e)
        • R(e);OGATE,XB(F)::QAR2(B),XR(e)
        • R(e);N_GUARD::B(F),XR(e)
        • R(e);::S(D)
        • R(e);P_PINP(H)::S(D)
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • Q(a);N_SPINQ(a),XR(A)
    • Try
      • Q(B);
      • Vars
        • R(e);OGATE,XS(D)::B(F),XR(e)
        • R(e);OGATE,XB(F)::QAR2(B),XR(e)
        • Q(a);OGATEB::R(A),XQ(a)
        • R(e);N_GUARD::B(F),XR(e)
        • R(e);::S(D)
        • R(e);P_PINP(H)::S(D)
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • Q(a);N_SPINQ(a),XR(A)
    • Try
      • Q(B);
      • Vars
        • R(e);OGATE,XS(D)::B(F),XR(e)
        • R(e);OGATE,XB(F)::QAR2(B),XR(e)
        • Q(a);OGATEB::R(A),XQ(a)
        • R(e);::S(D)
        • R(e);P_PINP(H)::S(D)
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • Q(a);N_SPINQ(a),XR(A)
    • Try
      • P(C);XQ(a)
      • Threat
        • DUALS(2)
      • Vars
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • P(c);::R(A)+P(C),XR(e)
      • Refutation
        • P(c);P_SPINP(c),XP(C)
    • Try
      • P(H);
      • Threat
        • QAB(B)+S(D),DCHECK
      • Vars
        • R(e);N_GUARD,XB(F)::QAB(B)+S(D)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);CHECK
    • Try
      • P(H);
      • Vars
        • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • R(e);N_GUARD,XB(F)::QAB(B)+S(D)
        • Q(a);OGATEB::R(A),XQ(a)
        • R(e);::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);CHECK
    • Try
      • P(H);
      • Threat
        • QAB(B)+S(D),DCHECK
      • Vars
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • R(e);N_GUARD,XB(F)::QAB(B)+S(D)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);CHECK
    • Try
      • P(H);
      • Vars
        • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
        • R(e);OGATE,P_SPINR(e),XS(D)::QAB1(B),XR(e)
        • R(e);N_GUARD,XB(F)::QAB(B)+S(D)
        • Q(a);OGATEB::R(A),XQ(a)
        • R(e);::QAB(B)+S(D),DCHECK
        • P(b);N_GUARD::P(C)
        • P(c);N_GUARD::R1(A),XQ(a)
      • Refutation
        • R(e);CHECK
  • Actual
    • Q(B);
    • Vars
      • Q(a);N_SPINQ(a),OGATE,XR(A)::QAR(B),XQ(a)
      • R(e);OGATE,XS(D)::B(F),XR(e)
      • R(e);OGATE,XB(F)::QAR2(B),XR(e)
      • Q(a);OGATEB::R(A),XQ(a)
      • R(e);N_GUARD::B(F),XR(e)
      • R(e);::S(D)
      • R(e);P_PINP(H)::S(D)
      • P(b);N_GUARD::P(C)
      • P(c);N_GUARD::R1(A),XQ(a)
HTML5 logo

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