MESON Chess Problem Database

Problem Display
PID: 78676 (R7/6B1/6KQ/8/8/8/rq6/kr5R w - - 0 1)

Morse, Christopher Jeremy

The Tablet, 1959

(First published on Fri Oct 9 1959)

R7/6B1/6KQ/8/8/8/rq6/kr5R

#2

5 + 4

15239 Valois Notebooks 2017
3713 Snap 2021

SOLUTION

  • SOUND
  • Sets
    • 1...Qc3
      • 2.Bxc3#
    • 1...Qd4
      • 2.Bxd4#
    • 1...Qe5
      • 2.Bxe5#
    • 1...Qf6+
      • 2.Bxf6#
    • 1...Qxg7+
      • 2.Qxg7#
    • 1...Rc1
      • 2.Rxc1#
      • 2.Qxc1#
    • 1...Rd1
      • 2.Rxd1#
    • 1...Re1
      • 2.Rxe1#
    • 1...Rf1
      • 2.Rxf1#
    • 1...Rg1+
      • 2.Rxg1#
    • 1...Rxh1
      • 2.Qxh1#
    • 1...Ra3
      • 2.Rxa3#
    • 1...Ra4
      • 2.Rxa4#
    • 1...Ra5
      • 2.Rxa5#
    • 1...Ra6+
      • 2.Rxa6#
    • 1...Ra7
      • 2.Rxa7#
  • Tries
    • 1.Kf5?
      • 1...Qe5+
        • 2.Bxe5#
      • 1...Qf6+
        • 2.Bxf6#
        • 2.Qxf6#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Ra5+
        • 2.Rxa5#
      • 1...Qxg7
        • 2.Qxg7#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra6
        • 2.Rxa6#
        • 2.Qxa6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxa8!
    • 1.Kg5?
      • 1...Qe5+
        • 2.Bxe5#
      • 1...Qf6+
        • 2.Bxf6#
        • 2.Qxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Ra5+
        • 2.Rxa5#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra6
        • 2.Rxa6#
        • 2.Qxa6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxa8!
    • 1.Kf7?
      • 1...Qf6+
        • 2.Bxf6#
        • 2.Qxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Ra7+
        • 2.Rxa7#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra6
        • 2.Rxa6#
        • 2.Qxa6#
      • 1...Rxa8!
    • 1.Kh7?
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
        • 2.Qxf6#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra6
        • 2.Rxa6#
        • 2.Qxa6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxa8!
    • 1.Bh8?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qg7+
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Qxh8
        • 2.Qxh8#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxa8!
    • 1.Rc1?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rxc1
        • 2.Qxc1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxa8!
    • 1.Ra3?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rxa3!
    • 1.Ra4?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Rxa4!
    • 1.Ra5?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Rxa5!
    • 1.Ra6?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Rxa6+!
    • 1.Ra7?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Rxa7!
    • 1.Qc1?
      • threat
        • 2.Bxb2#
        • 2.Qxb2#
        • 2.Qxb1#
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rxc1
        • 2.Rxc1#
      • 1...Rxa8
        • 2.Qxb2#
        • 2.Qxb1#
      • 1...Ra3
        • 2.Rxa3#
        • 2.Qxb2#
        • 2.Qxb1#
      • 1...Ra4
        • 2.Rxa4#
        • 2.Qxb2#
        • 2.Qxb1#
      • 1...Ra5
        • 2.Rxa5#
        • 2.Qxb2#
        • 2.Qxb1#
      • 1...Ra7
        • 2.Rxa7#
        • 2.Qxb2#
        • 2.Qxb1#
      • 1...Qc3
        • 2.Bxc3#
        • 2.Qxb1#
        • 2.Qxc3#
      • 1...Qd4
        • 2.Bxd4#
        • 2.Qxb1#
      • 1...Qe5
        • 2.Bxe5#
        • 2.Qxb1#
      • 1...Qxg7+!
    • 1.Qd2?
      • threat
        • 2.Bxb2#
        • 2.Qxb2#
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rxh1
        • 2.Qxb2#
      • 1...Rxa8
        • 2.Qxb2#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
        • 2.Qxb2#
      • 1...Rd1
        • 2.Rxd1#
        • 2.Qxd1#
        • 2.Qxb2#
      • 1...Re1
        • 2.Rxe1#
        • 2.Qxe1#
        • 2.Qxb2#
      • 1...Rf1
        • 2.Rxf1#
        • 2.Qxb2#
      • 1...Ra3
        • 2.Rxa3#
        • 2.Qxb2#
      • 1...Ra4
        • 2.Rxa4#
        • 2.Qxb2#
      • 1...Ra5
        • 2.Rxa5#
        • 2.Qxa5#
        • 2.Qxb2#
      • 1...Ra7
        • 2.Rxa7#
        • 2.Qxb2#
      • 1...Qc3
        • 2.Bxc3#
        • 2.Rxa2#
        • 2.Qxc3#
        • 2.Qxa2#
      • 1...Qd4
        • 2.Bxd4#
        • 2.Rxa2#
        • 2.Qxa2#
        • 2.Qxd4#
      • 1...Qe5
        • 2.Bxe5#
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Qxg7+!
    • 1.Qh2?
      • threat
        • 2.Bxb2#
        • 2.Qxb2#
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Rg1+
        • 2.Rxg1#
        • 2.Qxg1#
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rxh1
        • 2.Qxh1#
        • 2.Qxb2#
      • 1...Rxa8
        • 2.Qxb2#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxb2#
      • 1...Rd1
        • 2.Rxd1#
        • 2.Qxb2#
      • 1...Re1
        • 2.Rxe1#
        • 2.Qxb2#
      • 1...Rf1
        • 2.Rxf1#
        • 2.Qxb2#
      • 1...Ra3
        • 2.Rxa3#
        • 2.Qxb2#
      • 1...Ra4
        • 2.Rxa4#
        • 2.Qxb2#
      • 1...Ra5
        • 2.Rxa5#
        • 2.Qxb2#
      • 1...Ra7
        • 2.Rxa7#
        • 2.Qxb2#
      • 1...Qc3
        • 2.Bxc3#
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Qd4
        • 2.Bxd4#
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Qe5
        • 2.Bxe5#
        • 2.Rxa2#
        • 2.Qxe5#
        • 2.Qxa2#
      • 1...Qxg7+!
    • 1.Qh7?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxa8!
  • Keys
    • 1.Qh8!
      • threat
        • 2.Bxb2#
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#

