MESON Chess Problem Database

Problem Display
PID: 164068 (8/5p1r/p2K2pR/5k1N/PP2pPp1/1R6/BBn4b/3N1Q2 w - - 0 1)

Matrenin, Mikhail Vasilevich

Probleemblad, 1978

8/5p1r/p2K2pR/5k1N/PP2pPp1/1R6/BBn4b/3N1Q2

#2

11 + 9

SOLUTION

  • SOUND
  • Sets
    • 1...Rxh6
      • 2.Sg7#
    • 1...Rg7
      • 2.Sxg7#
    • 1...Rh8
      • 2.Sg7#
    • 1...Bg1
      • 2.Sg3#
    • 1...Bg3
      • 2.Sxg3#
    • 1...Bxf4+
      • 2.Qxf4#
    • 1...Sa1
      • 2.Se3#
    • 1...Se1
      • 2.Se3#
    • 1...Sa3
      • 2.Se3#
    • 1...Se3
      • 2.Sxe3#
    • 1...Sxb4
      • 2.Se3#
    • 1...Sd4
      • 2.Se3#
    • 1...e3
      • 2.Qd3#
    • 1...g3
      • 2.Qh3#
    • 1...a5
      • 2.Qb5#
    • 1...gxh5
      • 2.Rf6#
    • 1...g5
      • 2.Rf6#
  • Tries
    • 1.Kd7?
      • 1...Rxh6
        • 2.Sg7#
      • 1...Bxf4
        • 2.Qxf4#
      • 1...Sxb4
        • 2.Se3#
      • 1...gxh5
        • 2.Rf6#
      • 1...e3
        • 2.Qd3#
      • 1...g3
        • 2.Qh3#
      • 1...Rg7
        • 2.Sxg7#
      • 1...Rh8
        • 2.Sg7#
      • 1...Bg1
        • 2.Sg3#
      • 1...Bg3
        • 2.Sxg3#
      • 1...Sa1
        • 2.Se3#
      • 1...Se1
        • 2.Se3#
      • 1...Sa3
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sd4
        • 2.Se3#
      • 1...a5
        • 2.Qb5#
      • 1...g5
        • 2.Rf6#
      • 1...f6+!
    • 1.Ke7?
      • 1...Rxh6
        • 2.Sg7#
      • 1...Bxf4
        • 2.Qxf4#
      • 1...Sxb4
        • 2.Se3#
      • 1...gxh5
        • 2.Rf6#
      • 1...e3
        • 2.Qd3#
      • 1...g3
        • 2.Qh3#
      • 1...Rg7
        • 2.Sxg7#
      • 1...Rh8
        • 2.Sg7#
      • 1...Bg1
        • 2.Sg3#
      • 1...Bg3
        • 2.Sxg3#
      • 1...Sa1
        • 2.Se3#
      • 1...Se1
        • 2.Se3#
      • 1...Sa3
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sd4
        • 2.Se3#
      • 1...a5
        • 2.Qb5#
      • 1...g5
        • 2.Rf6#
      • 1...f6+!
    • 1.Bb1?
      • 1...Bxf4+
        • 2.Qxf4#
      • 1...Rxh6
        • 2.Sg7#
      • 1...Sxb4
        • 2.Se3#
      • 1...gxh5
        • 2.Rf6#
      • 1...e3
        • 2.Bxc2#
        • 2.Qd3#
      • 1...g3
        • 2.Qh3#
      • 1...Rg7
        • 2.Sxg7#
      • 1...Rh8
        • 2.Sg7#
      • 1...Bg1
        • 2.Sg3#
      • 1...Bg3
        • 2.Sxg3#
      • 1...Sa1
        • 2.Se3#
      • 1...Se1
        • 2.Se3#
      • 1...Sa3
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sd4
        • 2.Se3#
      • 1...a5
        • 2.Qb5#
      • 1...g5
        • 2.Rf6#
      • 1...f6!
    • 1.Ba1?
      • 1...Bxf4+
        • 2.Qxf4#
      • 1...Rxh6
        • 2.Sg7#
      • 1...Sxa1
        • 2.Se3#
      • 1...Sxb4
        • 2.Se3#
      • 1...gxh5
        • 2.Rf6#
      • 1...e3
        • 2.Qd3#
      • 1...g3
        • 2.Qh3#
      • 1...Rg7
        • 2.Sxg7#
      • 1...Rh8
        • 2.Sg7#
      • 1...Bg1
        • 2.Sg3#
      • 1...Bg3
        • 2.Sxg3#
      • 1...Se1
        • 2.Se3#
      • 1...Sa3
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sd4
        • 2.Se3#
      • 1...a5
        • 2.Qb5#
      • 1...g5
        • 2.Rf6#
      • 1...f6!
    • 1.Bc3?
      • 1...Bxf4+
        • 2.Qxf4#
      • 1...Rxh6
        • 2.Sg7#
      • 1...Sxb4
        • 2.Se3#
      • 1...gxh5
        • 2.Rf6#
      • 1...e3
        • 2.Qd3#
      • 1...g3
        • 2.Qh3#
      • 1...Rg7
        • 2.Sxg7#
      • 1...Rh8
        • 2.Sg7#
      • 1...Bg1
        • 2.Sg3#
      • 1...Bg3
        • 2.Sxg3#
      • 1...Sa1
        • 2.Se3#
      • 1...Se1
        • 2.Se3#
      • 1...Sa3
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sd4
        • 2.Se3#
      • 1...a5
        • 2.Qb5#
      • 1...g5
        • 2.Rf6#
      • 1...f6!
    • 1.Bd4?
      • 1...Bxf4+
        • 2.Qxf4#
      • 1...Rxh6
        • 2.Sg7#
      • 1...Sxb4
        • 2.Se3#
      • 1...Sxd4
        • 2.Se3#
      • 1...gxh5
        • 2.Rf6#
      • 1...e3
        • 2.Qd3#
      • 1...g3
        • 2.Qh3#
      • 1...Rg7
        • 2.Sxg7#
      • 1...Rh8
        • 2.Sg7#
      • 1...Bg1
        • 2.Sg3#
      • 1...Bg3
        • 2.Sxg3#
      • 1...Sa1
        • 2.Se3#
      • 1...Se1
        • 2.Se3#
      • 1...Sa3
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...a5
        • 2.Qb5#
      • 1...g5
        • 2.Rf6#
      • 1...f6!
    • 1.Rc3?
      • threat
        • 2.Rc5#
      • 1...Bxf4+
        • 2.Qxf4#
      • 1...Sxb4
        • 2.Se3#
      • 1...e3
        • 2.Qd3#
      • 1...g3
        • 2.Qh3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Bg1!
    • 1.Rd3?
      • threat
        • 2.Rd5#
      • 1...Bxf4+
        • 2.Qxf4#
      • 1...Sxb4
        • 2.Se3#
      • 1...exd3
        • 2.Qxd3#
      • 1...g3
        • 2.Qh3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sd4
        • 2.Se3#
      • 1...e3!
    • 1.Rf3?
      • 1...Rxh6
        • 2.Sg7#
      • 1...Sxb4
        • 2.Se3#
      • 1...exf3
        • 2.Qd3#
      • 1...gxf3
        • 2.Qh3#
      • 1...gxh5
        • 2.Rf6#
      • 1...e3
        • 2.Qd3#
      • 1...g3
        • 2.Qh3#
      • 1...f6
        • 2.Be6#
      • 1...Rg7
        • 2.Sxg7#
      • 1...Rh8
        • 2.Sg7#
      • 1...Bg1
        • 2.Sg3#
      • 1...Bg3
        • 2.Sxg3#
      • 1...Sa1
        • 2.Se3#
      • 1...Se1
        • 2.Se3#
      • 1...Sa3
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sd4
        • 2.Se3#
      • 1...a5
        • 2.Qb5#
      • 1...g5
        • 2.Rf6#
      • 1...Bxf4+!
    • 1.Rg3?
      • 1...Rxh6
        • 2.Sg7#
      • 1...Bxg3
        • 2.Sxg3#
      • 1...Sxb4
        • 2.Se3#
      • 1...gxh5
        • 2.Rf6#
      • 1...e3
        • 2.Qd3#
      • 1...f6
        • 2.Be6#
      • 1...Rg7
        • 2.Sxg7#
      • 1...Rh8
        • 2.Sg7#
      • 1...Sa1
        • 2.Se3#
      • 1...Se1
        • 2.Se3#
      • 1...Sa3
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sd4
        • 2.Se3#
      • 1...a5
        • 2.Qb5#
      • 1...g5
        • 2.Rf6#
      • 1...Bg1!
    • 1.Rh3?
      • 1...Bxf4+
        • 2.Qxf4#
      • 1...Rxh6
        • 2.Sg7#
      • 1...Sxb4
        • 2.Se3#
      • 1...gxh3
        • 2.Qxh3#
      • 1...gxh5
        • 2.R3xh5#
        • 2.Rf6#
      • 1...e3
        • 2.Qd3#
      • 1...f6
        • 2.Be6#
      • 1...Rg7
        • 2.Sxg7#
      • 1...Rh8
        • 2.Sg7#
      • 1...Bg1
        • 2.Sg3#
      • 1...Bg3
        • 2.Sxg3#
      • 1...Sa1
        • 2.Se3#
      • 1...Se1
        • 2.Se3#
      • 1...Sa3
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sd4
        • 2.Se3#
      • 1...a5
        • 2.Qb5#
      • 1...g5
        • 2.Rf6#
      • 1...g3!
    • 1.Qc4?
      • threat
        • 2.Qd5#
        • 2.Qc5#
        • 2.Qc8#
      • 1...Sxb4
        • 2.Se3#
        • 2.Qc8#
      • 1...gxh5
        • 2.Rf6#
      • 1...g3
        • 2.Qc8#
      • 1...f6
        • 2.Qd5#
        • 2.Qe6#
        • 2.Qc5#
      • 1...Rh8
        • 2.Qd5#
        • 2.Qxf7#
        • 2.Qc5#
      • 1...Bg1
        • 2.Qd5#
        • 2.Qc8#
      • 1...Se3
        • 2.Sxe3#
        • 2.Qc8#
      • 1...Sd4
        • 2.Se3#
        • 2.Qd5#
        • 2.Qc5#
      • 1...e3
        • 2.Qd3#
        • 2.Qd5#
        • 2.Qxc2#
      • 1...Bxf4+!
    • 1.Qxa6?
      • threat
        • 2.Qb5#
        • 2.Qc8#
        • 2.Qa5#
      • 1...Sxb4
        • 2.Se3#
        • 2.Qc8#
      • 1...gxh5
        • 2.Rf6#
      • 1...e3
        • 2.Qd3#
      • 1...g3
        • 2.Qc8#
      • 1...f6
        • 2.Qb5#
        • 2.Qa5#
      • 1...Rh8
        • 2.Qb5#
        • 2.Qa5#
      • 1...Bg1
        • 2.Qc8#
      • 1...Sa3
        • 2.Se3#
        • 2.Qc8#
      • 1...Se3
        • 2.Sxe3#
        • 2.Qc8#
      • 1...Sd4
        • 2.Se3#
      • 1...Bxf4+!
    • 1.Qf2?
      • threat
        • 2.Qc5#
      • 1...Bxf4+
        • 2.Qxf4#
      • 1...Sxb4
        • 2.Se3#
      • 1...gxh5
        • 2.Rf6#
      • 1...e3
        • 2.Qxc2#
      • 1...Bg1
        • 2.Sg3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sd4
        • 2.Se3#
      • 1...g3!
    • 1.a5?
      • 1...Bxf4+
        • 2.Qxf4#
      • 1...Rxh6
        • 2.Sg7#
      • 1...Sxb4
        • 2.Se3#
      • 1...gxh5
        • 2.Rf6#
      • 1...e3
        • 2.Qd3#
      • 1...g3
        • 2.Qh3#
      • 1...Rg7
        • 2.Sxg7#
      • 1...Rh8
        • 2.Sg7#
      • 1...Bg1
        • 2.Sg3#
      • 1...Bg3
        • 2.Sxg3#
      • 1...Sa1
        • 2.Se3#
      • 1...Se1
        • 2.Se3#
      • 1...Sa3
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sd4
        • 2.Se3#
      • 1...g5
        • 2.Rf6#
      • 1...f6!
  • Keys
    • 1.Ra3!
      • 1...Bxf4+
        • 2.Qxf4#
      • 1...Rxh6
        • 2.Sg7#
      • 1...Sxa3
        • 2.Se3#
      • 1...Sxb4
        • 2.Se3#
      • 1...gxh5
        • 2.Rf6#
      • 1...e3
        • 2.Qd3#
      • 1...g3
        • 2.Qh3#
      • 1...f6
        • 2.Be6#
      • 1...Rg7
        • 2.Sxg7#
      • 1...Rh8
        • 2.Sg7#
      • 1...Bg1
        • 2.Sg3#
      • 1...Bg3
        • 2.Sxg3#
      • 1...Sa1
        • 2.Se3#
      • 1...Se1
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sd4
        • 2.Se3#
      • 1...a5
        • 2.Qb5#
      • 1...g5
        • 2.Rf6#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • R(i);N_GUARD,XR(K)::S(I)
    • R(i);N_GUARD::S(I),XR(i)
    • R(i);N_GUARD::S(I)
    • B(b);N_GUARD,N_PINP(H)::S(I)
    • B(b);N_GUARD::S(I),XB(b)
    • B(b);CHECK,OGATE,P_SPINB(b),XP(H)::QAR1(B),XB(b)
    • S(a);N_GUARD::S(A)
    • S(a);N_GUARD::S(A),XS(a)
    • S(a);N_GUARD,XP(G)::S(A)
    • P(c);OGATEB::QAB(B)
    • P(d);N_PINP(H),OGATEB::QAB(B)
    • P(f);N_GUARD::QAR(B)
    • P(g);OGATE,XS(I)::R1(K)
    • P(g);OGATE::R1(K)
  • Tries
    • Try
      • K(J);N_SPINP(H),P-FLIGHT
      • Vars
        • R(i);N_GUARD,XR(K)::S(I)
        • B(b);OGATE,P_SPINB(b),XP(H)::QAR1(B),XB(b)
        • S(a);N_GUARD,XP(G)::S(A)
        • P(g);OGATE,XS(I)::R1(K)
        • P(c);OGATEB::QAB(B)
        • P(d);OGATEB::QAB(B)
        • R(i);N_GUARD::S(I),XR(i)
        • R(i);N_GUARD::S(I)
        • B(b);N_GUARD::S(I)
        • B(b);N_GUARD::S(I),XB(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • P(f);N_GUARD::QAR(B)
        • P(g);OGATE::R1(K)
      • Refutation
        • P(h);CHECK
    • Try
      • K(J);N_SPINP(H),S_FLIGHT
      • Vars
        • R(i);N_GUARD,XR(K)::S(I)
        • B(b);OGATE,P_SPINB(b),XP(H)::QAR1(B),XB(b)
        • S(a);N_GUARD,XP(G)::S(A)
        • P(g);OGATE,XS(I)::R1(K)
        • P(c);OGATEB::QAB(B)
        • P(d);OGATEB::QAB(B)
        • R(i);N_GUARD::S(I),XR(i)
        • R(i);N_GUARD::S(I)
        • B(b);N_GUARD::S(I)
        • B(b);N_GUARD::S(I),XB(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • P(f);N_GUARD::QAR(B)
        • P(g);OGATE::R1(K)
      • Refutation
        • P(h);CHECK
    • Try
      • B(C);
      • Vars
        • B(b);CHECK,OGATE,P_SPINB(b),XP(H)::QAR1(B),XB(b)
        • R(i);N_GUARD,XR(K)::S(I)
        • S(a);N_GUARD,P_SPINP(c),XP(G)::S(A)
        • P(g);OGATE,XS(I)::R1(K)
        • P(d);N_PINP(H),OGATEB::QAB(B)
        • R(i);N_GUARD::S(I),XR(i)
        • R(i);N_GUARD::S(I)
        • B(b);N_GUARD,N_PINP(H)::S(I)
        • B(b);N_GUARD::S(I),XB(b)
        • S(a);N_GUARD,P_SPINP(c)::S(A)
        • S(a);N_GUARD,P_SPINP(c)::S(A),XS(a)
        • P(f);N_GUARD::QAR(B)
        • P(g);OGATE::R1(K)
      • Refutation
        • P(h);
    • Try
      • B(D);
      • Vars
        • B(b);CHECK,OGATE,P_SPINB(b),XP(H)::QAR1(B),XB(b)
        • R(i);N_GUARD,XR(K)::S(I)
        • S(a);N_GUARD,XB(D)::S(A)
        • S(a);N_GUARD,XP(G)::S(A)
        • P(g);OGATE,XS(I)::R1(K)
        • P(c);OGATEB::QAB(B)
        • P(d);N_PINP(H),OGATEB::QAB(B)
        • R(i);N_GUARD::S(I),XR(i)
        • R(i);N_GUARD::S(I)
        • B(b);N_GUARD,N_PINP(H)::S(I)
        • B(b);N_GUARD::S(I),XB(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • P(f);N_GUARD::QAR(B)
        • P(g);OGATE::R1(K)
      • Refutation
        • P(h);
    • Try
      • B(D);
      • Vars
        • B(b);CHECK,OGATE,P_SPINB(b),XP(H)::QAR1(B),XB(b)
        • R(i);N_GUARD,XR(K)::S(I)
        • S(a);N_GUARD,XP(G)::S(A)
        • P(g);OGATE,XS(I)::R1(K)
        • P(c);OGATEB::QAB(B)
        • P(d);N_PINP(H),OGATEB::QAB(B)
        • R(i);N_GUARD::S(I),XR(i)
        • R(i);N_GUARD::S(I)
        • B(b);N_GUARD,N_PINP(H)::S(I)
        • B(b);N_GUARD::S(I),XB(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • P(f);N_GUARD::QAR(B)
        • P(g);OGATE::R1(K)
      • Refutation
        • P(h);
    • Try
      • B(D);
      • Vars
        • B(b);CHECK,OGATE,P_SPINB(b),XP(H)::QAR1(B),XB(b)
        • R(i);N_GUARD,XR(K)::S(I)
        • S(a);N_GUARD,XP(G)::S(A)
        • S(a);N_GUARD,XB(D)::S(A)
        • P(g);OGATE,XS(I)::R1(K)
        • P(c);OGATEB::QAB(B)
        • P(d);N_PINP(H),OGATEB::QAB(B)
        • R(i);N_GUARD::S(I),XR(i)
        • R(i);N_GUARD::S(I)
        • B(b);N_GUARD,N_PINP(H)::S(I)
        • B(b);N_GUARD::S(I),XB(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • P(f);N_GUARD::QAR(B)
        • P(g);OGATE::R1(K)
      • Refutation
        • P(h);
    • Try
      • R(E);
      • Threat
        • R(E)
      • Vars
        • B(b);CHECK,OGATE,P_SPINB(b),XP(H)::QAR1(B),XB(b)
        • S(a);N_GUARD,XP(G)::S(A)
        • P(c);OGATEB::QAB(B)
        • P(d);N_PINP(H),OGATEB::QAB(B)
        • S(a);N_GUARD::S(A),XS(a)
      • Refutation
        • B(b);N_PINP(H)
    • Try
      • R(E);
      • Threat
        • R(E)
      • Vars
        • B(b);CHECK,OGATE,P_SPINB(b),XP(H)::QAR1(B),XB(b)
        • S(a);N_GUARD,XP(G)::S(A)
        • P(c);OGATE,XR(E)::QAB(B),XP(c)
        • P(d);N_PINP(H),OGATEB::QAB(B)
        • S(a);N_GUARD::S(A),XS(a)
        • S(a);N_GUARD::S(A)
      • Refutation
        • P(c);
    • Try
      • R(E);
      • Vars
        • R(i);N_GUARD,XR(K)::S(I)
        • S(a);N_GUARD,XP(G)::S(A)
        • P(c);OGATEB,XR(E)::QAB(B)
        • P(d);OGATEB,XR(E)::QAB(B)
        • P(g);OGATE,XS(I)::R1(K)
        • P(c);OGATEB::QAB(B)
        • P(d);N_PINP(H),OGATEB::QAB(B)
        • P(h);N_GUARD::B(C)
        • R(i);N_GUARD::S(I),XR(i)
        • R(i);N_GUARD::S(I)
        • B(b);N_GUARD,N_PINP(H)::S(I)
        • B(b);N_GUARD::S(I),XB(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • P(f);N_GUARD::QAR(B)
        • P(g);OGATE::R1(K)
      • Refutation
        • B(b);CHECK,P_SPINB(b),XP(H)
    • Try
      • R(E);N_SPINP(H)
      • Vars
        • R(i);N_GUARD,XR(K)::S(I)
        • B(b);P_PINP(H),XR(E)::S(I),XB(b)
        • S(a);N_GUARD,XP(G)::S(A)
        • P(g);OGATE,XS(I)::R1(K)
        • P(c);OGATEB::QAB(B)
        • P(h);N_GUARD::B(C)
        • R(i);N_GUARD::S(I),XR(i)
        • R(i);N_GUARD::S(I)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • P(f);N_GUARD::QAR(B)
        • P(g);OGATE::R1(K)
      • Refutation
        • B(b);
    • Try
      • R(E);
      • Vars
        • B(b);CHECK,OGATE,P_SPINB(b),XP(H)::QAR1(B),XB(b)
        • R(i);N_GUARD,XR(K)::S(I)
        • S(a);N_GUARD,XP(G)::S(A)
        • P(d);OGATE,XR(E)::QAB(B),XP(d)
        • P(c);OGATEB::QAB(B)
        • P(h);N_GUARD::B(C)
        • R(i);N_GUARD::S(I),XR(i)
        • R(i);N_GUARD::S(I)
        • B(b);N_GUARD,N_PINP(H)::S(I)
        • B(b);N_GUARD::S(I),XB(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • P(f);N_GUARD::QAR(B)
        • P(g);OGATE::R1(K)
      • Refutation
        • P(d);N_PINP(H)
    • Try
      • Q(B);
      • Threat
        • DUALS(3)
      • Vars
        • P(g);OGATE,XS(I)::R1(K)
        • P(d);N_PINP(H)::QAB(B)
      • Refutation
        • B(b);CHECK,XP(H)
    • Try
      • Q(B);XP(f)
      • Threat
        • DUALS(3)
      • Vars
        • P(g);OGATE,XS(I)::R1(K)
        • P(c);OGATEB::QAB(B)
        • P(d);N_PINP(H)::QAB(B)
        • B(b);N_PINP(H)::QAB(B)
        • S(a);N_GUARD::S(A)
      • Refutation
        • B(b);CHECK,XP(H)
    • Try
      • Q(B);
      • Threat
        • QAR(B)
      • Vars
        • B(b);CHECK,OGATE,P_SPINB(b),XP(H)::QAR1(B),XB(b)
        • S(a);N_GUARD,XP(G)::S(A)
        • P(g);OGATE,XS(I)::R1(K)
        • P(c);OGATEB::QAB(B),XS(a)
        • B(b);N_GUARD,N_PINP(H)::S(I)
        • S(a);N_GUARD::S(A),XS(a)
        • S(a);N_GUARD::S(A)
      • Refutation
        • P(d);N_PINP(H)
    • Try
      • P(F);
      • Vars
        • B(b);CHECK,OGATE,P_SPINB(b),XP(H)::QAR1(B),XB(b)
        • R(i);N_GUARD,XR(K)::S(I)
        • S(a);N_GUARD,XP(G)::S(A)
        • P(g);OGATE,XS(I)::R1(K)
        • P(c);OGATEB::QAB(B)
        • P(d);N_PINP(H),OGATEB::QAB(B)
        • R(i);N_GUARD::S(I),XR(i)
        • R(i);N_GUARD::S(I)
        • B(b);N_GUARD,N_PINP(H)::S(I)
        • B(b);N_GUARD::S(I),XB(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • P(g);OGATE::R1(K)
      • Refutation
        • P(h);
  • Actual
    • R(E);
    • Vars
      • B(b);CHECK,OGATE,P_SPINB(b),XP(H)::QAR1(B),XB(b)
      • R(i);N_GUARD,XR(K)::S(I)
      • S(a);N_GUARD,XR(E)::S(A)
      • S(a);N_GUARD,XP(G)::S(A)
      • P(g);OGATE,XS(I)::R1(K)
      • P(c);OGATEB::QAB(B)
      • P(d);N_PINP(H),OGATEB::QAB(B)
      • P(h);N_GUARD::B(C)
      • R(i);N_GUARD::S(I),XR(i)
      • R(i);N_GUARD::S(I)
      • B(b);N_GUARD,N_PINP(H)::S(I)
      • B(b);N_GUARD::S(I),XB(b)
      • S(a);N_GUARD::S(A)
      • S(a);N_GUARD::S(A),XS(a)
      • P(f);N_GUARD::QAR(B)
      • P(g);OGATE::R1(K)
HTML5 logo

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