MESON Chess Problem Database

Problem Display
PID: 71594 (7n/n2Rp2p/4p2P/4kbNQ/4Np2/2q1PP2/1R4K1/B7 w - - 0 1)

Millour, Rene-Jean

2nd HM., Probleme TT, 1966

7n/n2Rp2p/4p2P/4kbNQ/4Np2/2q1PP2/1R4K1/B7

#2

10 + 9

SOLUTION

  • SOUND
  • Sets
    • 1...Qe1
      • 2.Rb5#
    • 1...Qxb2+
      • 2.Bxb2#
    • 1...Qd2+
      • 2.Rbxd2#
    • 1...Qb4
      • 2.Rxb4#
    • 1...Qd4
      • 2.exd4#
    • 1...Qa5
      • 2.Rb5#
    • 1...Qc1
      • 2.Rb5#
    • 1...Qc2+
      • 2.Rxc2#
    • 1...Qa3
      • 2.Rb5#
    • 1...Qb3
      • 2.Rxb3#
    • 1...Qd3
      • 2.Rb5#
    • 1...Qxe3
      • 2.Rb5#
    • 1...Qc4
      • 2.Rb5#
    • 1...Qc5
      • 2.Rb5#
    • 1...Qc6
      • 2.Rb5#
    • 1...Qc7
      • 2.Rb5#
    • 1...Qc8
      • 2.Rb5#
    • 1...Bh3+
      • 2.Sxh3#
    • 1...Bxe4
      • 2.Sxe4#
    • 1...Bg4
      • 2.Sf7#
    • 1...Bg6
      • 2.Sf7#
    • 1...Sb5
      • 2.Rxb5#
    • 1...Sc6
      • 2.Rb5#
    • 1...Sc8
      • 2.Rb5#
    • 1...Sg6
      • 2.Sf7#
    • 1...Sf7
      • 2.Sxf7#
    • 1...fxe3
      • 2.Qh2#
  • Tries
    • 1.Kh2?
      • 1...Qxb2+
        • 2.Bxb2#
      • 1...Qd2+
        • 2.Rbxd2#
      • 1...Qc2+
        • 2.Rxc2#
      • 1...Qxe3
        • 2.Rb5#
      • 1...Bxe4
        • 2.Sxe4#
      • 1...Bh3
        • 2.Sxh3#
        • 2.Sf7#
      • 1...Bg4
        • 2.Sf7#
      • 1...Bg6
        • 2.Sf7#
      • 1...Qe1
        • 2.Rb5#
      • 1...Qb4
        • 2.Rxb4#
      • 1...Qd4
        • 2.exd4#
      • 1...Qa5
        • 2.Rb5#
      • 1...Qc1
        • 2.Rb5#
      • 1...Qa3
        • 2.Rb5#
      • 1...Qb3
        • 2.Rxb3#
      • 1...Qd3
        • 2.Rb5#
      • 1...Qc4
        • 2.Rb5#
      • 1...Qc5
        • 2.Rb5#
      • 1...Qc6
        • 2.Rb5#
      • 1...Qc7
        • 2.Rb5#
      • 1...Qc8
        • 2.Rb5#
      • 1...Sb5
        • 2.Rxb5#
      • 1...Sc6
        • 2.Rb5#
      • 1...Sc8
        • 2.Rb5#
      • 1...Sg6
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...fxe3!
    • 1.Rb1?
      • threat
        • 2.Bxc3#
      • 1...Qb2+
        • 2.Bxb2#
      • 1...Bh3+
        • 2.Sxh3#
      • 1...Bxe4
        • 2.Sxe4#
      • 1...fxe3
        • 2.Qh2#
      • 1...Bg4
        • 2.Sf7#
      • 1...Bg6
        • 2.Sf7#
      • 1...Qd4
        • 2.Bxd4#
        • 2.exd4#
      • 1...Sb5
        • 2.Rxb5#
      • 1...Sc6
        • 2.Rb5#
      • 1...Qxa1!
    • 1.Rb3?
      • threat
        • 2.Bxc3#
      • 1...Qb2+
        • 2.Bxb2#
      • 1...Bh3+
        • 2.Sxh3#
      • 1...Bxe4
        • 2.Sxe4#
      • 1...fxe3
        • 2.Qh2#
      • 1...Bg4
        • 2.Sf7#
      • 1...Bg6
        • 2.Sf7#
      • 1...Sb5
        • 2.Rxb5#
      • 1...Qd4
        • 2.Bxd4#
        • 2.exd4#
      • 1...Sc6
        • 2.Rb5#
      • 1...Qxa1!
    • 1.Rb4?
      • threat
        • 2.Bxc3#
      • 1...Qb2+
        • 2.Bxb2#
      • 1...Bh3+
        • 2.Sxh3#
      • 1...Bxe4
        • 2.Sxe4#
      • 1...fxe3
        • 2.Qh2#
      • 1...Bg4
        • 2.Sf7#
      • 1...Bg6
        • 2.Sf7#
      • 1...Sb5
        • 2.Rxb5#
      • 1...Qd4
        • 2.Bxd4#
        • 2.exd4#
      • 1...Sc6
        • 2.Rb5#
      • 1...Qxa1!
    • 1.Rb6?
      • threat
        • 2.Bxc3#
      • 1...Qb2+
        • 2.Bxb2#
      • 1...Bh3+
        • 2.Sxh3#
      • 1...Bxe4
        • 2.Sxe4#
      • 1...fxe3
        • 2.Qh2#
      • 1...Bg4
        • 2.Sf7#
      • 1...Bg6
        • 2.Sf7#
      • 1...Sb5
        • 2.Rxb5#
      • 1...Qd4
        • 2.Bxd4#
        • 2.exd4#
      • 1...Sc6
        • 2.Rb5#
      • 1...Qxa1!
    • 1.Rbb7?
      • threat
        • 2.Bxc3#
      • 1...Qb2+
        • 2.Bxb2#
      • 1...Bh3+
        • 2.Sxh3#
      • 1...Bxe4
        • 2.Sxe4#
      • 1...fxe3
        • 2.Qh2#
      • 1...Bg4
        • 2.Sf7#
      • 1...Bg6
        • 2.Sf7#
      • 1...Sb5
        • 2.Rxb5#
      • 1...Qd4
        • 2.Bxd4#
        • 2.exd4#
      • 1...Sc6
        • 2.Rb5#
      • 1...Qxa1!
    • 1.Rb8?
      • threat
        • 2.Bxc3#
      • 1...Qb2+
        • 2.Bxb2#
      • 1...Bh3+
        • 2.Sxh3#
      • 1...Bxe4
        • 2.Sxe4#
      • 1...fxe3
        • 2.Qh2#
      • 1...Bg4
        • 2.Sf7#
      • 1...Bg6
        • 2.Sf7#
      • 1...Sb5
        • 2.Rxb5#
      • 1...Qd4
        • 2.Bxd4#
        • 2.exd4#
      • 1...Sc6
        • 2.Rb5#
      • 1...Qxa1!
    • 1.Rd1?
      • 1...Qxb2+
        • 2.Bxb2#
      • 1...Qd2+
        • 2.Rbxd2#
      • 1...Qc2+
        • 2.Rxc2#
      • 1...Bh3+
        • 2.Sxh3#
      • 1...Qxe3
        • 2.Rb5#
      • 1...Bxe4
        • 2.Sxe4#
      • 1...fxe3
        • 2.Qh2#
      • 1...Qd3
        • 2.Rb5#
      • 1...Bg4
        • 2.Sf7#
      • 1...Bg6
        • 2.Sf7#
      • 1...Sb5
        • 2.Rxb5#
      • 1...Qe1
        • 2.Rbd2#
        • 2.Rb5#
      • 1...Qb4
        • 2.Rxb4#
      • 1...Qa5
        • 2.Rb5#
      • 1...Qc1
        • 2.Rb5#
      • 1...Qa3
        • 2.Rb5#
      • 1...Qb3
        • 2.Rxb3#
      • 1...Qc4
        • 2.Rb5#
      • 1...Qc5
        • 2.Rb5#
      • 1...Qc6
        • 2.Rb5#
      • 1...Qc7
        • 2.Rb5#
      • 1...Qc8
        • 2.Rb5#
      • 1...Sc6
        • 2.Rb5#
      • 1...Sc8
        • 2.Rb5#
      • 1...Sg6
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...Qd4!
    • 1.Rdd2?
      • 1...Qxd2+
        • 2.Rxd2#
      • 1...Bh3+
        • 2.Sxh3#
      • 1...Qxb2
        • 2.Bxb2#
      • 1...Qxe3
        • 2.Rb5#
      • 1...Bxe4
        • 2.Sxe4#
      • 1...fxe3
        • 2.Qh2#
      • 1...Qd3
        • 2.Rb5#
      • 1...Bg4
        • 2.Sf7#
      • 1...Bg6
        • 2.Sf7#
      • 1...Sb5
        • 2.Rxb5#
      • 1...Qb4
        • 2.Rxb4#
      • 1...Qa5
        • 2.Rb5#
      • 1...Qc1
        • 2.Rb5#
      • 1...Qc2
        • 2.Rbxc2#
        • 2.Rb5#
      • 1...Qa3
        • 2.Rb5#
      • 1...Qb3
        • 2.Rxb3#
      • 1...Qc4
        • 2.Rb5#
      • 1...Qc5
        • 2.Rb5#
      • 1...Qc6
        • 2.Rb5#
      • 1...Qc7
        • 2.Rb5#
      • 1...Qc8
        • 2.Rb5#
      • 1...Sc6
        • 2.Rb5#
      • 1...Sc8
        • 2.Rb5#
      • 1...Sg6
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...Qd4!
    • 1.Rd3?
      • 1...Qxb2+
        • 2.Bxb2#
      • 1...Qd2+
        • 2.Rbxd2#
      • 1...Qc2+
        • 2.Rxc2#
      • 1...Bh3+
        • 2.Sxh3#
      • 1...Qxd3
        • 2.Rb5#
      • 1...Bxe4
        • 2.Sxe4#
      • 1...fxe3
        • 2.Qh2#
      • 1...Bg4
        • 2.Sf7#
      • 1...Bg6
        • 2.Sf7#
      • 1...Sb5
        • 2.Rxb5#
      • 1...Qe1
        • 2.Rb5#
      • 1...Qb4
        • 2.Rxb4#
      • 1...Qa5
        • 2.Rb5#
      • 1...Qc1
        • 2.Rb5#
      • 1...Qa3
        • 2.Rb5#
      • 1...Qb3
        • 2.Rbxb3#
      • 1...Qc4
        • 2.Rb5#
      • 1...Qc5
        • 2.Rb5#
      • 1...Qc6
        • 2.Rb5#
      • 1...Qc7
        • 2.Rb5#
      • 1...Qc8
        • 2.Rb5#
      • 1...Sc6
        • 2.Rb5#
      • 1...Sc8
        • 2.Rb5#
      • 1...Sg6
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...Qd4!
    • 1.Rd6?
      • 1...Qxb2+
        • 2.Bxb2#
      • 1...Qd2+
        • 2.Rbxd2#
      • 1...Qc2+
        • 2.Rxc2#
      • 1...Bh3+
        • 2.Sxh3#
      • 1...Qxe3
        • 2.Rb5#
      • 1...Bxe4
        • 2.Sxe4#
      • 1...fxe3
        • 2.Qh2#
      • 1...Bg4
        • 2.Sf7#
      • 1...Bg6
        • 2.Sf7#
      • 1...Sb5
        • 2.Rxb5#
      • 1...Qe1
        • 2.Rb5#
      • 1...Qb4
        • 2.Rxb4#
      • 1...Qd4
        • 2.exd4#
      • 1...Qa5
        • 2.Rb5#
      • 1...Qc1
        • 2.Rb5#
      • 1...Qa3
        • 2.Rb5#
      • 1...Qb3
        • 2.Rxb3#
      • 1...Qd3
        • 2.Rb5#
      • 1...Qc4
        • 2.Rb5#
      • 1...Qc5
        • 2.Rb5#
      • 1...Qc6
        • 2.Rb5#
      • 1...Qc7
        • 2.Rb5#
      • 1...Qc8
        • 2.Rb5#
      • 1...Sc6
        • 2.Rb5#
      • 1...Sc8
        • 2.Rb5#
      • 1...Sg6
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#
      • 1...exd6!
    • 1.Qg4?
      • threat
        • 2.Qxf4#
        • 2.exf4#
      • 1...Qxb2+
        • 2.Bxb2#
      • 1...Qd2+
        • 2.Rbxd2#
      • 1...Qc2+
        • 2.Rxc2#
      • 1...Qxe3
        • 2.Rb5#
      • 1...Bxe4
        • 2.Qxe6#
        • 2.Qxf4#
      • 1...fxe3
        • 2.Qg3#
        • 2.f4#
      • 1...Qc1
        • 2.Rb5#
        • 2.Qxf4#
      • 1...Sg6
        • 2.Sf7#
      • 1...Bxg4!
    • 1.Qh2?
      • threat
        • 2.Qxf4#
        • 2.exf4#
      • 1...Qxb2+
        • 2.Bxb2#
      • 1...Qd2+
        • 2.Rbxd2#
      • 1...Qc2+
        • 2.Rxc2#
      • 1...Qxe3
        • 2.Rb5#
      • 1...Bxe4
        • 2.Qxf4#
      • 1...Bg4
        • 2.Qxf4#
      • 1...Bg6
        • 2.Qxf4#
      • 1...Qc1
        • 2.Rb5#
        • 2.Qxf4#
      • 1...Sg6
        • 2.Sf7#
      • 1...Bh3+!
  • Keys
    • 1.Rd8!
      • 1...Qxb2+
        • 2.Bxb2#
      • 1...Qd2+
        • 2.Rbxd2#
      • 1...Qc2+
        • 2.Rxc2#
      • 1...Bh3+
        • 2.Sxh3#
      • 1...Qxe3
        • 2.Rb5#
      • 1...Bxe4
        • 2.Sxe4#
      • 1...fxe3
        • 2.Qh2#
      • 1...Bg4
        • 2.Sf7#
      • 1...Bg6
        • 2.Sf7#
      • 1...Sb5
        • 2.Rxb5#
      • 1...Qe1
        • 2.Rb5#
      • 1...Qb4
        • 2.Rxb4#
      • 1...Qd4
        • 2.exd4#
      • 1...Qa5
        • 2.Rb5#
      • 1...Qc1
        • 2.Rb5#
      • 1...Qa3
        • 2.Rb5#
      • 1...Qb3
        • 2.Rxb3#
      • 1...Qd3
        • 2.Rb5#
      • 1...Qc4
        • 2.Rb5#
      • 1...Qc5
        • 2.Rb5#
      • 1...Qc6
        • 2.Rb5#
      • 1...Qc7
        • 2.Rb5#
      • 1...Qc8
        • 2.Rb5#
      • 1...Sc6
        • 2.Rb5#
      • 1...Sc8
        • 2.Rb5#
      • 1...Sg6
        • 2.Sf7#
      • 1...Sf7
        • 2.Sxf7#

