Problem Display
PID: 35805 (8/1K2n3/8/4N1pp/6Bk/3QN1p1/4pr2/4B2n w - - 0 1)

Knoppel, Jan Heribert

Extra Prize, Eskilstuna Kuriren Elmgren TT, 1950

8/1K2n3/8/4N1pp/6Bk/3QN1p1/4pr2/4B2n

#2

6 + 8


3680 Jan Knoppel Udvalgte Skakproblemer 1955

SOLUTION


  • SOUND
  • Sets
    • 1...Rf1
      • 2.Sg2#
    • 1...Rg2
      • 2.Sxg2#
      • 2.Sf3#
    • 1...Rh2
      • 2.Sf3#
    • 1...Rf3
      • 2.Sg2#
      • 2.Sxf3#
    • 1...Rf4
      • 2.Sg2#
    • 1...Rf5
      • 2.Sg2#
    • 1...Rf6
      • 2.Sg2#
    • 1...Rf7
      • 2.Sg2#
    • 1...Rf8
      • 2.Sg2#
    • 1...Sd5
      • 2.Sg6#
    • 1...Sf5
      • 2.Sg6#
    • 1...Sc6
      • 2.Sg6#
    • 1...Sg6
      • 2.Sxg6#
    • 1...Sc8
      • 2.Sg6#
    • 1...Sg8
      • 2.Sg6#
    • 1...g2
      • 2.Sxg2#
    • 1...hxg4
      • 2.Qh7#
  • Tries
    • 1.Ka6?
      • 1...hxg4
        • 2.Qh7#
      • 1...g2
        • 2.Sxg2#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Rf8
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...Rf6+!
    • 1.Kc7?
      • 1...hxg4
        • 2.Qh7#
      • 1...g2
        • 2.Sxg2#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf6
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Rf8
        • 2.Sg2#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...Sd5+!
    • 1.Ka8?
      • 1...hxg4
        • 2.Qh7#
      • 1...g2
        • 2.Sxg2#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf6
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...Rf8+!
    • 1.Bxf2?
      • threat
        • 2.Sg2#
        • 2.Sf3#
      • 1...gxf2
        • 2.Sg2#
      • 1...hxg4
        • 2.Qh7#
      • 1...e1S!
    • 1.Qb1?
      • 1...hxg4
        • 2.Qh7#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf6
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Rf8
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...g2!
    • 1.Qc2?
      • 1...hxg4
        • 2.Qh7#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf6
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Rf8
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...g2!
    • 1.Qxe2?
      • 1...Rxe2
        • 2.Sf3#
      • 1...hxg4
        • 2.Qxg4#
      • 1...Rf1
        • 2.Sg2#
        • 2.Qh2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
        • 2.Qxh2#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
        • 2.Qh2#
      • 1...Rf4
        • 2.Sg2#
        • 2.Qh2#
      • 1...Rf5
        • 2.Sg2#
        • 2.Qh2#
      • 1...Rf6
        • 2.Sg2#
        • 2.Qh2#
      • 1...Rf7
        • 2.Sg2#
        • 2.Qh2#
      • 1...Rf8
        • 2.Sg2#
        • 2.Qh2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...g2!
    • 1.Qc4?
      • 1...hxg4
        • 2.Qxg4#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf6
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Rf8
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...g2!
    • 1.Qe4?
      • 1...hxg4
        • 2.Qh7#
        • 2.Qxg4#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
        • 2.Qxh1#
      • 1...Rf5
        • 2.Sg2#
        • 2.Qxh1#
      • 1...Rf6
        • 2.Sg2#
        • 2.Qxh1#
      • 1...Rf7
        • 2.Sg2#
        • 2.Qxh1#
      • 1...Rf8
        • 2.Sg2#
        • 2.Qxh1#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...g2!
    • 1.Qf5?
      • 1...Rxf5
        • 2.Sg2#
      • 1...Sxf5
        • 2.Sg6#
      • 1...hxg4
        • 2.Qxg4#
        • 2.Qh7#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...g2!
    • 1.Qa6?
      • 1...hxg4
        • 2.Qh6#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf6
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Rf8
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...g2!
    • 1.Qg6?
      • threat
        • 2.Qxh5#
      • 1...Sxg6
        • 2.Sxg6#
      • 1...hxg4
        • 2.Qh7#
        • 2.Qh6#
      • 1...g2!
    • 1.Qa3?
      • 1...g2
        • 2.Sxg2#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf6
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Rf8
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...hxg4!
    • 1.Qb3?
      • 1...g2
        • 2.Sxg2#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf6
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Rf8
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...hxg4!
    • 1.Qc3?
      • 1...g2
        • 2.Sxg2#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf6
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Rf8
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...hxg4!
    • 1.Qd4?
      • 1...hxg4
        • 2.Qxg4#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf6
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Rf8
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...g2!
    • 1.Qd7?
      • 1...hxg4
        • 2.Qxg4#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf6
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Rf8
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...g2!
    • 1.Qd8?
      • 1...hxg4
        • 2.Qh8#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf6
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Rf8
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#
      • 1...g2!
  • Keys
    • 1.Qd6!
      • 1...hxg4
        • 2.Qh6#
      • 1...g2
        • 2.Sf3#
      • 1...Rf1
        • 2.Sg2#
      • 1...Rg2
        • 2.Sxg2#
        • 2.Sf3#
      • 1...Rh2
        • 2.Sf3#
      • 1...Rf3
        • 2.Sg2#
        • 2.Sxf3#
      • 1...Rf4
        • 2.Sg2#
      • 1...Rf5
        • 2.Sg2#
      • 1...Rf6
        • 2.Sg2#
      • 1...Rf7
        • 2.Sg2#
      • 1...Rf8
        • 2.Sg2#
      • 1...Sd5
        • 2.Sg6#
      • 1...Sf5
        • 2.Sg6#
      • 1...Sc6
        • 2.Sg6#
      • 1...Sg6
        • 2.Sxg6#
      • 1...Sc8
        • 2.Sg6#
      • 1...Sg8
        • 2.Sg6#

