Problem Display
PID: 70438 (8/2R2Q2/K2pBp2/BNrn1rp1/1pk3p1/1bPpP3/7q/1R1N1n2 w - - 0 1)

Lewis, Robert Tony

Chess, 1951

8/2R2Q2/K2pBp2/BNrn1rp1/1pk3p1/1bPpP3/7q/1R1N1n2

#2

10 + 13


SOLUTION


  • SOUND
  • Sets
    • 1...Qg1
      • 2.Sb2#
      • 2.Sxd6#
    • 1...Qg3
      • 2.Sb2#
    • 1...Qf4
      • 2.Sb2#
    • 1...Qe5
      • 2.Sb2#
    • 1...Qh1
      • 2.Sb2#
      • 2.Sxd6#
    • 1...Qa2
      • 2.Sxd6#
    • 1...Qb2
      • 2.Sxb2#
      • 2.Sxd6#
    • 1...Qc2
      • 2.Sxd6#
    • 1...Qd2
      • 2.Sxd6#
    • 1...Qe2
      • 2.Sxd6#
    • 1...Qf2
      • 2.Sxd6#
    • 1...Qg2
      • 2.Sxd6#
    • 1...Qh3
      • 2.Sb2#
      • 2.Sxd6#
    • 1...Qh4
      • 2.Sb2#
      • 2.Sxd6#
    • 1...Qh5
      • 2.Sb2#
      • 2.Sxd6#
    • 1...Qh6
      • 2.Sb2#
      • 2.Sxd6#
    • 1...Qh7
      • 2.Sb2#
      • 2.Sxd6#
    • 1...Qh8
      • 2.Sb2#
      • 2.Sxd6#
    • 1...Rc6+
      • 2.Rxc6#
    • 1...Rxc7
      • 2.Qxc7#
    • 1...Rf2
      • 2.Bxd5#
    • 1...Rf3
      • 2.Bxd5#
    • 1...Rf4
      • 2.Sxd6#
      • 2.Bxd5#
    • 1...Re5
      • 2.Sxd6#
    • 1...Bxd1
      • 2.Rxb4#
    • 1...Ba2
      • 2.Rxb4#
    • 1...Bc2
      • 2.Rxb4#
    • 1...Ba4
      • 2.Rxb4#
    • 1...Sd2
      • 2.Sb2#
    • 1...Sxe3
      • 2.Sxe3#
    • 1...Sg3
      • 2.Sxd6#
    • 1...d2
      • 2.Sb2#
    • 1...bxc3
      • 2.Sa3#
    • 1...g3
      • 2.Sxd6#
  • Tries
    • 1.Bxb4?
      • threat
        • 2.Sa3#
      • 1...Rc6+
        • 2.Rxc6#
      • 1...d2
        • 2.Sb2#
      • 1...Qb2
        • 2.Sxb2#
        • 2.Sxd6#
      • 1...Qa2+!
    • 1.Bxf5?
      • 1...Rc6+
        • 2.Rxc6#
      • 1...Bxd1
        • 2.Rxb4#
      • 1...Sxe3
        • 2.Sxe3#
      • 1...bxc3
        • 2.Sa3#
      • 1...Qg1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qg3
        • 2.Sb2#
      • 1...Qf4
        • 2.Sb2#
      • 1...Qe5
        • 2.Sb2#
      • 1...Qh1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qa2
        • 2.Sxd6#
      • 1...Qb2
        • 2.Sxb2#
        • 2.Sxd6#
      • 1...Qc2
        • 2.Sxd6#
      • 1...Qd2
        • 2.Sxd6#
      • 1...Qe2
        • 2.Sxd6#
      • 1...Qf2
        • 2.Sxd6#
      • 1...Qg2
        • 2.Sxd6#
      • 1...Qh3
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh4
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh5
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh6
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh7
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh8
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Ba2
        • 2.Rxb4#
      • 1...Bc2
        • 2.Rxb4#
      • 1...Ba4
        • 2.Rxb4#
      • 1...Sd2
        • 2.Sb2#
      • 1...Sg3
        • 2.Sxd6#
      • 1...d2
        • 2.Sb2#
      • 1...g3
        • 2.Sxd6#
      • 1...Rxc7!
    • 1.Rc6?
      • 1...Bxd1
        • 2.Rxb4#
      • 1...Sxe3
        • 2.Sxe3#
      • 1...bxc3
        • 2.Sa3#
      • 1...d2
        • 2.Sb2#
      • 1...Rf2
        • 2.Bxd5#
      • 1...Qg1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qg3
        • 2.Sb2#
      • 1...Qf4
        • 2.Sb2#
      • 1...Qe5
        • 2.Sb2#
      • 1...Qh1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qa2
        • 2.Sxd6#
      • 1...Qb2
        • 2.Sxb2#
        • 2.Sxd6#
      • 1...Qc2
        • 2.Sxd6#
      • 1...Qd2
        • 2.Sxd6#
      • 1...Qe2
        • 2.Sxd6#
      • 1...Qf2
        • 2.Sxd6#
      • 1...Qg2
        • 2.Sxd6#
      • 1...Qh3
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh4
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh5
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh6
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh7
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh8
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Rf3
        • 2.Bxd5#
      • 1...Rf4
        • 2.Sxd6#
        • 2.Bxd5#
      • 1...Re5
        • 2.Sxd6#
      • 1...Ba2
        • 2.Rxb4#
      • 1...Bc2
        • 2.Rxb4#
      • 1...Ba4
        • 2.Rxb4#
      • 1...Sd2
        • 2.Sb2#
      • 1...Sg3
        • 2.Sxd6#
      • 1...g3
        • 2.Sxd6#
      • 1...Rxc6+!
    • 1.Rc8?
      • 1...Rc6+
        • 2.Rxc6#
      • 1...Bxd1
        • 2.Rxb4#
      • 1...Sxe3
        • 2.Sxe3#
      • 1...bxc3
        • 2.Sa3#
      • 1...Rc7
        • 2.Rxc7#
        • 2.Qxc7#
      • 1...d2
        • 2.Sb2#
      • 1...Rf2
        • 2.Bxd5#
      • 1...Qg1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qg3
        • 2.Sb2#
      • 1...Qf4
        • 2.Sb2#
      • 1...Qe5
        • 2.Sb2#
      • 1...Qh1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qa2
        • 2.Sxd6#
      • 1...Qb2
        • 2.Sxb2#
        • 2.Sxd6#
      • 1...Qc2
        • 2.Sxd6#
      • 1...Qd2
        • 2.Sxd6#
      • 1...Qe2
        • 2.Sxd6#
      • 1...Qf2
        • 2.Sxd6#
      • 1...Qg2
        • 2.Sxd6#
      • 1...Qh3
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh4
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh5
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh6
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh7
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh8
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Rf3
        • 2.Bxd5#
      • 1...Rf4
        • 2.Sxd6#
        • 2.Bxd5#
      • 1...Re5
        • 2.Sxd6#
      • 1...Ba2
        • 2.Rxb4#
      • 1...Bc2
        • 2.Rxb4#
      • 1...Ba4
        • 2.Rxb4#
      • 1...Sd2
        • 2.Sb2#
      • 1...Sg3
        • 2.Sxd6#
      • 1...g3
        • 2.Sxd6#
      • 1...Rxc8!
    • 1.Qg6?
      • 1...Rc6+
        • 2.Rxc6#
      • 1...Bxd1
        • 2.Rxb4#
      • 1...Sxe3
        • 2.Sxe3#
      • 1...bxc3
        • 2.Sa3#
      • 1...d2
        • 2.Sb2#
      • 1...Rf2
        • 2.Qe4#
      • 1...Qg1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qg3
        • 2.Sb2#
      • 1...Qf4
        • 2.Sb2#
      • 1...Qe5
        • 2.Sb2#
      • 1...Qh1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qa2
        • 2.Sxd6#
      • 1...Qb2
        • 2.Sxb2#
        • 2.Sxd6#
      • 1...Qc2
        • 2.Sxd6#
      • 1...Qd2
        • 2.Sxd6#
      • 1...Qe2
        • 2.Sxd6#
      • 1...Qf2
        • 2.Sxd6#
      • 1...Qg2
        • 2.Sxd6#
      • 1...Qh3
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh4
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh5
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh6
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh7
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh8
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Rf3
        • 2.Qe4#
      • 1...Rf4
        • 2.Sxd6#
      • 1...Re5
        • 2.Sxd6#
      • 1...Ba2
        • 2.Rxb4#
      • 1...Bc2
        • 2.Rxb4#
      • 1...Ba4
        • 2.Rxb4#
      • 1...Sd2
        • 2.Sb2#
      • 1...Sg3
        • 2.Sxd6#
      • 1...g3
        • 2.Sxd6#
      • 1...Rxc7!
    • 1.Qg8?
      • 1...Rc6+
        • 2.Rxc6#
      • 1...Bxd1
        • 2.Rxb4#
      • 1...Sxe3
        • 2.Sxe3#
      • 1...bxc3
        • 2.Sa3#
      • 1...d2
        • 2.Sb2#
      • 1...Rf2
        • 2.Bxd5#
      • 1...Qg1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qg3
        • 2.Sb2#
      • 1...Qf4
        • 2.Sb2#
      • 1...Qe5
        • 2.Sb2#
      • 1...Qh1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qa2
        • 2.Sxd6#
      • 1...Qb2
        • 2.Sxb2#
        • 2.Sxd6#
      • 1...Qc2
        • 2.Sxd6#
      • 1...Qd2
        • 2.Sxd6#
      • 1...Qe2
        • 2.Sxd6#
      • 1...Qf2
        • 2.Sxd6#
      • 1...Qg2
        • 2.Sxd6#
      • 1...Qh3
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh4
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh5
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh6
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh7
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh8
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Rf3
        • 2.Bxd5#
      • 1...Rf4
        • 2.Sxd6#
        • 2.Bxd5#
      • 1...Re5
        • 2.Sxd6#
      • 1...Ba2
        • 2.Rxb4#
      • 1...Bc2
        • 2.Rxb4#
      • 1...Ba4
        • 2.Rxb4#
      • 1...Sd2
        • 2.Sb2#
      • 1...Sg3
        • 2.Sxd6#
      • 1...g3
        • 2.Sxd6#
      • 1...Rxc7!
    • 1.Qxf6?
      • threat
        • 2.Qd4#
      • 1...Rc6+
        • 2.Rxc6#
      • 1...Qf4
        • 2.Sb2#
      • 1...Qe5
        • 2.Sb2#
      • 1...Qh8
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Rf4
        • 2.Sxd6#
      • 1...Re5
        • 2.Sxd6#
      • 1...Rxf6!
    • 1.cxb4?
      • threat
        • 2.Sa3#
      • 1...Rc6+
        • 2.Rxc6#
      • 1...Sxe3
        • 2.Sxe3#
      • 1...d2
        • 2.Sb2#
      • 1...Qa2
        • 2.Sxd6#
      • 1...Qb2
        • 2.Sxb2#
        • 2.Sxd6#
      • 1...Bxd1!
    • 1.e4?
      • 1...Rc6+
        • 2.Rxc6#
      • 1...Rxc7
        • 2.Qxc7#
      • 1...Bxd1
        • 2.Rxb4#
      • 1...d2
        • 2.Sb2#
      • 1...Rf2
        • 2.Bxd5#
      • 1...Qg1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qg3
        • 2.Sb2#
      • 1...Qf4
        • 2.Sb2#
      • 1...Qe5
        • 2.Sb2#
      • 1...Qh1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qa2
        • 2.Sxd6#
      • 1...Qb2
        • 2.Sxb2#
        • 2.Sxd6#
      • 1...Qc2
        • 2.Sxd6#
      • 1...Qd2
        • 2.Sxd6#
      • 1...Qe2
        • 2.Sxd6#
      • 1...Qf2
        • 2.Sxd6#
      • 1...Qg2
        • 2.Sxd6#
      • 1...Qh3
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh4
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh5
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh6
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh7
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh8
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Rf3
        • 2.Bxd5#
      • 1...Rf4
        • 2.Sxd6#
        • 2.Bxd5#
      • 1...Re5
        • 2.Sxd6#
      • 1...Ba2
        • 2.Rxb4#
      • 1...Bc2
        • 2.Rxb4#
      • 1...Ba4
        • 2.Rxb4#
      • 1...Sd2
        • 2.Sb2#
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sg3
        • 2.Se3#
        • 2.Sxd6#
      • 1...g3
        • 2.Sxd6#
      • 1...bxc3!
  • Keys
    • 1.Qh7!
      • 1...Rc6+
        • 2.Rxc6#
      • 1...Qxh7
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Rxc7
        • 2.Qxc7#
      • 1...Bxd1
        • 2.Rxb4#
      • 1...Sxe3
        • 2.Sxe3#
      • 1...bxc3
        • 2.Sa3#
      • 1...d2
        • 2.Sb2#
      • 1...Rf2
        • 2.Qe4#
      • 1...Qg1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qg3
        • 2.Sb2#
      • 1...Qf4
        • 2.Sb2#
      • 1...Qe5
        • 2.Sb2#
      • 1...Qh1
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qa2
        • 2.Sxd6#
      • 1...Qb2
        • 2.Sxb2#
        • 2.Sxd6#
      • 1...Qc2
        • 2.Sxd6#
      • 1...Qd2
        • 2.Sxd6#
      • 1...Qe2
        • 2.Sxd6#
      • 1...Qf2
        • 2.Sxd6#
      • 1...Qg2
        • 2.Sxd6#
      • 1...Qh3
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh4
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh5
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Qh6
        • 2.Sb2#
        • 2.Sxd6#
      • 1...Rf3
        • 2.Qe4#
      • 1...Rf4
        • 2.Sxd6#
      • 1...Re5
        • 2.Sxd6#
      • 1...Ba2
        • 2.Rxb4#
      • 1...Bc2
        • 2.Rxb4#
      • 1...Ba4
        • 2.Rxb4#
      • 1...Sd2
        • 2.Sb2#
      • 1...Sg3
        • 2.Sxd6#
      • 1...g3
        • 2.Sxd6#

