Problem Display
PID: 240698 (8/5K2/6P1/6Np/1R4rk/4Q1p1/1P4P1/R3n3 w - - 0 1)

Larsen, Lars Aksglade (= Aksglade, Lars)

Thema Danicum, 1989

8/5K2/6P1/6Np/1R4rk/4Q1p1/1P4P1/R3n3

#2

8 + 5


15148 Sadier Collection 2021

SOLUTION


  • SOUND
  • Sets
    • 1...Rc4
      • 2.Rxc4#
    • 1...Rd4
      • 2.Rxd4#
    • 1...Re4
      • 2.Rxe4#
    • 1...Rf4+
      • 2.Qxf4#
    • 1...Sc2
      • 2.Sf3#
      • 2.Rh1#
    • 1...Sxg2
      • 2.Rh1#
    • 1...Sd3
      • 2.Sf3#
      • 2.Rh1#
    • 1...Sf3
      • 2.Sxf3#
  • Tries
    • 1.Ke6?
      • 1...Re4+
        • 2.Rxe4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rf4
        • 2.Qxf4#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Rxb4!
    • 1.Kf6?
      • 1...Rf4+
        • 2.Rxf4#
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Re4
        • 2.Rxe4#
        • 2.Qxe4#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Rxb4!
    • 1.Ke7?
      • 1...Re4+
        • 2.Rxe4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rf4
        • 2.Qxf4#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Rxb4!
    • 1.Kg7?
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rf4
        • 2.Qxf4#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Rxb4!
    • 1.Ke8?
      • 1...Re4+
        • 2.Rxe4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rf4
        • 2.Qxf4#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Rxb4!
    • 1.Kf8?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Rxb4!
    • 1.Kg8?
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rf4
        • 2.Qxf4#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Rxb4!
    • 1.Se4?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Rxe4
        • 2.Rxe4#
      • 1...Rxg6
        • 2.Sg5#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rg5
        • 2.Sxg5#
        • 2.Qxg5#
      • 1...Sc2
        • 2.Rh1#
      • 1...Sd3
        • 2.Rh1#
      • 1...Sf3!
    • 1.Se6?
      • threat
        • 2.Qg5#
      • 1...Rf4+
        • 2.Rxf4#
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Sf3!
    • 1.Sh7?
      • threat
        • 2.Qg5#
        • 2.Qe7#
      • 1...Rf4+
        • 2.Rxf4#
        • 2.Qxf4#
      • 1...Rxb4
        • 2.Qg5#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
        • 2.Qg5#
      • 1...Rd4
        • 2.Rxd4#
        • 2.Qxd4#
        • 2.Qg5#
      • 1...Re4
        • 2.Rxe4#
        • 2.Qg5#
        • 2.Qxe4#
      • 1...Sf3!
    • 1.Rb1?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rxb4!
    • 1.Rc1?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rcxc4#
        • 2.Rbxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rxb4!
    • 1.Rd1?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rdxd4#
        • 2.Rbxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rxb4!
    • 1.Rxe1?
      • threat
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rxb4!
    • 1.Ra3?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Rxb4
        • 2.Qxg3#
      • 1...Rc4
        • 2.Rxc4#
        • 2.Qxg3#
      • 1...Rd4
        • 2.Rxd4#
        • 2.Qxg3#
      • 1...Re4
        • 2.Rxe4#
        • 2.Qxg3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sd3
        • 2.Sf3#
      • 1...Sxg2!
    • 1.Raa4?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Rxb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sd3
        • 2.Sf3#
      • 1...Sxg2!
    • 1.Rb3?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Ra4
        • 2.Rxa4#
        • 2.Qxg3#
      • 1...Rb4
        • 2.Rxb4#
        • 2.Qxg3#
      • 1...Rc4
        • 2.Qxg3#
      • 1...Rd4
        • 2.Qxg3#
      • 1...Re4
        • 2.Qxg3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rxg5!
    • 1.Rc4?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rxc4!
    • 1.Rd4?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rxd4!
    • 1.Re4?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rxe4!
    • 1.Rb5?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Rxg5
        • 2.Qxg5#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rd4
        • 2.Qxd4#
      • 1...Re4
        • 2.Qxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rc4!
    • 1.Qd2?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rxb4!
    • 1.Qf4?
      • 1...Sxg2
        • 2.Rh1#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rxf4+!
    • 1.Qc5?
      • 1...Rf4+
        • 2.Rxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rxb4!
    • 1.Qe5?
      • 1...Rf4+
        • 2.Rxf4#
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rxb4!
    • 1.Qe7?
      • threat
        • 2.Sf3#
        • 2.Sh3#
        • 2.Se6#
        • 2.Sh7#
      • 1...Rf4+
        • 2.Rxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Rxb4!
    • 1.b3?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rxb4!
    • 1.g7?
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#
      • 1...Rxb4!
  • Keys
    • 1.Rba4!
      • 1...Rf4+
        • 2.Qxf4#
      • 1...Rxa4
        • 2.Rxa4#
      • 1...Sxg2
        • 2.Rh1#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Rxc4#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sc2
        • 2.Sf3#
        • 2.Rh1#
      • 1...Sd3
        • 2.Sf3#
        • 2.Rh1#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 2
    • REMOVED MATES = 0
  • Sets
    • R(c);OGATEB::R(E),XR(c)
    • R(c);CHECK,OGATEB::QAR2(D),XR(c)
    • S(a);OGATE,XP(C)::R(A)
    • S(a);N_GUARD::S(F),XS(a)
  • Tries
    • Try
      • K(H);S_FLIGHT
      • Vars
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • R(c);OGATEB::QAR2(D),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • K(H);P-FLIGHT
      • Vars
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • K(H);P-FLIGHT
      • Vars
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • R(c);OGATEB::QAR2(D),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • K(H);P-FLIGHT
      • Vars
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • R(c);OGATEB::QAR2(D),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • K(H);S_FLIGHT
      • Vars
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • R(c);OGATEB::QAR2(D),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • K(H);P-FLIGHT
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • K(H);S_FLIGHT
      • Vars
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • R(c);OGATEB::QAR2(D),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • S(F);N_PINR(c)
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • R(c);OGATE,P_SPINR(c),XS(F)::R(E),XR(c)
        • R(c);XP(G)::R(E)+S(F)
        • S(a);OGATE,XP(C)::R(A)
        • S(a);OGATE::R(A)
      • Refutation
        • S(a);
    • Try
      • S(F);
      • Threat
        • QAB1(D)
      • Vars
        • S(a);OGATE,XP(C)::R(A)
      • Refutation
        • S(a);
    • Try
      • S(F);
      • Threat
        • DUALS(2)
      • Vars
        • R(c);N_SPINR(c),XR(E)::QAB1(D)
        • S(a);OGATE,XP(C)::R(A)
      • Refutation
        • S(a);
    • Try
      • R(A);
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • R(A);
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • R(A);
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • R(A);XS(a)
      • Threat
        • DUALS(2)
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • R(A);
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • R(c);N_SPINR(c),XR(E)::QAB1(D),XP(b)
        • S(a);N_GUARD::S(F),XS(a)
        • S(a);N_GUARD::S(F)
      • Refutation
        • S(a);XP(C)
    • Try
      • R(A);
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • R(c);OGATE,XR(E)::R(A),XR(c)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
        • S(a);N_GUARD::S(F)
      • Refutation
        • S(a);XP(C)
    • Try
      • R(E);N_PINR(c)
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);N_GUARD::QAB1(D),XP(b)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);XS(F)
    • Try
      • R(E);
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • R(E);
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • R(E);
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • R(E);N_PINR(c)
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • R(c);OGATE,XS(F)::QAB1(D),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(A),XR(c)
        • R(c);OGATEB::R(E),XR(c)
        • R(c);OGATEB::QAR(D),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);
    • Try
      • Q(D);
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • Q(D);
      • Vars
        • S(a);OGATE,XP(C)::R(A)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);CHECK,XQ(D)
    • Try
      • Q(D);
      • Vars
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • Q(D);
      • Vars
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • Q(D);
      • Threat
        • DUALS(4)
      • Vars
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);::QAB(D)+S(F),DCHECK,XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • P(B);
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
    • Try
      • P(G);
      • Vars
        • R(c);CHECK,OGATEB::QAR2(D),XR(c)
        • S(a);OGATE,XP(C)::R(A)
        • R(c);OGATEB::R(E),XR(c)
        • S(a);N_GUARD::S(F),XS(a)
      • Refutation
        • R(c);N_SPINR(c),XR(E)
  • Actual
    • R(E);
    • Vars
      • R(c);CHECK,OGATEB::QAR2(D),XR(c)
      • R(c);N_SPINR(c),OGATE,XR(E)::R(A),XR(c)
      • S(a);OGATE,XP(C)::R(A)
      • R(c);OGATEB::R(E),XR(c)
      • S(a);N_GUARD::S(F),XS(a)


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