MESON Chess Problem Database

Problem Display
PID: 65323 (k1r5/2PN1P2/1K2p3/1N1b4/1p6/r7/7Q/R1R4B w - - 0 1)

Morse, Christopher Jeremy

The Problemist Supplement, 2006

k1r5/2PN1P2/1K2p3/1N1b4/1p6/r7/7Q/R1R4B

#2

9 + 6

SOLUTION

  • SOUND
  • Sets
    • 1...Rxa1
      • 2.Rxa1#
    • 1...Ra2
      • 2.Rxa2#
      • 2.Qxa2#
    • 1...Ra4
      • 2.Rxa4#
    • 1...Ra5
      • 2.Rxa5#
    • 1...Ra6+
      • 2.Rxa6#
    • 1...Ra7
      • 2.Rxa7#
    • 1...Rxc7
      • 2.Sxc7#
    • 1...Rb8+
      • 2.cxb8Q#
      • 2.cxb8R#
    • 1...Rd8
      • 2.cxd8Q#
      • 2.cxd8R#
    • 1...Re8
      • 2.fxe8Q#
      • 2.fxe8R#
    • 1...Rg8
      • 2.fxg8Q#
      • 2.fxg8R#
    • 1...Rh8
      • 2.Qxh8#
    • 1...Bxh1
      • 2.Qxh1#
    • 1...Bg2
      • 2.Bxg2#
      • 2.Qxg2#
    • 1...Bf3
      • 2.Bxf3#
    • 1...Be4
      • 2.Bxe4#
    • 1...Bc6
      • 2.Bxc6#
    • 1...Bb7
      • 2.Bxb7#
    • 1...b3
      • 2.Rxa3#
    • 1...e5
      • 2.Bxd5#
  • Tries
    • 1.Sxa3?
      • threat
        • 2.Sb1#
        • 2.Sc2#
        • 2.Sc4#
        • 2.Sb5#
      • 1...Rb8+
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...bxa3
        • 2.Rxa3#
      • 1...Rxc7!
    • 1.Bg2?
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rxa1
        • 2.Rxa1#
      • 1...Rxc7
        • 2.Sxc7#
      • 1...Bxg2
        • 2.Qxg2#
      • 1...Ra2
        • 2.Rxa2#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rd8
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rh8
        • 2.Qxh8#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...b3
        • 2.Rxa3#
      • 1...e5
        • 2.Bxd5#
      • 1...Rf8!
    • 1.Ra2?
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rxa2
        • 2.Qxa2#
      • 1...Rxc7
        • 2.Sxc7#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rd8
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rh8
        • 2.Qxh8#
      • 1...Bg2
        • 2.Bxg2#
        • 2.Qxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...b3
        • 2.Rxa3#
      • 1...e5
        • 2.Bxd5#
      • 1...Rf8!
    • 1.Rcb1?
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rxa1
        • 2.Rxa1#
      • 1...Rxc7
        • 2.Sxc7#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Ra2
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rd8
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rh8
        • 2.Qxh8#
      • 1...Bg2
        • 2.Bxg2#
        • 2.Qxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...b3
        • 2.Rxa3#
      • 1...e5
        • 2.Bxd5#
      • 1...Rf8!
    • 1.Rd1?
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rxa1
        • 2.Rxa1#
      • 1...Rxc7
        • 2.Sxc7#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Ra2
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rd8
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rh8
        • 2.Qxh8#
      • 1...Bg2
        • 2.Bxg2#
        • 2.Qxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...b3
        • 2.Rxa3#
      • 1...e5
        • 2.Bxd5#
      • 1...Rf8!
    • 1.Re1?
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rxa1
        • 2.Rxa1#
      • 1...Rxc7
        • 2.Sxc7#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Ra2
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rd8
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rh8
        • 2.Qxh8#
      • 1...Bg2
        • 2.Bxg2#
        • 2.Qxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...b3
        • 2.Rxa3#
      • 1...e5
        • 2.Bxd5#
      • 1...Rf8!
    • 1.Rf1?
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rxa1
        • 2.Rxa1#
      • 1...Rxc7
        • 2.Sxc7#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Ra2
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rd8
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rh8
        • 2.Qxh8#
      • 1...Bg2
        • 2.Bxg2#
        • 2.Qxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...b3
        • 2.Rxa3#
      • 1...e5
        • 2.Bxd5#
      • 1...Rf8!
    • 1.Rg1?
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rxa1
        • 2.Rxa1#
      • 1...Rxc7
        • 2.Sxc7#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Ra2
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rd8
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.Rxg8#
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rh8
        • 2.Qxh8#
      • 1...Bg2
        • 2.Bxg2#
        • 2.Qxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...b3
        • 2.Rxa3#
      • 1...e5
        • 2.Bxd5#
      • 1...Rf8!
    • 1.Qh3?
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rxa1
        • 2.Rxa1#
      • 1...Rxc7
        • 2.Sxc7#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Ra2
        • 2.Rxa2#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rd8
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rh8
        • 2.Qxh8#
      • 1...Bg2
        • 2.Bxg2#
        • 2.Qxg2#
      • 1...Bf3
        • 2.Bxf3#
        • 2.Qxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...b3
        • 2.Rxa3#
      • 1...e5
        • 2.Bxd5#
      • 1...Rf8!
    • 1.Qh4?
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rxa1
        • 2.Rxa1#
      • 1...Rxc7
        • 2.Sxc7#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Ra2
        • 2.Rxa2#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rd8
        • 2.Qxd8#
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rh8
        • 2.Qxh8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
        • 2.Qxe4#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...b3
        • 2.Rxa3#
      • 1...e5
        • 2.Bxd5#
      • 1...Rf8!
    • 1.Qh5?
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rxa1
        • 2.Rxa1#
      • 1...Rxc7
        • 2.Sxc7#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Ra2
        • 2.Rxa2#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rd8
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rh8
        • 2.Qxh8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
        • 2.Qxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...b3
        • 2.Rxa3#
      • 1...e5
        • 2.Bxd5#
      • 1...Rf8!
    • 1.Qh7?
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rxa1
        • 2.Rxa1#
      • 1...Rxc7
        • 2.Sxc7#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Ra2
        • 2.Rxa2#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rd8
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.Qxg8#
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rh8
        • 2.Qxh8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
        • 2.Qxe4#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...b3
        • 2.Rxa3#
      • 1...e5
        • 2.Bxd5#
      • 1...Rf8!
    • 1.Qh8?
      • threat
        • 2.Qxc8#
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.Qxb8#
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rf8
        • 2.Qxf8#
      • 1...Rd8
        • 2.Qxd8#
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.Qxe8#
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.Qxg8#
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxh8!
    • 1.f8Q?
      • threat
        • 2.Qxc8#
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.Qxb8#
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rd8
        • 2.Qxd8#
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.Qxe8#
      • 1...Rxf8!
    • 1.f8R?
      • threat
        • 2.Rxc8#
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.Rxb8#
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rd8
        • 2.Rxd8#
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rxf8!
  • Keys
    • 1.Qh6!
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rb8+
        • 2.cxb8Q#
        • 2.cxb8R#
      • 1...Rxa1
        • 2.Rxa1#
      • 1...Rxc7
        • 2.Sxc7#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Rf8
        • 2.Qxf8#
      • 1...Ra2
        • 2.Rxa2#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rd8
        • 2.cxd8Q#
        • 2.cxd8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rh8
        • 2.Qxh8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bc6
        • 2.Bxc6#
      • 1...Bb7
        • 2.Bxb7#
      • 1...b3
        • 2.Rxa3#
      • 1...e5
        • 2.Bxd5#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 3
    • REMOVED MATES = 0
  • Sets
    • R(a);N_SPINR(a),OGATE,XR(A)::R(B),XR(a)
    • R(a);OGATE::R(A),XR(a)
    • R(a);CHECK,OGATE::R(A),XR(a)
    • R(a);OGATE::R1(A),XR(a)
    • R(f);XP(G)::S(E),XR(f)
    • R(f);CHECK,OGATE::PXR(f)=Q
    • R(f);OGATE::PXR(f)=Q
    • R(f);OGATEB::QAB1(D),XR(f)
    • B(c);N_SPINB(c),OGATE,XB(C)::QAB(D),XB(c)
    • B(c);OGATEB::B(C),XB(c)
    • B(c);OGATE::B(C),XB(c)
    • P(b);N_GUARD::R(A),XR(a)
    • P(d);N_GUARD::B(C),XB(c)
  • Tries
    • Try
      • S(E);XR(a)
      • Threat
        • DUALS(4)
      • Vars
        • R(f);CHECK,OGATE::PXR(f)=Q
        • P(b);OGATE,P_SPINP(b),XS(E)::R(A),XP(b)
      • Refutation
        • R(f);XP(G)
    • Try
      • B(C);
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);CHECK,OGATE::PXR(f)=Q
        • R(a);N_SPINR(a),OGATE,XR(A)::R(B),XR(a)
        • R(f);XP(G)::S(E),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(C)::QAB(D),XB(c)
        • R(a);OGATEB::R(A),XR(a)
        • R(a);OGATE::R(A),XR(a)
        • R(a);OGATE::R1(A),XR(a)
        • R(f);OGATE::PXR(f)=Q
        • R(f);OGATEB::QAB1(D),XR(f)
        • B(c);OGATEB::B(C),XB(c)
        • B(c);OGATE::B(C),XB(c)
        • P(b);N_GUARD::R(A),XR(a)
        • P(d);N_GUARD::B(C),XB(c)
      • Refutation
        • R(f);
    • Try
      • R(A);
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);CHECK,OGATE::PXR(f)=Q
        • R(a);N_SPINR(a),OGATE,XR(A)::QAR(D),XR(a)
        • R(f);XP(G)::S(E),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(C)::QAB(D),XB(c)
        • R(a);OGATE::R(A),XR(a)
        • R(a);OGATE::R1(A),XR(a)
        • R(f);OGATE::PXR(f)=Q
        • R(f);OGATEB::QAB1(D),XR(f)
        • B(c);OGATEB::B(C),XB(c)
        • B(c);OGATE::B(C),XB(c)
        • P(b);N_GUARD::R(A),XR(a)
        • P(d);N_GUARD::B(C),XB(c)
      • Refutation
        • R(f);
    • Try
      • R(B);
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);CHECK,OGATE::PXR(f)=Q
        • R(a);N_SPINR(a),OGATE,XR(A)::R(B),XR(a)
        • R(f);XP(G)::S(E),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(C)::QAB(D),XB(c)
        • R(a);OGATE::R(A),XR(a)
        • R(a);OGATE::R1(A),XR(a)
        • R(f);OGATE::PXR(f)=Q
        • R(f);OGATEB::QAB1(D),XR(f)
        • B(c);OGATEB::B(C),XB(c)
        • B(c);OGATE::B(C),XB(c)
        • P(b);N_GUARD::R(A),XR(a)
        • P(d);N_GUARD::B(C),XB(c)
      • Refutation
        • R(f);
    • Try
      • R(B);
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);CHECK,OGATE::PXR(f)=Q
        • R(a);N_SPINR(a),OGATE,XR(A)::R(B),XR(a)
        • R(f);XP(G)::S(E),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(C)::QAB(D),XB(c)
        • R(a);OGATE::R(A),XR(a)
        • R(a);OGATE::R1(A),XR(a)
        • R(f);OGATE::PXR(f)=Q
        • R(f);OGATEB::QAB1(D),XR(f)
        • B(c);OGATEB::B(C),XB(c)
        • B(c);OGATE::B(C),XB(c)
        • P(b);N_GUARD::R(A),XR(a)
        • P(d);N_GUARD::B(C),XB(c)
      • Refutation
        • R(f);
    • Try
      • R(B);
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);CHECK,OGATE::PXR(f)=Q
        • R(a);N_SPINR(a),OGATE,XR(A)::R(B),XR(a)
        • R(f);XP(G)::S(E),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(C)::QAB(D),XB(c)
        • R(a);OGATE::R(A),XR(a)
        • R(a);OGATE::R1(A),XR(a)
        • R(f);OGATE::PXR(f)=Q
        • R(f);OGATEB::QAB1(D),XR(f)
        • B(c);OGATEB::B(C),XB(c)
        • B(c);OGATE::B(C),XB(c)
        • P(b);N_GUARD::R(A),XR(a)
        • P(d);N_GUARD::B(C),XB(c)
      • Refutation
        • R(f);
    • Try
      • R(B);
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);CHECK,OGATE::PXR(f)=Q
        • R(a);N_SPINR(a),OGATE,XR(A)::R(B),XR(a)
        • R(f);XP(G)::S(E),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(C)::QAB(D),XB(c)
        • R(a);OGATE::R(A),XR(a)
        • R(a);OGATE::R1(A),XR(a)
        • R(f);OGATE::PXR(f)=Q
        • R(f);OGATEB::QAB1(D),XR(f)
        • B(c);OGATEB::B(C),XB(c)
        • B(c);OGATE::B(C),XB(c)
        • P(b);N_GUARD::R(A),XR(a)
        • P(d);N_GUARD::B(C),XB(c)
      • Refutation
        • R(f);
    • Try
      • R(B);
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);CHECK,OGATE::PXR(f)=Q
        • R(a);N_SPINR(a),OGATE,XR(A)::R(B),XR(a)
        • R(f);XP(G)::S(E),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(C)::QAB(D),XB(c)
        • R(a);OGATE::R(A),XR(a)
        • R(a);OGATE::R1(A),XR(a)
        • R(f);OGATE::PXR(f)=Q
        • R(f);OGATEB::QAB1(D),XR(f)
        • B(c);OGATEB::B(C),XB(c)
        • B(c);OGATE::B(C),XB(c)
        • P(b);N_GUARD::R(A),XR(a)
        • P(d);N_GUARD::B(C),XB(c)
      • Refutation
        • R(f);
    • Try
      • Q(D);
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);CHECK,OGATE::PXR(f)=Q
        • R(a);N_SPINR(a),OGATE,XR(A)::R(B),XR(a)
        • R(f);XP(G)::S(E),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(C)::QAB(D),XB(c)
        • R(a);OGATEB::R(A),XR(a)
        • R(a);OGATE::R(A),XR(a)
        • R(a);OGATE::R1(A),XR(a)
        • R(f);OGATE::PXR(f)=Q
        • R(f);OGATEB::QAB1(D),XR(f)
        • B(c);OGATEB::B(C),XB(c)
        • B(c);OGATE::B(C),XB(c)
        • P(b);N_GUARD::R(A),XR(a)
        • P(d);N_GUARD::B(C),XB(c)
      • Refutation
        • R(f);
    • Try
      • Q(D);
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);CHECK,OGATE::PXR(f)=Q
        • R(a);N_SPINR(a),OGATE,XR(A)::R(B),XR(a)
        • R(f);XP(G)::S(E),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(C)::QAB(D),XB(c)
        • R(a);OGATEB::R(A),XR(a)
        • R(a);OGATE::R(A),XR(a)
        • R(a);OGATE::R1(A),XR(a)
        • R(f);OGATE::PXR(f)=Q
        • R(f);OGATEB::QAB1(D),XR(f)
        • B(c);OGATEB::B(C),XB(c)
        • B(c);OGATE::B(C),XB(c)
        • P(b);N_GUARD::R(A),XR(a)
        • P(d);N_GUARD::B(C),XB(c)
      • Refutation
        • R(f);
    • Try
      • Q(D);
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);CHECK,OGATE::PXR(f)=Q
        • R(a);N_SPINR(a),OGATE,XR(A)::R(B),XR(a)
        • R(f);XP(G)::S(E),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(C)::QAB(D),XB(c)
        • R(a);OGATEB::R(A),XR(a)
        • R(a);OGATE::R(A),XR(a)
        • R(a);OGATE::R1(A),XR(a)
        • R(f);OGATE::PXR(f)=Q
        • R(f);OGATEB::QAB1(D),XR(f)
        • B(c);OGATEB::B(C),XB(c)
        • B(c);OGATE::B(C),XB(c)
        • P(b);N_GUARD::R(A),XR(a)
        • P(d);N_GUARD::B(C),XB(c)
      • Refutation
        • R(f);
    • Try
      • Q(D);
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);CHECK,OGATE::PXR(f)=Q
        • R(a);N_SPINR(a),OGATE,XR(A)::R(B),XR(a)
        • R(f);XP(G)::S(E),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(C)::QAB(D),XB(c)
        • R(a);OGATEB::R(A),XR(a)
        • R(a);OGATE::R(A),XR(a)
        • R(a);OGATE::R1(A),XR(a)
        • R(f);OGATE::PXR(f)=Q
        • R(f);OGATEB::QAB1(D),XR(f)
        • B(c);OGATEB::B(C),XB(c)
        • B(c);OGATE::B(C),XB(c)
        • P(b);N_GUARD::R(A),XR(a)
        • P(d);N_GUARD::B(C),XB(c)
      • Refutation
        • R(f);
    • Try
      • Q(D);
      • Threat
        • QAR2(D),XR(f)
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);OGATEB::QAR(D),XR(f)
      • Refutation
        • R(f);XQ(D)
    • Try
      • P(I);
      • Threat
        • QAR2(I),XR(f)
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);OGATEB::QAR(I),XR(f)
      • Refutation
        • R(f);XQ(I)
    • Try
      • P(I);
      • Threat
        • R(I),XR(f)
      • Vars
        • R(a);CHECK,OGATE::R(A),XR(a)
        • R(f);OGATEB::R(I),XR(f)
      • Refutation
        • R(f);XR(I)
  • Actual
    • Q(D);
    • Vars
      • R(a);CHECK,OGATE::R(A),XR(a)
      • R(f);CHECK,OGATE::PXR(f)=Q
      • R(a);N_SPINR(a),OGATE,XR(A)::R(B),XR(a)
      • R(f);XP(G)::S(E),XR(f)
      • B(c);N_SPINB(c),OGATE,XB(C)::QAB(D),XB(c)
      • R(f);OGATEB::QAR(D),XR(f)
      • R(a);OGATEB::R(A),XR(a)
      • R(a);OGATE::R(A),XR(a)
      • R(a);OGATE::R1(A),XR(a)
      • R(f);OGATE::PXR(f)=Q
      • R(f);OGATEB::QAB1(D),XR(f)
      • B(c);OGATEB::B(C),XB(c)
      • B(c);OGATE::B(C),XB(c)
      • P(b);N_GUARD::R(A),XR(a)
      • P(d);N_GUARD::B(C),XB(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).