FEATURES


  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 2
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • Q(b);N_GUARD::S(B)
    • Q(b);N_GUARD,P_PINB(E)::S(F),XP(l)
    • Q(b);N_GUARD::S(F),XP(l)
    • R(h);CHECK,OGATEB::R(I),XR(h)
    • R(h);N_SPINR(h),OGATE,XR(I)::QAR(J),XR(h)
    • R(j);N_GUARD::B(H),XS(i)
    • R(j);S_CUTQ(b)::S(F),XP(l)
    • B(c);OGATE,XS(B)::R1(A),XP(e)
    • B(c);OGATE::R1(A),XP(e)
    • S(a);S_CUTQ(b)::S(B)
    • S(a);XP(D)::S(B),XS(a)
    • S(a);S_CUTQ(b)::S(F),XP(l)
    • P(d);S_CUTQ(b)::S(B)
    • P(e);N_GUARD,XP(C)::S(F)
    • P(g);S_CUTQ(b)::S(F),XP(l)
  • Tries
    • Try
      • B(E);XP(e)
      • Threat
        • S(F)
      • Vars
        • R(h);CHECK,OGATEB::R(I),XR(h)
        • P(d);S_CUTQ(b)::S(B)
      • Refutation
        • Q(b);CHECK
    • Try
      • B(H);XR(j)
      • Vars
        • R(h);CHECK,OGATEB::R(I),XR(h)
        • B(c);OGATE,XS(B)::R1(A),XP(e)
        • S(a);XP(D)::S(B),XS(a)
        • P(e);N_GUARD,XP(C)::S(F)
        • Q(b);N_GUARD::S(B)
        • Q(b);N_GUARD,P_PINB(E)::S(F),XP(l)
        • Q(b);N_GUARD::S(F),XP(l)
        • B(c);OGATE::R1(A),XP(e)
        • S(a);S_CUTQ(b)::S(B)
        • S(a);S_CUTQ(b)::S(F),XP(l)
        • P(d);S_CUTQ(b)::S(B)
        • P(g);S_CUTQ(b)::S(F),XP(l)
      • Refutation
        • R(h);N_SPINR(h),XR(I)
    • Try
      • R(I);
      • Vars
        • B(c);OGATE,XS(B)::R1(A),XP(e)
        • S(a);XP(D)::S(B),XS(a)
        • P(e);N_GUARD,XP(C)::S(F)
        • P(d);S_CUTQ(b)::S(B)
        • R(j);N_GUARD::B(H),XS(i)
        • Q(b);N_GUARD::S(B)
        • Q(b);N_GUARD,P_PINB(E)::S(F),XP(l)
        • Q(b);N_GUARD::S(F),XP(l)
        • R(j);S_CUTQ(b)::S(F),XP(l)
        • B(c);OGATE::R1(A),XP(e)
        • S(a);S_CUTQ(b)::S(B)
        • S(a);S_CUTQ(b)::S(F),XP(l)
        • P(g);S_CUTQ(b)::S(F),XP(l)
      • Refutation
        • R(h);CHECK,N_SPINR(h),XR(I)
    • Try
      • R(I);
      • Vars
        • R(h);CHECK,OGATEB::R(I),XR(h)
        • B(c);OGATE,XS(B)::R1(A),XP(e)
        • S(a);XP(D)::S(B),XS(a)
        • P(e);N_GUARD,XP(C)::S(F)
        • P(d);S_CUTQ(b)::S(B)
        • R(j);N_GUARD::B(H),XS(i)
        • Q(b);N_GUARD::S(B)
        • Q(b);N_GUARD,P_PINB(E)::S(F),XP(l)
        • Q(b);N_GUARD::S(F),XP(l)
        • R(j);S_CUTQ(b)::S(F),XP(l)
        • B(c);OGATE::R1(A),XP(e)
        • S(a);S_CUTQ(b)::S(B)
        • S(a);S_CUTQ(b)::S(F),XP(l)
        • P(g);S_CUTQ(b)::S(F),XP(l)
      • Refutation
        • R(h);N_SPINR(h),XR(I)
    • Try
      • Q(J);
      • Vars
        • R(h);CHECK,OGATEB::R(I),XR(h)
        • B(c);OGATE,XS(B)::R1(A),XP(e)
        • S(a);XP(D)::S(B),XS(a)
        • P(e);N_GUARD,XP(C)::S(F)
        • P(d);S_CUTQ(b)::S(B)
        • R(j);OGATE::QAR2(J)
        • Q(b);N_GUARD::S(B)
        • Q(b);N_GUARD,P_PINB(E)::S(F),XP(l)
        • Q(b);N_GUARD::S(F),XP(l)
        • R(j);S_CUTQ(b)::S(F),XP(l)
        • B(c);OGATE::R1(A),XP(e)
        • S(a);S_CUTQ(b)::S(B)
        • S(a);S_CUTQ(b)::S(F),XP(l)
        • P(g);S_CUTQ(b)::S(F),XP(l)
      • Refutation
        • R(h);N_SPINR(h),XR(I)
    • Try
      • Q(J);
      • Vars
        • R(h);CHECK,OGATEB::R(I),XR(h)
        • B(c);OGATE,XS(B)::R1(A),XP(e)
        • S(a);XP(D)::S(B),XS(a)
        • P(e);N_GUARD,XP(C)::S(F)
        • P(d);S_CUTQ(b)::S(B)
        • R(j);N_GUARD::B(H),XS(i)
        • Q(b);N_GUARD::S(B)
        • Q(b);N_GUARD,P_PINB(E)::S(F),XP(l)
        • Q(b);N_GUARD::S(F),XP(l)
        • R(j);S_CUTQ(b)::S(F),XP(l)
        • B(c);OGATE::R1(A),XP(e)
        • S(a);S_CUTQ(b)::S(B)
        • S(a);S_CUTQ(b)::S(F),XP(l)
        • P(g);S_CUTQ(b)::S(F),XP(l)
      • Refutation
        • R(h);N_SPINR(h),XR(I)
    • Try
      • Q(J);XP(m)
      • Threat
        • QAR1(J)
      • Vars
        • R(h);CHECK,OGATEB::R(I),XR(h)
        • Q(b);N_GUARD::S(B)
        • R(j);S_CUTQ(b)::S(F),XP(l)
      • Refutation
        • R(j);XQ(J)
    • Try
      • P(C);XP(e)
      • Threat
        • S(F)
      • Vars
        • R(h);CHECK,OGATEB::R(I),XR(h)
        • S(a);XP(D)::S(B),XS(a)
        • P(d);S_CUTQ(b)::S(B)
        • Q(b);N_GUARD,P_PINB(E)::S(F),XP(l)
      • Refutation
        • B(c);XS(B)
    • Try
      • P(D);
      • Vars
        • R(h);CHECK,OGATEB::R(I),XR(h)
        • R(h);N_SPINR(h),OGATE,XR(I)::QAR(J),XR(h)
        • B(c);OGATE,XS(B)::R1(A),XP(e)
        • P(d);S_CUTQ(b)::S(B)
        • R(j);N_GUARD::B(H),XS(i)
        • Q(b);N_GUARD::S(B)
        • Q(b);N_GUARD,P_PINB(E)::S(F),XP(l)
        • Q(b);N_GUARD::S(F),XP(l)
        • R(j);S_CUTQ(b)::S(F),XP(l)
        • B(c);OGATE::R1(A),XP(e)
        • S(a);N_GUARD::S(B),XS(a)
        • P(g);S_CUTQ(b)::S(F),XP(l)
      • Refutation
        • P(e);XP(C)
  • Actual
    • Q(J);
    • Vars
      • R(h);CHECK,OGATEB::R(I),XR(h)
      • R(h);N_SPINR(h),OGATE,XR(I)::QAR(J),XR(h)
      • B(c);OGATE,XS(B)::R1(A),XP(e)
      • S(a);XP(D)::S(B),XS(a)
      • P(e);N_GUARD,XP(C)::S(F)
      • P(d);S_CUTQ(b)::S(B)
      • R(j);OGATE::QAR2(J)
      • Q(b);N_GUARD::S(B)
      • Q(b);N_GUARD,P_PINB(E)::S(F),XP(l)
      • Q(b);N_GUARD::S(F),XP(l)
      • R(j);S_CUTQ(b)::S(F),XP(l)
      • B(c);OGATE::R1(A),XP(e)
      • S(a);S_CUTQ(b)::S(B)
      • S(a);S_CUTQ(b)::S(F),XP(l)
      • P(g);S_CUTQ(b)::S(F),XP(l)


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