FEATURES

  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • Q(a);::B(A)+R(B),DCHECK
    • Q(a);CHECK,OGATE,P_SPINQ(a),XR(B)::B(A),XQ(a)
    • Q(a);CHECK,OGATEB::B(A)+R(B),XQ(a)
    • Q(a);OGATEB::B(A)+R(B),XQ(a)
    • Q(a);OGATE::P(D),XQ(a)
    • Q(a);XP(D)::B(A)+R(B),DCHECK
    • Q(a);S_CUTS(f)::B(A)+R(B)
    • B(d);CHECK::QAR(H)+S(G),XB(d)
    • B(d);P_PINP(E),XS(F)::QAR(H)+S(G),XB(d)
    • B(d);::QAR(H)+S(G),DCHECK
    • S(f);N_GUARD::R(B),XS(f)
    • S(f);N_GUARD::R(B)
    • S(i);N_GUARD::S(G)
    • S(i);N_GUARD::S(G),XS(i)
    • P(b);OGATEB,XP(D)::QAB(H)
  • Tries
    • Try
      • K(C);P-FLIGHT
      • Vars
        • Q(a);CHECK,OGATE,P_SPINQ(a),XR(B)::B(A),XQ(a)
        • Q(a);CHECK,OGATEB::B(A)+R(B),XQ(a)
        • Q(a);XP(D)::B(A)+R(B),DCHECK
        • B(d);XS(F)::QAR(H)+S(G),XB(d)
        • B(d);::QAR(H)+S(G),DCHECK
        • Q(a);::B(A)+R(B),DCHECK
        • Q(a);OGATEB::B(A)+R(B),XQ(a)
        • Q(a);OGATE::P(D),XQ(a)
        • Q(a);S_CUTS(f)::B(A)+R(B)
        • S(f);N_GUARD::R(B),XS(f)
        • S(f);N_GUARD::R(B)
        • S(i);N_GUARD::S(G)
        • S(i);N_GUARD::S(G),XS(i)
      • Refutation
        • P(b);XP(D)
    • Try
      • R(B);P_PINQ(a)
      • Threat
        • B(A),XQ(a)
      • Vars
        • Q(a);CHECK,OGATEB::B(A),XQ(a)
        • B(d);CHECK::QAR(H)+S(G),XB(d)
        • B(d);P_PINP(E),XS(F)::QAR(H)+S(G),XB(d)
        • P(b);OGATEB,XP(D)::QAB(H)
        • B(d);::QAR(H)+S(G),DCHECK
        • S(f);N_GUARD::R(B),XS(f)
        • S(f);N_GUARD::R(B)
      • Refutation
        • Q(a);N_SPINQ(a),XB(A)
    • Try
      • R(B);P_PINQ(a)
      • Threat
        • B(A),XQ(a)
      • Vars
        • Q(a);CHECK,OGATEB::B(A),XQ(a)
        • B(d);CHECK::QAR(H)+S(G),XB(d)
        • B(d);P_PINP(E),XS(F)::QAR(H)+S(G),XB(d)
        • P(b);OGATEB,XP(D)::QAB(H)
        • B(d);::QAR(H)+S(G),DCHECK
        • S(f);N_GUARD::R(B),XS(f)
        • S(f);N_GUARD::R(B)
      • Refutation
        • Q(a);N_SPINQ(a),XB(A)
    • Try
      • R(B);P_PINQ(a)
      • Threat
        • B(A),XQ(a)
      • Vars
        • Q(a);CHECK,OGATEB::B(A),XQ(a)
        • B(d);CHECK::QAR(H)+S(G),XB(d)
        • B(d);P_PINP(E),XS(F)::QAR(H)+S(G),XB(d)
        • P(b);OGATEB,XP(D)::QAB(H)
        • B(d);::QAR(H)+S(G),DCHECK
        • S(f);N_GUARD::R(B),XS(f)
        • S(f);N_GUARD::R(B)
      • Refutation
        • Q(a);N_SPINQ(a),XB(A)
    • Try
      • R(B);P_PINQ(a)
      • Threat
        • B(A),XQ(a)
      • Vars
        • Q(a);CHECK,OGATEB::B(A),XQ(a)
        • B(d);CHECK::QAR(H)+S(G),XB(d)
        • B(d);P_PINP(E),XS(F)::QAR(H)+S(G),XB(d)
        • P(b);OGATEB,XP(D)::QAB(H)
        • B(d);::QAR(H)+S(G),DCHECK
        • S(f);N_GUARD::R(B),XS(f)
        • S(f);N_GUARD::R(B)
      • Refutation
        • Q(a);N_SPINQ(a),XB(A)
    • Try
      • R(B);P_PINQ(a)
      • Threat
        • B(A),XQ(a)
      • Vars
        • Q(a);CHECK,OGATEB::B(A),XQ(a)
        • B(d);CHECK::QAR(H)+S(G),XB(d)
        • B(d);P_PINP(E),XS(F)::QAR(H)+S(G),XB(d)
        • P(b);OGATEB,XP(D)::QAB(H)
        • B(d);::QAR(H)+S(G),DCHECK
        • S(f);N_GUARD::R(B),XS(f)
        • S(f);N_GUARD::R(B)
      • Refutation
        • Q(a);N_SPINQ(a),XB(A)
    • Try
      • R(B);P_PINQ(a)
      • Threat
        • B(A),XQ(a)
      • Vars
        • Q(a);CHECK,OGATEB::B(A),XQ(a)
        • B(d);CHECK::QAR(H)+S(G),XB(d)
        • B(d);P_PINP(E),XS(F)::QAR(H)+S(G),XB(d)
        • P(b);OGATEB,XP(D)::QAB(H)
        • B(d);::QAR(H)+S(G),DCHECK
        • S(f);N_GUARD::R(B),XS(f)
        • S(f);N_GUARD::R(B)
      • Refutation
        • Q(a);N_SPINQ(a),XB(A)
    • Try
      • R(J);
      • Vars
        • Q(a);CHECK,OGATE,P_SPINQ(a),XR(B)::B(A),XQ(a)
        • Q(a);CHECK,OGATEB::B(A)+R(B),XQ(a)
        • B(d);CHECK::QAR(H)+S(G),XB(d)
        • Q(a);XP(D)::B(A)+R(B),DCHECK
        • B(d);P_PINP(E),XS(F)::QAR(H)+S(G),XB(d)
        • P(b);OGATEB,XP(D)::QAB(H)
        • Q(a);::B(A)+R(B),DCHECK
        • B(d);::QAR(H)+S(G),DCHECK
        • S(f);N_GUARD::R(B),XS(f)
        • Q(a);OGATEB::B(A)+R(B),XQ(a)
        • Q(a);S_CUTS(f)::B(A)+R(B)
        • S(f);N_GUARD::R(B)
        • S(i);N_GUARD::S(G)
        • S(i);N_GUARD::S(G),XS(i)
      • Refutation
        • Q(a);
    • Try
      • R(J);
      • Vars
        • Q(a);CHECK,OGATE,XR(J)::B(A)+R(B),XQ(a)
        • B(d);CHECK::QAR(H)+S(G),XB(d)
        • Q(a);OGATE,P_PINR(J),P_SPINQ(a),XR(B)::B(A),XQ(a)
        • Q(a);XP(D)::B(A)+R(B),DCHECK
        • B(d);P_PINP(E),XS(F)::QAR(H)+S(G),XB(d)
        • P(b);OGATEB,XP(D)::QAB(H)
        • Q(a);::B(A)+R(B),DCHECK
        • B(d);::QAR(H)+S(G),DCHECK
        • S(f);N_GUARD::R(B),XS(f)
        • Q(a);OGATEB::B(A)+R(B),XQ(a)
        • Q(a);S_CUTS(f)::B(A)+R(B)
        • S(f);N_GUARD::R(B)
        • S(i);N_GUARD::S(G)
        • S(i);N_GUARD::S(G),XS(i)
      • Refutation
        • Q(a);
    • Try
      • R(J);
      • Vars
        • Q(a);CHECK,OGATE,P_SPINQ(a),XR(B)::B(A),XQ(a)
        • Q(a);CHECK,OGATEB::B(A)+R(B),XQ(a)
        • B(d);CHECK::QAR(H)+S(G),XB(d)
        • Q(a);XR(J)::B(A)+R(B),DCHECK
        • B(d);P_PINP(E),XS(F)::QAR(H)+S(G),XB(d)
        • P(b);OGATEB,XP(D)::QAB(H)
        • B(d);::QAR(H)+S(G),DCHECK
        • S(f);N_GUARD::R(B),XS(f)
        • Q(a);::B(A)+R(B),DCHECK
        • Q(a);OGATEB::B(A)+R(B),XQ(a)
        • Q(a);S_CUTS(f)::B(A)+R(B)
        • S(f);N_GUARD::R(B)
        • S(i);N_GUARD::S(G)
        • S(i);N_GUARD::S(G),XS(i)
      • Refutation
        • Q(a);
    • Try
      • R(J);
      • Vars
        • Q(a);CHECK,OGATE,P_SPINQ(a),XR(B)::B(A),XQ(a)
        • Q(a);CHECK,OGATEB::B(A)+R(B),XQ(a)
        • B(d);CHECK::QAR(H)+S(G),XB(d)
        • Q(a);XP(D)::B(A)+R(B),DCHECK
        • B(d);P_PINP(E),XS(F)::QAR(H)+S(G),XB(d)
        • P(b);OGATEB,XP(D)::QAB(H)
        • B(d);::QAR(H)+S(G),DCHECK
        • S(f);N_GUARD::R(B),XS(f)
        • Q(a);::B(A)+R(B),DCHECK
        • Q(a);OGATEB::B(A)+R(B),XQ(a)
        • Q(a);OGATE::P(D),XQ(a)
        • Q(a);S_CUTS(f)::B(A)+R(B)
        • S(f);N_GUARD::R(B)
        • S(i);N_GUARD::S(G)
        • S(i);N_GUARD::S(G),XS(i)
      • Refutation
        • P(g);XR(J)
    • Try
      • Q(H);
      • Threat
        • DUALS(2)
      • Vars
        • Q(a);CHECK,OGATE,P_SPINQ(a),XR(B)::B(A),XQ(a)
        • Q(a);CHECK,OGATEB::B(A)+R(B),XQ(a)
        • Q(a);XP(D)::B(A)+R(B),DCHECK
        • S(i);N_GUARD::S(G)
      • Refutation
        • B(d);XQ(H)
    • Try
      • Q(H);P_PINP(b)
      • Threat
        • DUALS(2)
      • Vars
        • Q(a);CHECK,OGATE,P_SPINQ(a),XR(B)::B(A),XQ(a)
        • Q(a);CHECK,OGATEB::B(A)+R(B),XQ(a)
        • Q(a);XP(D)::B(A)+R(B),DCHECK
        • B(d);P_PINP(E),XS(F)::QAB1(H),XP(b)
        • B(d);::QAB1(H),XP(b)
        • S(i);N_GUARD::S(G)
      • Refutation
        • B(d);CHECK
  • Actual
    • R(J);
    • Vars
      • Q(a);CHECK,OGATE,P_SPINQ(a),XR(B)::B(A),XQ(a)
      • Q(a);CHECK,OGATEB::B(A)+R(B),XQ(a)
      • B(d);CHECK::QAR(H)+S(G),XB(d)
      • Q(a);XP(D)::B(A)+R(B),DCHECK
      • B(d);P_PINP(E),XS(F)::QAR(H)+S(G),XB(d)
      • P(b);OGATEB,XP(D)::QAB(H)
      • B(d);::QAR(H)+S(G),DCHECK
      • S(f);N_GUARD::R(B),XS(f)
      • Q(a);::B(A)+R(B),DCHECK
      • Q(a);OGATEB::B(A)+R(B),XQ(a)
      • Q(a);OGATE::P(D),XQ(a)
      • Q(a);S_CUTS(f)::B(A)+R(B)
      • S(f);N_GUARD::R(B)
      • S(i);N_GUARD::S(G)
      • S(i);N_GUARD::S(G),XS(i)
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).