MESON Chess Problem Database

Problem Display
PID: 247277 (R5rk/6qr/8/8/8/QK6/1B6/7R w - - 0 1)

Zarubin, Eduard

Uralski Problemist, 2010

R5rk/6qr/8/8/8/QK6/1B6/7R

#2

5 + 4

3713 Snap 2021

SOLUTION

  • SOUND
  • Sets
    • 1...Qxb2+
      • 2.Qxb2#
    • 1...Qc3+
      • 2.Bxc3#
    • 1...Qd4
      • 2.Bxd4#
    • 1...Qe5
      • 2.Bxe5#
    • 1...Qf6
      • 2.Bxf6#
    • 1...Rh2
      • 2.Rxh2#
    • 1...Rh3+
      • 2.Rxh3#
    • 1...Rh4
      • 2.Rxh4#
    • 1...Rh5
      • 2.Rxh5#
    • 1...Rh6
      • 2.Rxh6#
    • 1...Rxa8
      • 2.Qxa8#
    • 1...Rb8+
      • 2.Rxb8#
    • 1...Rc8
      • 2.Rxc8#
    • 1...Rd8
      • 2.Rxd8#
    • 1...Re8
      • 2.Rxe8#
    • 1...Rf8
      • 2.Rxf8#
      • 2.Qxf8#
  • Tries
    • 1.Ka2?
      • 1...Qxb2+
        • 2.Qxb2#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qc3
        • 2.Bxc3#
        • 2.Qxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rh2
        • 2.Rxh2#
      • 1...Rh3
        • 2.Rxh3#
        • 2.Qxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rb8
        • 2.Rxb8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
        • 2.Qxf8#
      • 1...Rxh1!
    • 1.Kc2?
      • 1...Qxb2+
        • 2.Qxb2#
      • 1...Qc3+
        • 2.Bxc3#
        • 2.Qxc3#
      • 1...Rh2+
        • 2.Rxh2#
      • 1...Rc8+
        • 2.Rxc8#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rh3
        • 2.Rxh3#
        • 2.Qxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rb8
        • 2.Rxb8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
        • 2.Qxf8#
      • 1...Rxh1!
    • 1.Kb4?
      • 1...Qxb2+
        • 2.Qxb2#
      • 1...Qc3+
        • 2.Bxc3#
        • 2.Qxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Rh4+
        • 2.Rxh4#
      • 1...Rb8+
        • 2.Rxb8#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rh2
        • 2.Rxh2#
      • 1...Rh3
        • 2.Rxh3#
        • 2.Qxh3#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Rxh1!
    • 1.Kc4?
      • 1...Qc3+
        • 2.Bxc3#
        • 2.Qxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Rh4+
        • 2.Rxh4#
      • 1...Rc8+
        • 2.Rxc8#
      • 1...Qxb2
        • 2.Qxb2#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rh2
        • 2.Rxh2#
      • 1...Rh3
        • 2.Rxh3#
        • 2.Qxh3#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rb8
        • 2.Rxb8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
        • 2.Qxf8#
      • 1...Rxh1!
    • 1.Ba1?
      • 1...Qb2+
        • 2.Bxb2#
        • 2.Qxb2#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Rh3+
        • 2.Rxh3#
      • 1...Rb8+
        • 2.Rxb8#
      • 1...Qxa1
        • 2.Qxa1#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rh2
        • 2.Rxh2#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
        • 2.Qxf8#
      • 1...Rxh1!
    • 1.Rh2?
      • 1...Qxb2+
        • 2.Qxb2#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Rh3+
        • 2.Rxh3#
      • 1...Rb8+
        • 2.Rxb8#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
        • 2.Qxf8#
      • 1...Rxh2!
    • 1.Rh3?
      • 1...Qxb2+
        • 2.Qxb2#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Rb8+
        • 2.Rxb8#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
        • 2.Qxf8#
      • 1...Rxh3+!
    • 1.Rh4?
      • 1...Qxb2+
        • 2.Qxb2#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Rb8+
        • 2.Rxb8#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
        • 2.Qxf8#
      • 1...Rxh4!
    • 1.Rh5?
      • 1...Qxb2+
        • 2.Qxb2#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Rb8+
        • 2.Rxb8#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
        • 2.Qxf8#
      • 1...Rxh5!
    • 1.Rh6?
      • 1...Qxb2+
        • 2.Qxb2#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Rb8+
        • 2.Rxb8#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
        • 2.Qxf8#
      • 1...Rxh6!
    • 1.Rf8?
      • 1...Qxb2+
        • 2.Qxb2#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Rh3+
        • 2.Rxh3#
      • 1...Rxf8
        • 2.Qxf8#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rh2
        • 2.Rxh2#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rxh1!
    • 1.Qe7?
      • threat
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Rh3+
        • 2.Rxh3#
      • 1...Rb8+
        • 2.Rxb8#
      • 1...Rxh1
        • 2.Qxg7#
      • 1...Rxa8
        • 2.Qxg7#
      • 1...Rh2
        • 2.Rxh2#
        • 2.Qxg7#
      • 1...Rh4
        • 2.Rxh4#
        • 2.Qxh4#
        • 2.Qxg7#
      • 1...Rh5
        • 2.Rxh5#
        • 2.Qxg7#
      • 1...Rh6
        • 2.Rxh6#
        • 2.Qxg7#
      • 1...Rc8
        • 2.Rxc8#
        • 2.Qxg7#
      • 1...Rd8
        • 2.Rxd8#
        • 2.Qxd8#
        • 2.Qxg7#
      • 1...Re8
        • 2.Rxe8#
        • 2.Qxg7#
        • 2.Qxe8#
      • 1...Rf8
        • 2.Rxf8#
        • 2.Qxf8#
        • 2.Qxg7#
      • 1...Qd4
        • 2.Bxd4#
        • 2.Rxh7#
        • 2.Qxh7#
      • 1...Qe5
        • 2.Bxe5#
        • 2.Rxh7#
        • 2.Qxe5#
        • 2.Qxh7#
      • 1...Qf6
        • 2.Bxf6#
        • 2.Rxh7#
        • 2.Qxf6#
        • 2.Qxh7#
      • 1...Qxb2+!
    • 1.Qf8?
      • threat
        • 2.Bxg7#
        • 2.Qxg7#
        • 2.Qxg8#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Rh3+
        • 2.Rxh3#
      • 1...Rxh1
        • 2.Qxg7#
        • 2.Qxg8#
      • 1...Rxf8
        • 2.Rxf8#
      • 1...Rh2
        • 2.Rxh2#
        • 2.Qxg7#
        • 2.Qxg8#
      • 1...Rh4
        • 2.Rxh4#
        • 2.Qxg7#
        • 2.Qxg8#
      • 1...Rh5
        • 2.Rxh5#
        • 2.Qxg7#
        • 2.Qxg8#
      • 1...Rh6
        • 2.Rxh6#
        • 2.Qxg7#
        • 2.Qxg8#
      • 1...Qd4
        • 2.Bxd4#
        • 2.Qxg8#
      • 1...Qe5
        • 2.Bxe5#
        • 2.Qxg8#
      • 1...Qf6
        • 2.Bxf6#
        • 2.Qxf6#
        • 2.Qxg8#
      • 1...Qxb2+!
    • 1.Qa2?
      • 1...Qxb2+
        • 2.Qxb2#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Rh3+
        • 2.Rxh3#
      • 1...Rb8+
        • 2.Rxb8#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rh2
        • 2.Rxh2#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#
      • 1...Rxh1!
    • 1.Qa7?
      • threat
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Rh3+
        • 2.Rxh3#
      • 1...Rb8+
        • 2.Rxb8#
        • 2.Qxb8#
      • 1...Rxh1
        • 2.Qxg7#
      • 1...Rxa8
        • 2.Qxg7#
        • 2.Qxa8#
      • 1...Rh2
        • 2.Rxh2#
        • 2.Qxg7#
      • 1...Rh4
        • 2.Rxh4#
        • 2.Qxg7#
      • 1...Rh5
        • 2.Rxh5#
        • 2.Qxg7#
      • 1...Rh6
        • 2.Rxh6#
        • 2.Qxg7#
      • 1...Rc8
        • 2.Rxc8#
        • 2.Qxg7#
      • 1...Rd8
        • 2.Rxd8#
        • 2.Qxg7#
      • 1...Re8
        • 2.Rxe8#
        • 2.Qxg7#
      • 1...Rf8
        • 2.Rxf8#
        • 2.Qxg7#
      • 1...Qd4
        • 2.Bxd4#
        • 2.Rxh7#
        • 2.Qxd4#
        • 2.Qxh7#
      • 1...Qe5
        • 2.Bxe5#
        • 2.Rxh7#
        • 2.Qxh7#
      • 1...Qf6
        • 2.Bxf6#
        • 2.Rxh7#
        • 2.Qxh7#
      • 1...Qxb2+!
  • Keys
    • 1.Qa1!
      • threat
        • 2.Bxg7#
      • 1...Qxb2+
        • 2.Qxb2#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Rh3+
        • 2.Rxh3#
      • 1...Rb8+
        • 2.Rxb8#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rh2
        • 2.Rxh2#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rxf8#

Anticipated by 78676(1959)

FEATURES

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