Problem Display
PID: 240689 (kr2R3/4R3/r2N3p/Pp1p3K/1P1B4/Q7/P7/8 w - - 0 1)

Larsen, Lars Aksglade (= Aksglade, Lars)

Thema Danicum, 1988

kr2R3/4R3/r2N3p/Pp1p3K/1P1B4/Q7/P7/8

#2

9 + 6


15148 Sadier Collection 2021

SOLUTION


  • SOUND
  • Sets
    • 1...Rxa5
      • 2.Qxa5#
    • 1...Rb6
      • 2.axb6#
    • 1...Rc6
      • 2.Ra7#
    • 1...Rxd6
      • 2.Ra7#
    • 1...Ra7
      • 2.Rxa7#
    • 1...Rc8
      • 2.Rxc8#
    • 1...Rd8
      • 2.Rxd8#
    • 1...Rxe8
      • 2.Rxe8#
  • Tries
    • 1.Kg4?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rb6
        • 2.axb6#
      • 1...Rc6
        • 2.Ra7#
      • 1...Ra7
        • 2.Rxa7#
      • 1...h5+!
    • 1.Kh4?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rb6
        • 2.axb6#
      • 1...Rc6
        • 2.Ra7#
      • 1...Ra7
        • 2.Rxa7#
      • 1...h5!
    • 1.Kxh6?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rb6
        • 2.axb6#
      • 1...Rc6
        • 2.Ra7#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxd6+!
    • 1.Sxb5?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rb6
        • 2.Ra7#
        • 2.axb6#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rd6
        • 2.Ra7#
      • 1...Re6
        • 2.Ra7#
      • 1...Rf6
        • 2.Ra7#
      • 1...Rg6
        • 2.Ra7#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxe8!
    • 1.Sf5?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rb6
        • 2.axb6#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rd6
        • 2.Ra7#
      • 1...Re6
        • 2.Ra7#
      • 1...Rf6
        • 2.Ra7#
      • 1...Rg6
        • 2.Ra7#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxe8!
    • 1.Sf7?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rb6
        • 2.axb6#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rd6
        • 2.Ra7#
      • 1...Re6
        • 2.Ra7#
      • 1...Rf6
        • 2.Ra7#
      • 1...Rg6
        • 2.Ra7#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxe8!
    • 1.Sc8?
      • 1...Rxa5
        • 2.Sb6#
        • 2.Qxa5#
      • 1...Rxc8
        • 2.Rxc8#
      • 1...Rbb6
        • 2.Sxb6#
      • 1...Rab6
        • 2.Sxb6#
        • 2.Ra7#
        • 2.axb6#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rd6
        • 2.Ra7#
      • 1...Re6
        • 2.Ra7#
      • 1...Rf6
        • 2.Ra7#
      • 1...Rg6
        • 2.Ra7#
      • 1...Ra7
        • 2.Sb6#
        • 2.Rxa7#
      • 1...Rb7!
    • 1.Bg1?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rb6
        • 2.axb6#
      • 1...Rc6
        • 2.Ra7#
      • 1...Ra7
        • 2.Rxa7#
      • 1...d4!
    • 1.Bf2?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rb6
        • 2.axb6#
      • 1...Rc6
        • 2.Ra7#
      • 1...Ra7
        • 2.Rxa7#
      • 1...d4!
    • 1.Be3?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rb6
        • 2.axb6#
      • 1...Rc6
        • 2.Ra7#
      • 1...Ra7
        • 2.Rxa7#
      • 1...d4!
    • 1.Bc5?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rb6
        • 2.axb6#
      • 1...Rc6
        • 2.Ra7#
      • 1...Ra7
        • 2.Rxa7#
      • 1...d4!
    • 1.Rb7?
      • threat
        • 2.Rbxb8#
        • 2.Rexb8#
      • 1...Rb6
        • 2.Rexb8#
        • 2.axb6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rxe8!
    • 1.Rc7?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rc8
        • 2.Rcxc8#
        • 2.Rexc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rb6
        • 2.axb6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxe8!
    • 1.Rd7?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rdxd8#
        • 2.Rexd8#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rb6
        • 2.axb6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxe8!
    • 1.Rf7?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rb6
        • 2.axb6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxe8!
    • 1.Rg7?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rb6
        • 2.axb6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxe8!
    • 1.Rh7?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rb6
        • 2.axb6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxe8!
    • 1.Rc8?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rb6
        • 2.axb6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxc8!
    • 1.Rd8?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rb6
        • 2.axb6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxd8!
    • 1.Rf8?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rexe8#
        • 2.Rfxe8#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rb6
        • 2.axb6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxf8!
    • 1.Rg8?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rexe8#
        • 2.Rgxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rb6
        • 2.axb6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxg8!
    • 1.Rh8?
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rexe8#
        • 2.Rhxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Rg8
        • 2.Rxg8#
      • 1...Rc6
        • 2.Ra7#
      • 1...Rb6
        • 2.axb6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxh8!
    • 1.Qc1?
      • 1...Rxa5
        • 2.Qc6#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Rc8
        • 2.Rxc8#
        • 2.Qxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rc6
        • 2.Ra7#
        • 2.Qxc6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rb6!
    • 1.Qb3?
      • 1...Rxa5
        • 2.Qxd5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rc6
        • 2.Ra7#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rb6!
    • 1.Qc3?
      • 1...Rxa5
        • 2.Qc6#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Rc8
        • 2.Rxc8#
        • 2.Qxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rc6
        • 2.Ra7#
        • 2.Qxc6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rb6!
    • 1.Qf3?
      • 1...Rxa5
        • 2.Qxd5#
      • 1...Rxd6
        • 2.Ra7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Rc6
        • 2.Ra7#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rb6!
  • Keys
    • 1.Bb6!
      • 1...Rxa5
        • 2.Qxa5#
      • 1...Rxb6
        • 2.axb6#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...d4
        • 2.Qf3#
      • 1...Ra7
        • 2.Rxa7#