This anticipates 247277(2010)

FEATURES

  • Static
    • TYPE = THREAT
    • CHANGED MATES = 0
    • ADDED MATES = 2
    • REMOVED MATES = 0
  • Sets
    • Q(d);OGATEB::B(D),XQ(d)
    • Q(d);CHECK,OGATEB::B(D),XQ(d)
    • Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(C),XQ(d)
    • R(b);OGATEB::R(A),XR(b)
    • R(b);CHECK,OGATEB::R(A),XR(b)
    • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(C),XR(b)
    • R(c);OGATEB::R(E),XR(c)
    • R(c);CHECK,OGATEB::R(E),XR(c)
  • Tries
    • Try
      • K(B);S_FLIGHT
      • Vars
        • Q(d);CHECK,OGATEB::B(D),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • Q(d);N_SPINQ(d),OGATE,XB(D)::QAB(C),XQ(d)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(C),XR(b)
        • Q(d);OGATEB::B(D),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • K(B);P-FLIGHT
      • Vars
        • Q(d);CHECK,OGATEB::B(D),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(C),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(C),XR(b)
        • Q(d);OGATEB::B(D),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • K(B);S_FLIGHT
      • Vars
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(C),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(C),XR(b)
        • Q(d);OGATEB::B(D),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • K(B);S_FLIGHT
      • Vars
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(C),XQ(d)
        • R(b);N_SPINR(b),OGATE,P_PINQ(C),P_SPINR(c),XR(A)::QAB1(C),XR(b)
        • Q(d);OGATEB::B(D),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
        • R(c);OGATEB,P_PINB(D)::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • B(D);
      • Vars
        • Q(d);CHECK,OGATEB::B(D),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • Q(d);N_SPINQ(d),OGATE,XB(D)::QAB(C),XQ(d)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(C),XR(b)
        • Q(d);OGATEB::B(D),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • R(A);
      • Vars
        • Q(d);CHECK,OGATEB::B(D),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(C),XQ(d)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAR2(C),XR(b)
        • Q(d);OGATEB::B(D),XQ(d)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • R(E);
      • Vars
        • Q(d);CHECK,OGATEB::B(D),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(C),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(C),XR(b)
        • Q(d);OGATEB::B(D),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
      • Refutation
        • R(c);XR(E)
    • Try
      • R(E);
      • Vars
        • Q(d);CHECK,OGATEB::B(D),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(C),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(C),XR(b)
        • Q(d);OGATEB::B(D),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • R(E);
      • Vars
        • Q(d);CHECK,OGATEB::B(D),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(C),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(C),XR(b)
        • Q(d);OGATEB::B(D),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • R(E);
      • Vars
        • Q(d);CHECK,OGATEB::B(D),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(C),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(C),XR(b)
        • Q(d);OGATEB::B(D),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);CHECK,XR(E)
    • Try
      • R(E);
      • Vars
        • Q(d);CHECK,OGATEB::B(D),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(C),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(C),XR(b)
        • Q(d);OGATEB::B(D),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • Q(C);
      • Threat
        • DUALS(3)
      • Vars
        • Q(d);CHECK,OGATEB::B(D),XQ(d)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • R(b);OGATE,XQ(C)::R(A),XR(b)
      • Refutation
        • Q(d);CHECK,N_SPINQ(d),XB(D)
    • Try
      • Q(C);
      • Threat
        • DUALS(2)
      • Vars
        • Q(d);CHECK,OGATEB::B(D),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • R(b);N_SPINR(b),P_SPINR(c),SBLOCK,XR(A)::QAB1(C),XQ(d)
        • R(c);XR(E)::QAB1(C),XQ(d)
      • Refutation
        • Q(d);CHECK,N_SPINQ(d),XB(D)
    • Try
      • Q(C);
      • Threat
        • DUALS(2)
      • Vars
        • Q(d);CHECK,OGATEB::B(D),XQ(d)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • R(c);XR(E)::QAB1(C),XQ(d)
      • Refutation
        • Q(d);CHECK,N_SPINQ(d),XB(D)
    • Try
      • Q(C);
      • Vars
        • Q(d);CHECK,OGATEB::B(D),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(C),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(C),XR(b)
        • Q(d);OGATEB::B(D),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
  • Actual
    • Q(C);
    • Threat
      • B(D),XQ(d)
    • Vars
      • Q(d);CHECK,OGATEB::B(D),XQ(d)
      • Q(d);CHECK,OGATE,XB(D)::QAB(C),XQ(d)
      • R(b);CHECK,OGATEB::R(A),XR(b)
      • R(c);CHECK,OGATEB::R(E),XR(c)
      • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(C),XR(b)
      • R(c);OGATE,XR(E)::QAB(C),XR(c)
      • Q(d);OGATEB::B(D),XQ(d)
      • R(b);OGATEB::R(A),XR(b)
      • R(c);OGATEB::R(E),XR(c)
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).