MESON Chess Problem Database

Problem Display
PID: 16266 (3kq2Q/N2rp3/1P6/6B1/1p6/pP6/P7/KN1R3R w - - 0 1)

Morse, Christopher Jeremy

The Problemist, 2000

3kq2Q/N2rp3/1P6/6B1/1p6/pP6/P7/KN1R3R

#2

10 + 6

SOLUTION

  • SOUND
  • Sets
    • 1...Qf8
      • 2.Qxf8#
    • 1...Qg8
      • 2.Qxg8#
    • 1...Qxh8+
      • 2.Rxh8#
    • 1...Rxd1
      • 2.Rxd1#
    • 1...Rd2
      • 2.Rxd2#
    • 1...Rd3
      • 2.Rxd3#
    • 1...Rd4
      • 2.Rxd4#
    • 1...Rd5
      • 2.Rxd5#
    • 1...Rd6
      • 2.Rxd6#
  • Tries
    • 1.Sxa3?
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Rxd1+
        • 2.Rxd1#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...bxa3!
    • 1.Sc3?
      • 1...Rxd1+
        • 2.Rxd1#
      • 1...Qxh8
        • 2.Rxh8#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...bxc3!
    • 1.Bc1?
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Rxd1
        • 2.Rxd1#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...e5
        • 2.Bg5#
      • 1...e6
        • 2.Bg5#
      • 1...Rd6!
    • 1.Be3?
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Rxd1
        • 2.Rxd1#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...e5
        • 2.Bg5#
      • 1...e6
        • 2.Bg5#
      • 1...Rd6!
    • 1.Bf4?
      • threat
        • 2.Bc7#
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Rxd1
        • 2.Rxd1#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...e5
        • 2.Bg5#
      • 1...e6
        • 2.Bg5#
      • 1...Rd6!
    • 1.Bh4?
      • 1...Rxd1
        • 2.Rxd1#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Qxh8+!
    • 1.Bf6?
      • 1...Qxh8
        • 2.Rxh8#
      • 1...Rxd1
        • 2.Rxd1#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...exf6!
    • 1.Rd2?
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rxd2!
    • 1.Rd3?
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rxd3!
    • 1.Rd4?
      • 1...Qxh8
        • 2.Rxh8#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rxd4!
    • 1.Rd5?
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rxd5!
    • 1.Rd6?
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rxd6!
    • 1.Rhe1?
      • threat
        • 2.Bxe7#
      • 1...Rxd1
        • 2.Rxd1#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Qxh8+!
    • 1.Rhf1?
      • 1...Rxd1
        • 2.Rxd1#
      • 1...Qf8
        • 2.Rxf8#
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Qxh8+!
    • 1.Rhg1?
      • 1...Rxd1
        • 2.Rxd1#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Qxh8+!
    • 1.Rh2?
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rdxd2#
        • 2.Rhxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rxd1!
    • 1.Rh3?
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rdxd3#
        • 2.Rhxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rxd1!
    • 1.Rh4?
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rdxd4#
        • 2.Rhxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rxd1!
    • 1.Rh5?
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rxd1!
    • 1.Rh6?
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rdxd6#
        • 2.Rhxd6#
      • 1...Rxd1!
    • 1.Rh7?
      • threat
        • 2.Bxe7#
      • 1...Qxh8+
        • 2.Rxh8#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rxd1!
    • 1.Qc3?
      • threat
        • 2.Qc7#
        • 2.Qc8#
      • 1...Qh5
        • 2.Qc8#
      • 1...Qg6
        • 2.Qc8#
      • 1...Qf7
        • 2.Qc8#
      • 1...Qf8
        • 2.Qc8#
      • 1...Qg8
        • 2.Qc8#
      • 1...Qh8
        • 2.Rxh8#
        • 2.Qxh8#
      • 1...bxc3!
    • 1.Qe5?
      • threat
        • 2.Qc7#
        • 2.Qb8#
      • 1...Rxd1
        • 2.Qc7#
      • 1...Qh5
        • 2.Qb8#
        • 2.Qxe7#
      • 1...Qg6
        • 2.Qb8#
        • 2.Qxe7#
      • 1...Qf7
        • 2.Qb8#
      • 1...Qf8
        • 2.Qb8#
      • 1...Qg8
        • 2.Qb8#
        • 2.Qxe7#
      • 1...Qh8
        • 2.Rxh8#
        • 2.Qxh8#
      • 1...Rd2
        • 2.Qc7#
      • 1...Rd3
        • 2.Qc7#
      • 1...Rd4
        • 2.Qc7#
      • 1...Rd5
        • 2.Qc7#
      • 1...Rd6!
    • 1.Qh2?
      • threat
        • 2.Qc7#
        • 2.Qb8#
      • 1...Qh8+
        • 2.Qxh8#
      • 1...Rxd1
        • 2.Qc7#
      • 1...Qh5
        • 2.Qb8#
      • 1...Qg6
        • 2.Qb8#
      • 1...Qf7
        • 2.Qb8#
      • 1...Qf8
        • 2.Qb8#
      • 1...Qg8
        • 2.Qb8#
      • 1...Rd2
        • 2.Qc7#
      • 1...Rd3
        • 2.Qc7#
      • 1...Rd4
        • 2.Qc7#
      • 1...Rd5
        • 2.Qc7#
      • 1...Rd6!
    • 1.Qf8?
      • threat
        • 2.Bxe7#
      • 1...Rxd1
        • 2.Rxd1#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Qxf8!
    • 1.Qg8?
      • 1...Rxd1
        • 2.Rxd1#
      • 1...Qf8
        • 2.Qxf8#
      • 1...Rd2
        • 2.Rxd2#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Rd4
        • 2.Rxd4#
      • 1...Rd5
        • 2.Rxd5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Qxg8!
  • Keys
    • 1.Qh3!
      • 1...Qh8+
        • 2.Qxh8#
      • 1...Rxd1
        • 2.Qc8#
      • 1...Qh5
        • 2.Qxd7#
      • 1...Qg6
        • 2.Qxd7#
      • 1...Qf7
        • 2.Qxd7#
      • 1...Qf8
        • 2.Qxd7#
      • 1...Qg8
        • 2.Qxd7#
      • 1...Rd2
        • 2.Qc8#
      • 1...Rd3
        • 2.Qc8#
      • 1...Rd4
        • 2.Qc8#
      • 1...Rd5
        • 2.Qc8#
      • 1...Rd6
        • 2.Qc8#

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 9
    • ADDED MATES = 3
    • REMOVED MATES = 0
  • Sets
    • Q(f);OGATEB::QAR2(J),XQ(f)
    • Q(f);OGATEB::QAR(J),XQ(f)
    • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
    • R(c);N_SPINR(c),OGATE,P_PINS(B),XR(C)::R(D),XR(c)
    • R(c);OGATEB::R(C),XR(c)
  • Tries
    • Try
      • S(B);XP(a)
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • R(c);CHECK,N_SPINR(c),OGATE,XR(C)::R(D),XR(c)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • P(b);XS(B)
    • Try
      • S(B);
      • Vars
        • R(c);CHECK,N_SPINR(c),OGATE,XR(C)::R(D),XR(c)
        • Q(f);N_SPINQ(f),OGATE,P_PINS(B),XQ(J)::R(D),XQ(f)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • P(b);XS(B)
    • Try
      • B(G);N_PINP(d)
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • R(c);N_SPINR(c),OGATE,XR(C)::R(D),XR(c)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
        • P(d);OGATEB::B(G)
      • Refutation
        • R(c);
    • Try
      • B(G);N_PINP(d)
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • R(c);N_SPINR(c),OGATE,P_PINS(B),XR(C)::R(D),XR(c)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
        • P(d);OGATEB::B(G)
      • Refutation
        • R(c);
    • Try
      • B(G);N_PINP(d)
      • Threat
        • B(G)
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • R(c);N_SPINR(c),OGATE,P_PINS(B),XR(C)::R(D),XR(c)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
        • P(d);OGATEB::B(G)
      • Refutation
        • R(c);
    • Try
      • B(G);
      • Vars
        • R(c);N_SPINR(c),OGATE,P_PINS(B),XR(C)::R(D),XR(c)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • Q(f);CHECK,N_SPINQ(f),XQ(J)
    • Try
      • B(G);
      • Vars
        • Q(f);N_SPINQ(f),OGATE,P_PINB(G),XQ(J)::R(D),XQ(f)
        • R(c);N_SPINR(c),OGATE,P_PINS(B),XR(C)::R(D),XR(c)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • P(d);N_SPINP(d),XB(G)
    • Try
      • R(C);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • R(c);N_SPINR(c),XR(C)
    • Try
      • R(C);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • R(c);N_SPINR(c),XR(C)
    • Try
      • R(C);
      • Vars
        • Q(f);N_SPINQ(f),OGATE,P_PINR(C),XQ(J)::R(D),XQ(f)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • R(c);N_SPINR(c),XR(C)
    • Try
      • R(C);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • R(c);N_SPINR(c),XR(C)
    • Try
      • R(C);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
      • Refutation
        • R(c);N_SPINR(c),XR(C)
    • Try
      • R(D);
      • Threat
        • B(G),XP(d)
      • Vars
        • R(c);N_SPINR(c),OGATE,P_PINS(B),XR(C)::R(D),XR(c)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • Q(f);CHECK,N_SPINQ(f),XQ(J)
    • Try
      • R(D);
      • Vars
        • R(c);N_SPINR(c),OGATE,P_PINS(B),XR(C)::R(D),XR(c)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • Q(f);CHECK,N_SPINQ(f),XQ(J)
    • Try
      • R(D);
      • Vars
        • R(c);N_SPINR(c),OGATE,P_PINS(B),XR(C)::R(D),XR(c)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • Q(f);CHECK,N_SPINQ(f),XQ(J)
    • Try
      • R(D);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • R(c);N_SPINR(c),P_PINS(B),XR(C)
    • Try
      • R(D);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • R(c);N_SPINR(c),P_PINS(B),XR(C)
    • Try
      • R(D);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • R(c);N_SPINR(c),P_PINS(B),XR(C)
    • Try
      • R(D);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • R(c);N_SPINR(c),P_PINS(B),XR(C)
    • Try
      • R(D);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • R(c);N_SPINR(c),P_PINS(B),XR(C)
    • Try
      • R(D);
      • Threat
        • B(G),XP(d)
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XQ(J)::R(D),XQ(f)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • Q(f);OGATEB::QAR(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • R(c);N_SPINR(c),P_PINS(B),XR(C)
    • Try
      • Q(J);N_PINQ(f)
      • Threat
        • DUALS(2)
      • Vars
        • Q(f);::QAR1(J)
      • Refutation
        • P(b);XQ(J)
    • Try
      • Q(J);N_PINQ(f)
      • Threat
        • DUALS(2)
      • Vars
        • R(c);N_SPINR(c),P_PINS(B),XR(C)::QAB1(J)
        • Q(f);::QAR2(J)
        • R(c);::QAB1(J)
      • Refutation
        • R(c);
    • Try
      • Q(J);N_PINQ(f)
      • Threat
        • DUALS(2)
      • Vars
        • Q(f);CHECK,OGATEB::QAR(J),XQ(f)
        • R(c);N_SPINR(c),P_PINS(B),XR(C)::QAB1(J)
        • Q(f);::QAR2(J)
        • R(c);::QAB1(J)
      • Refutation
        • R(c);
    • Try
      • Q(J);
      • Threat
        • B(G),XP(d)
      • Vars
        • R(c);N_SPINR(c),OGATE,P_PINS(B),XR(C)::R(D),XR(c)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • Q(f);N_SPINQ(f),XQ(J)
    • Try
      • Q(J);
      • Vars
        • R(c);N_SPINR(c),OGATE,P_PINS(B),XR(C)::R(D),XR(c)
        • Q(f);OGATEB::QAR2(J),XQ(f)
        • R(c);OGATEB::R(C),XR(c)
      • Refutation
        • Q(f);N_SPINQ(f),XQ(J)
  • Actual
    • Q(J);N_PINQ(f)
    • Vars
      • Q(f);CHECK,OGATEB::QAR(J),XQ(f)
      • R(c);N_SPINR(c),OGATE,P_PINS(B),XR(C)::QAR1(J)
      • Q(f);N_GUARD::QAR1(J),XR(c)
      • R(c);OGATE::QAR1(J)
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).