FEATURES


  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 2
  • Sets
    • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
    • R(c);OGATE::QAR(B)+P(E),XR(c)
    • R(c);N_GUARD::R1(H)
    • R(c);N_GUARD,XS(G)::R1(H)
    • R(c);N_GUARD::R1(H),XR(c)
    • R(f);OGATEB::R(I),XR(f)
    • R(f);N_SPINR(f),OGATE,XR(I)::R(H),XR(f)
  • Tries
    • Try
      • K(F);S_FLIGHT
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);N_SPINR(f),OGATE,XR(I)::R(H),XR(f)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • P(d);CHECK
    • Try
      • K(F);P-FLIGHT
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);N_SPINR(f),OGATE,XR(I)::R(H),XR(f)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • P(d);
    • Try
      • K(F);P-FLIGHT,P_SPINS(G),XP(d)
      • Vars
        • R(c);N_PINS(G),N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(f);N_SPINR(f),OGATE,XR(I)::R(H),XR(f)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H)
        • R(c);N_GUARD,N_PINS(G)::R1(H),XR(c)
      • Refutation
        • R(c);CHECK,XS(G)
    • Try
      • S(G);XP(a)
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD::R1(H)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • S(G);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • S(G);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • S(G);N_PINR(f)
      • Vars
        • R(f);OGATE,P_SPINR(f),XS(G)::R(I),XR(f)
        • R(f);::R(I)+S(G),DCHECK,XR(f)
        • R(c);N_GUARD::R1(H)
      • Refutation
        • R(f);
    • Try
      • B(D);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);N_SPINR(f),OGATE,XR(I)::R(H),XR(f)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • P(b);
    • Try
      • B(D);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);N_SPINR(f),OGATE,XR(I)::R(H),XR(f)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • P(b);
    • Try
      • B(D);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);N_SPINR(f),OGATE,XR(I)::R(H),XR(f)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • P(b);
    • Try
      • B(D);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);N_SPINR(f),OGATE,XR(I)::R(H),XR(f)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • P(b);
    • Try
      • R(H);
      • Threat
        • DUALS(2)
      • Vars
        • R(f);OGATEB::R(I),XR(f)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • R(H);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD::R1(H)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • R(H);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD::R1(H)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • R(H);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD::R1(H)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • R(H);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD::R1(H)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • R(H);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD::R1(H)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • R(I);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(c);N_GUARD::R1(H)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • R(I);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD::R1(H)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • R(I);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD::R1(H)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • R(I);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD::R1(H)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • R(I);
      • Vars
        • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD::R1(H)
        • R(c);OGATE::QAR(B)+P(E),XR(c)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XR(I)
    • Try
      • Q(B);
      • Vars
        • R(c);N_GUARD,XP(E)::QAB(B)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);N_SPINR(f),OGATE,XR(I)::R(H),XR(f)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(c);
    • Try
      • Q(B);
      • Vars
        • R(c);N_GUARD,XP(E)::QAB(B),XP(b)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);N_SPINR(f),OGATE,XR(I)::R(H),XR(f)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD::R1(H)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(c);
    • Try
      • Q(B);
      • Vars
        • R(c);N_GUARD,XP(E)::QAB(B)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);N_SPINR(f),OGATE,XR(I)::R(H),XR(f)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(c);
    • Try
      • Q(B);P_PINP(b)
      • Vars
        • R(c);N_GUARD,XP(E)::QAB(B),XP(b)
        • R(c);N_GUARD,XS(G)::R1(H)
        • R(f);N_SPINR(f),OGATE,XR(I)::R(H),XR(f)
        • R(f);OGATEB::R(I),XR(f)
        • R(c);N_GUARD,N_SPINP(b)::R1(H)
        • R(c);N_GUARD::R1(H),XR(c)
      • Refutation
        • R(c);
  • Actual
    • B(D);
    • Vars
      • R(c);N_SPINR(f),OGATE,P_SPINR(c),XP(E)::QAR(B),XR(c)
      • R(c);OGATE,XB(D)::QAR(B)+P(E),XR(c)
      • R(f);N_SPINR(f),OGATE,XR(I)::R(H),XR(f)
      • R(f);OGATEB::R(I),XR(f)
      • P(b);OGATEB::QAB(B)
      • R(c);N_GUARD::R1(H),XR(c)


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