Problem Display
PID: 52402 (8/3p4/3B2BN/2QpqN1K/4k3/8/2P3P1/3n4 w - - 0 1)

Dobbs, Gilbert S

1st Comm., CCLA (Mutate Ty.), 1939

8/3p4/3B2BN/2QpqN1K/4k3/8/2P3P1/3n4

#2

8 + 5


5064 100 Years of the American Two-move Chess Problem 1962

SOLUTION


  • SOUND
  • Sets
    • 1...Kf4
      • 2.Qd4#
    • 1...Qa1
      • 2.Se3#
      • 2.Sg3#
      • 2.Sh4#
      • 2.Se7#
      • 2.Sg7#
    • 1...Qb2
      • 2.Se3#
      • 2.Sg3#
      • 2.Sh4#
      • 2.Se7#
      • 2.Sg7#
    • 1...Qh2+
      • 2.Sh4#
    • 1...Qc3
      • 2.Se3#
      • 2.Sg3#
      • 2.Sh4#
      • 2.Se7#
      • 2.Sg7#
    • 1...Qg3
      • 2.Sxg3#
      • 2.Qd4#
    • 1...Qd4
      • 2.Qxd4#
    • 1...Qf4
      • 2.Sg3#
      • 2.Qd4#
    • 1...Qxd6
      • 2.Qd4#
    • 1...Qf6
      • 2.Sg3#
    • 1...Qg7
      • 2.Sg3#
      • 2.Sxg7#
    • 1...Qh8
      • 2.Se3#
      • 2.Sg3#
      • 2.Sh4#
      • 2.Se7#
      • 2.Sg7#
    • 1...Qxf5+
      • 2.Bxf5#
    • 1...Qe6
      • 2.Sg3#
      • 2.Qd4#
    • 1...Qe7
      • 2.Se3#
      • 2.Sg3#
      • 2.Sh4#
      • 2.Sxe7#
      • 2.Sg7#
      • 2.Qd4#
    • 1...Qe8
      • 2.Sg3#
      • 2.Qd4#
    • 1...Sb2
      • 2.Qe3#
    • 1...Sf2
      • 2.Qe3#
    • 1...Sc3
      • 2.Qe3#
    • 1...Se3
      • 2.Qxe3#
    • 1...d4
      • 2.Qxe5#
  • Tries
    • 1.Sg4?
      • 1...Qh2+
        • 2.Sh4#
      • 1...Qh8+
        • 2.Sfh6#
      • 1...Kf4
        • 2.Qd4#
      • 1...Qxd6
        • 2.Qd4#
      • 1...Qa1
        • 2.Sfe3#
        • 2.Sg3#
        • 2.Sd4#
        • 2.Sh4#
        • 2.Sfh6#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qb2
        • 2.Sfe3#
        • 2.Sg3#
        • 2.Sd4#
        • 2.Sh4#
        • 2.Sfh6#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qc3
        • 2.Sfe3#
        • 2.Sg3#
        • 2.Sd4#
        • 2.Sh4#
        • 2.Sfh6#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qg3
        • 2.Sf6#
        • 2.Sfe3#
        • 2.Sxg3#
        • 2.Sd4#
        • 2.Sh4#
        • 2.Sfh6#
        • 2.Se7#
        • 2.Sg7#
        • 2.Qd4#
      • 1...Qd4
        • 2.Sfe3#
        • 2.Sg3#
        • 2.Sxd4#
        • 2.Sh4#
        • 2.Sfh6#
        • 2.Se7#
        • 2.Sg7#
        • 2.Qxd4#
      • 1...Qf4
        • 2.Sf6#
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qf6
        • 2.Sxf6#
        • 2.Sg3#
      • 1...Qg7
        • 2.Sg3#
        • 2.Sxg7#
      • 1...Qe6
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qe7
        • 2.Sfe3#
        • 2.Sg3#
        • 2.Sd4#
        • 2.Sh4#
        • 2.Sfh6#
        • 2.Sxe7#
        • 2.Sg7#
        • 2.Qd4#
      • 1...Qe8
        • 2.Sf6#
        • 2.Sg3#
        • 2.Qd4#
      • 1...Sb2
        • 2.Qe3#
      • 1...Sf2
        • 2.Qe3#
      • 1...Sc3
        • 2.Qe3#
      • 1...Se3
        • 2.Qxe3#
      • 1...d4
        • 2.Qxe5#
      • 1...Qxf5+!
    • 1.Sg8?
      • 1...Qh2+
        • 2.Sh4#
      • 1...Qh8+
        • 2.Sfh6#
      • 1...Kf4
        • 2.Qd4#
      • 1...Qxd6
        • 2.Qd4#
      • 1...Qa1
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Sfh6#
        • 2.Sfe7#
        • 2.Sg7#
      • 1...Qb2
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Sfh6#
        • 2.Sfe7#
        • 2.Sg7#
      • 1...Qc3
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Sfh6#
        • 2.Sfe7#
        • 2.Sg7#
      • 1...Qg3
        • 2.Sxg3#
        • 2.Sf6#
        • 2.Qd4#
      • 1...Qd4
        • 2.Qxd4#
      • 1...Qf4
        • 2.Sg3#
        • 2.Sf6#
        • 2.Qd4#
      • 1...Qf6
        • 2.Sg3#
        • 2.Sxf6#
      • 1...Qg7
        • 2.Sg3#
        • 2.Sxg7#
      • 1...Qe6
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qe7
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Sfh6#
        • 2.Sfxe7#
        • 2.Sg7#
        • 2.Qd4#
      • 1...Qe8
        • 2.Sg3#
        • 2.Sf6#
        • 2.Qd4#
      • 1...Sb2
        • 2.Qe3#
      • 1...Sf2
        • 2.Qe3#
      • 1...Sc3
        • 2.Qe3#
      • 1...Se3
        • 2.Qxe3#
      • 1...d4
        • 2.Qxe5#
      • 1...Qxf5+!
    • 1.Bxe5?
      • threat
        • 2.Qd4#
      • 1...d4
        • 2.Qxd4#
      • 1...Kxe5!
    • 1.Bc7?
      • 1...Qh2+
        • 2.Sh4#
      • 1...Qxf5+
        • 2.Bxf5#
      • 1...Kf4
        • 2.Qd4#
      • 1...Qxc7
        • 2.Qd4#
      • 1...Qd6
        • 2.Qd4#
      • 1...Qa1
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qb2
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qc3
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qg3
        • 2.Sxg3#
        • 2.Qd4#
      • 1...Qd4
        • 2.Qxd4#
      • 1...Qf4
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qf6
        • 2.Sg3#
      • 1...Qg7
        • 2.Sg3#
        • 2.Sxg7#
      • 1...Qh8
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qe6
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qe7
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Sxe7#
        • 2.Sg7#
        • 2.Qd4#
        • 2.Qxe7#
      • 1...Qe8
        • 2.Sg3#
        • 2.Qd4#
      • 1...Sb2
        • 2.Qe3#
      • 1...Sf2
        • 2.Qe3#
      • 1...Sc3
        • 2.Qe3#
      • 1...Se3
        • 2.Qxe3#
      • 1...d4
        • 2.Qxe5#
      • 1...d6!
    • 1.Bb8?
      • 1...Qh2+
        • 2.Sh4#
      • 1...Qxf5+
        • 2.Bxf5#
      • 1...Kf4
        • 2.Qd4#
      • 1...Qxb8
        • 2.Qd4#
      • 1...Qd6
        • 2.Qd4#
      • 1...Qc7
        • 2.Qd4#
      • 1...Qa1
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qb2
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qc3
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qg3
        • 2.Sxg3#
        • 2.Qd4#
      • 1...Qd4
        • 2.Qxd4#
      • 1...Qf4
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qf6
        • 2.Sg3#
      • 1...Qg7
        • 2.Sg3#
        • 2.Sxg7#
      • 1...Qh8
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qe6
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qe7
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Sxe7#
        • 2.Sg7#
        • 2.Qd4#
        • 2.Qxe7#
      • 1...Qe8
        • 2.Sg3#
        • 2.Qd4#
      • 1...Sb2
        • 2.Qe3#
      • 1...Sf2
        • 2.Qe3#
      • 1...Sc3
        • 2.Qe3#
      • 1...Se3
        • 2.Qxe3#
      • 1...d4
        • 2.Qxe5#
      • 1...d6!
    • 1.Bh7?
      • 1...Qh2+
        • 2.Sh4#
      • 1...Qxf5+
        • 2.Bxf5#
      • 1...Kf4
        • 2.Qd4#
      • 1...Qxd6
        • 2.Qd4#
      • 1...Qa1
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qb2
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qc3
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qg3
        • 2.Sxg3#
        • 2.Qd4#
      • 1...Qd4
        • 2.Qxd4#
      • 1...Qf4
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qf6
        • 2.Sg3#
      • 1...Qg7
        • 2.Sg3#
        • 2.Sxg7#
      • 1...Qh8
        • 2.Sg3#
      • 1...Qe6
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qe7
        • 2.Sg3#
        • 2.Sxe7#
        • 2.Sg7#
        • 2.Qd4#
      • 1...Sb2
        • 2.Qe3#
      • 1...Sf2
        • 2.Qe3#
      • 1...Sc3
        • 2.Qe3#
      • 1...Se3
        • 2.Qxe3#
      • 1...d4
        • 2.Qxe5#
      • 1...Qe8+!
    • 1.Qf2?
      • threat
        • 2.Qf3#
      • 1...Qh2+
        • 2.Sh4#
      • 1...Qxf5+
        • 2.Bxf5#
      • 1...Qxd6
        • 2.Qd4#
      • 1...Qc3
        • 2.Sg3#
        • 2.Sd4#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
        • 2.Qh4#
        • 2.Qf4#
      • 1...Qg3
        • 2.Sxg3#
        • 2.Qd4#
      • 1...Qf4
        • 2.Sg3#
        • 2.Qd4#
        • 2.Qxf4#
      • 1...Sxf2!
    • 1.Qb4+?
      • 1...Qd4
        • 2.Qxd4#
      • 1...d4!
    • 1.Qb6?
      • 1...Qh2+
        • 2.Sh4#
      • 1...Qxf5+
        • 2.Bxf5#
      • 1...Kf4
        • 2.Qd4#
      • 1...Qxd6
        • 2.Qd4#
      • 1...Qa1
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qb2
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qc3
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qg3
        • 2.Sxg3#
        • 2.Qd4#
      • 1...Qd4
        • 2.Qxd4#
      • 1...Qf4
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qf6
        • 2.Sg3#
      • 1...Qg7
        • 2.Sg3#
        • 2.Sxg7#
      • 1...Qh8
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qe6
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qe7
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Sxe7#
        • 2.Sg7#
        • 2.Qd4#
      • 1...Qe8
        • 2.Sg3#
        • 2.Qd4#
      • 1...Sb2
        • 2.Qe3#
      • 1...Sf2
        • 2.Qe3#
      • 1...Sc3
        • 2.Qe3#
      • 1...Se3
        • 2.Qxe3#
      • 1...d4!
    • 1.Qa7?
      • 1...Qh2+
        • 2.Sh4#
      • 1...Qxf5+
        • 2.Bxf5#
      • 1...Kf4
        • 2.Qd4#
      • 1...Qxd6
        • 2.Qd4#
      • 1...Qa1
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qb2
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qc3
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qg3
        • 2.Sxg3#
        • 2.Qd4#
      • 1...Qd4
        • 2.Qxd4#
      • 1...Qf4
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qf6
        • 2.Sg3#
      • 1...Qg7
        • 2.Sg3#
        • 2.Sxg7#
      • 1...Qh8
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Se7#
        • 2.Sg7#
      • 1...Qe6
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qe7
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.Sxe7#
        • 2.Sg7#
        • 2.Qd4#
      • 1...Qe8
        • 2.Sg3#
        • 2.Qd4#
      • 1...Sb2
        • 2.Qe3#
      • 1...Sf2
        • 2.Qe3#
      • 1...Sc3
        • 2.Qe3#
      • 1...Se3
        • 2.Qxe3#
      • 1...d4!
  • Keys
    • 1.Sf7!
      • 1...Qh2+
        • 2.Sh4#
      • 1...Qh8+
        • 2.S5h6#
      • 1...Qxf5+
        • 2.Sg5#
      • 1...Kf4
        • 2.Qd4#
      • 1...Qxd6
        • 2.Qd4#
      • 1...Qa1
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.S5h6#
        • 2.Se7#
        • 2.Sg7#
        • 2.Sg5#
      • 1...Qb2
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.S5h6#
        • 2.Se7#
        • 2.Sg7#
        • 2.Sg5#
      • 1...Qc3
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.S5h6#
        • 2.Se7#
        • 2.Sg7#
        • 2.Sg5#
      • 1...Qg3
        • 2.Sxg3#
        • 2.Qd4#
      • 1...Qd4
        • 2.Sg5#
        • 2.Qxd4#
      • 1...Qf4
        • 2.Sg3#
        • 2.Qd4#
      • 1...Qf6
        • 2.Sg3#
      • 1...Qg7
        • 2.Sg3#
        • 2.Sxg7#
        • 2.Sg5#
      • 1...Qe6
        • 2.Sg3#
        • 2.Sg5#
        • 2.Qd4#
      • 1...Qe7
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.S5h6#
        • 2.Sxe7#
        • 2.Sg7#
        • 2.Qd4#
      • 1...Qe8
        • 2.Se3#
        • 2.Sg3#
        • 2.Sh4#
        • 2.S5h6#
        • 2.Se7#
        • 2.Sg7#
        • 2.Sg5#
        • 2.Qd4#
      • 1...Sb2
        • 2.Qe3#
      • 1...Sf2
        • 2.Qe3#
      • 1...Sc3
        • 2.Qe3#
      • 1...Se3
        • 2.Qxe3#
      • 1...d4
        • 2.Qxe5#