FEATURES


  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 2
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • R(c);N_GUARD,P_SPINP(d)::S(C)
    • R(c);N_GUARD,P_SPINP(d)::S(E)
    • S(h);N_GUARD::S(E)
    • S(h);N_GUARD::S(E),XS(h)
    • P(d);P_SPINR(c)::S(C),XP(d)
    • P(g);OGATEB,XB(D)::QAR(B)
  • Tries
    • Try
      • K(F);S_FLIGHT
      • Vars
        • P(g);OGATEB,XB(D)::QAR(B)
        • P(d);P_SPINR(c)::S(C),XP(d)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • R(c);CHECK,P_SPINP(d)
    • Try
      • K(F);P-FLIGHT
      • Vars
        • P(g);OGATEB,XB(D)::QAR(B)
        • P(d);P_SPINR(c)::S(C),XP(d)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • S(h);CHECK
    • Try
      • K(F);S_FLIGHT
      • Vars
        • P(g);OGATEB,XB(D)::QAR(B)
        • P(d);P_SPINR(c)::S(C),XP(d)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • R(c);CHECK,P_SPINP(d)
    • Try
      • B(A);P_PINP(d),XR(c)
      • Threat
        • DUALS(2)
      • Vars
        • P(d);N_SPINP(d),XB(A)::S(C)
        • P(g);OGATEB,XB(D)::QAR(B)
      • Refutation
        • P(b);
    • Try
      • Q(B);
      • Vars
        • P(g);OGATEB,XB(D)::QAR(B)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • P(d);P_SPINR(c)
    • Try
      • Q(B);
      • Vars
        • P(g);OGATEB,XB(D)::QAR(B)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • P(d);P_SPINR(c)
    • Try
      • Q(B);XP(b)
      • Vars
        • R(c);N_GUARD,P_SPINP(d),XQ(B)::S(E)
        • P(g);OGATE,XB(D)::QAR1(B),XP(g)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • P(d);P_SPINR(c)
    • Try
      • Q(B);
      • Vars
        • P(g);OGATE,P_SPINP(g),XB(D)::QAR1(B),XP(g)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • P(d);P_SPINR(c)
    • Try
      • Q(B);
      • Vars
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • P(d);P_SPINR(c)
    • Try
      • Q(B);
      • Vars
        • R(c);N_GUARD,P_SPINP(d),XQ(B)::S(C)
        • S(h);N_GUARD,XQ(B)::S(E)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • P(d);P_SPINR(c)
    • Try
      • Q(B);
      • Vars
        • P(g);OGATEB,XB(D)::QAR2(B)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • P(d);P_SPINR(c)
    • Try
      • Q(B);
      • Threat
        • QAR1(B),XP(g)
      • Vars
        • S(h);XQ(B)::S(E),XS(h)
      • Refutation
        • P(d);P_SPINR(c)
    • Try
      • Q(B);
      • Vars
        • P(d);P_SPINR(c)::S(C),XP(d)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • P(g);XB(D)
    • Try
      • Q(B);
      • Vars
        • P(d);P_SPINR(c)::S(C),XP(d)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • P(g);XB(D)
    • Try
      • Q(B);
      • Vars
        • P(d);P_SPINR(c)::S(C),XP(d)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • P(g);XB(D)
    • Try
      • Q(B);
      • Vars
        • P(g);OGATE,P_SPINP(g),XB(D)::QAR1(B),XP(g)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • P(d);P_SPINR(c)
    • Try
      • Q(B);
      • Vars
        • P(g);OGATE,XB(D)::QAR1(B),XP(g)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD::S(E)
        • S(h);N_GUARD::S(E),XS(h)
      • Refutation
        • P(d);P_SPINR(c)
    • Try
      • Q(B);
      • Vars
        • P(g);OGATEB,XB(D)::QAR(B)
        • R(c);N_GUARD,P_SPINP(d)::S(C)
        • R(c);N_GUARD,P_SPINP(d)::S(E)
        • S(h);N_GUARD,P_SPINP(f)::S(E)
        • S(h);N_GUARD,P_SPINP(f)::S(E),XS(h)
      • Refutation
        • P(d);P_SPINR(c)
  • Actual
    • Q(B);
    • Vars
      • P(g);OGATEB,XB(D)::QAR2(B)
      • P(d);P_SPINR(c)::S(E)
      • R(c);N_GUARD,P_SPINP(d)::S(C)
      • R(c);N_GUARD,P_SPINP(d)::S(E)
      • S(h);N_GUARD::S(E)
      • S(h);N_GUARD::S(E),XS(h)


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