FEATURES


  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 1
    • REMOVED MATES = 1
  • Sets
    • K(b);P-FLIGHT,P_SPINQ(d)::QAR2(C)
    • Q(d);CHECK,N_PINS(D)::B(G)+S(D)
    • Q(d);N_GUARD,N_PINS(D)::QAR1(C),XQ(d)
    • Q(d);N_GUARD,N_PINS(D),XB(F)::QAR1(C)
    • Q(d);N_PINS(D)::B(G)+S(D),DCHECK
    • Q(d);CHECK,OGATE,P_SPINQ(d),XS(D)::B(G),XQ(d)
    • S(a);N_GUARD::QAR1(C)
    • S(a);N_GUARD::QAR1(C),XS(a)
    • P(c);OGATE::QAR1(C),XQ(d)
  • Tries
    • Try
      • S(H);
      • Vars
        • Q(d);CHECK,N_PINS(D)::B(G)+S(D)
        • K(b);P-FLIGHT,P_SPINQ(d)::QAR2(C)
        • Q(d);N_GUARD,N_PINS(D),XB(F)::QAR1(C)
        • S(a);N_GUARD::QAR1(C)
        • S(a);N_GUARD::QAR1(C),XS(a)
        • P(c);OGATE::QAR1(C),XQ(d)
      • Refutation
        • Q(d);CHECK,P_SPINQ(d),XS(D)
    • Try
      • S(H);
      • Vars
        • Q(d);CHECK,N_PINS(D)::B(G)+S(D)
        • K(b);P-FLIGHT,P_SPINQ(d)::QAR2(C)
        • Q(d);N_GUARD,N_PINS(D),XB(F)::QAR1(C)
        • Q(d);N_GUARD,N_PINS(D)::QAR1(C),XQ(d)
        • S(a);N_GUARD::QAR1(C)
        • S(a);N_GUARD::QAR1(C),XS(a)
        • P(c);OGATE::QAR1(C),XQ(d)
      • Refutation
        • Q(d);CHECK,P_SPINQ(d),XS(D)
    • Try
      • B(F);N_SPINS(D),XQ(d)
      • Threat
        • QAR1(C)
      • Vars
        • P(c);::QAR1(C),XP(c)
      • Refutation
        • K(b);P-FLIGHT,P_SPINP(c),XB(F)
    • Try
      • B(F);
      • Vars
        • Q(d);CHECK,N_PINS(D)::B(G)+S(D)
        • Q(d);CHECK,OGATE,P_SPINQ(d),XS(D)::B(G),XQ(d)
        • K(b);P-FLIGHT,P_SPINQ(d)::QAR2(C)
        • Q(d);N_GUARD,N_PINS(D),XB(F)::QAR1(C)
        • Q(d);N_GUARD,N_PINS(D)::QAR1(C)
        • Q(d);N_GUARD,N_PINS(D)::QAR1(C),XQ(d)
        • Q(d);N_PINS(D)::B(G)+S(D),DCHECK
        • S(a);N_GUARD::QAR1(C)
        • S(a);N_GUARD::QAR1(C),XS(a)
        • P(c);OGATE::QAR1(C),XQ(d)
      • Refutation
        • P(e);
    • Try
      • B(F);
      • Vars
        • Q(d);CHECK,N_PINS(D)::B(G)+S(D)
        • Q(d);CHECK,OGATE,P_SPINQ(d),XS(D)::B(G),XQ(d)
        • K(b);P-FLIGHT,P_SPINQ(d)::QAR2(C)
        • Q(d);N_GUARD,N_PINS(D),XB(F)::QAR1(C)
        • Q(d);N_GUARD,N_PINS(D)::QAR1(C)
        • Q(d);N_GUARD,N_PINS(D)::QAR1(C),XQ(d)
        • Q(d);N_PINS(D)::B(G)+S(D),DCHECK
        • S(a);N_GUARD::QAR1(C)
        • S(a);N_GUARD::QAR1(C),XS(a)
        • P(c);OGATE::QAR1(C),XQ(d)
      • Refutation
        • P(e);
    • Try
      • B(G);
      • Vars
        • Q(d);CHECK,N_PINS(D)::B(G)+S(D)
        • Q(d);CHECK,OGATE,P_SPINQ(d),XS(D)::B(G),XQ(d)
        • K(b);P-FLIGHT,P_SPINQ(d)::QAR2(C)
        • Q(d);N_GUARD,N_PINS(D),XB(F)::QAR1(C)
        • Q(d);N_GUARD,N_PINS(D)::QAR1(C),XQ(d)
        • Q(d);N_PINS(D)::B(G)+S(D),DCHECK
        • S(a);N_GUARD::QAR1(C)
        • S(a);N_GUARD::QAR1(C),XS(a)
        • P(c);OGATE::QAR1(C),XQ(d)
      • Refutation
        • Q(d);CHECK,N_PINS(D)
    • Try
      • Q(C);
      • Threat
        • QAB1(C)
      • Vars
        • Q(d);CHECK,N_PINS(D)::B(G)+S(D)
        • Q(d);CHECK,OGATE,P_SPINQ(d),XS(D)::B(G),XQ(d)
        • Q(d);N_GUARD,N_PINS(D),XB(F)::QAR1(C)
      • Refutation
        • S(a);XQ(C)
    • Try
      • Q(C);CHECK
      • Vars
        • Q(d);N_GUARD,N_PINS(D),P_SPINQ(d)::QAR1(C),XQ(d)
      • Refutation
        • P(c);P_SPINP(c)
    • Try
      • Q(C);
      • Vars
        • Q(d);CHECK,N_PINS(D)::B(G)+S(D)
        • Q(d);CHECK,OGATE,P_SPINQ(d),XS(D)::B(G),XQ(d)
        • K(b);P-FLIGHT,P_SPINQ(d)::QAR2(C)
        • Q(d);N_GUARD,N_PINS(D),XB(F)::QAR1(C)
        • Q(d);N_GUARD,N_PINS(D)::QAR1(C),XQ(d)
        • Q(d);N_PINS(D)::B(G)+S(D),DCHECK
        • S(a);N_GUARD::QAR1(C)
        • S(a);N_GUARD::QAR1(C),XS(a)
      • Refutation
        • P(c);
    • Try
      • Q(C);
      • Vars
        • Q(d);CHECK,N_PINS(D)::B(G)+S(D)
        • Q(d);CHECK,OGATE,P_SPINQ(d),XS(D)::B(G),XQ(d)
        • K(b);P-FLIGHT,P_SPINQ(d)::QAR2(C)
        • Q(d);N_GUARD,N_PINS(D),XB(F)::QAR1(C)
        • Q(d);N_GUARD,N_PINS(D)::QAR1(C),XQ(d)
        • Q(d);N_PINS(D)::B(G)+S(D),DCHECK
        • S(a);N_GUARD::QAR1(C)
        • S(a);N_GUARD::QAR1(C),XS(a)
      • Refutation
        • P(c);
  • Actual
    • S(H);
    • Vars
      • Q(d);CHECK,N_PINS(D)::B(G)+S(D)
      • Q(d);CHECK,P_SPINQ(d),XS(D)::S(H)
      • K(b);P-FLIGHT,P_SPINQ(d)::QAR2(C)
      • Q(d);N_GUARD,N_PINS(D),XB(F)::QAR1(C)
      • Q(d);N_PINS(D)::B(G)+S(D),DCHECK
      • S(a);N_GUARD::QAR1(C)
      • S(a);N_GUARD::QAR1(C),XS(a)
      • P(c);OGATE::QAR1(C),XQ(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).