MESON Chess Problem Database

Problem Display
PID: 134018 (kr3R2/pb2pR2/8/1p6/1K6/8/8/Q6B w - - 0 1)

Lewis, Robert Tony

The Field, 1964

(First published on Thu May 14 1964)

kr3R2/pb2pR2/8/1p6/1K6/8/8/Q6B

#2

5 + 6

SOLUTION

  • SOUND
  • Sets
    • 1...Rc8
      • 2.Rxc8#
    • 1...Rd8
      • 2.Rxd8#
    • 1...Re8
      • 2.Rxe8#
    • 1...Rxf8
      • 2.Rxf8#
    • 1...Bxh1
      • 2.Qxh1#
    • 1...Bg2
      • 2.Bxg2#
    • 1...Bf3
      • 2.Bxf3#
    • 1...Be4
      • 2.Bxe4#
    • 1...Bd5
      • 2.Bxd5#
    • 1...Bc6
      • 2.Bxc6#
    • 1...a5+
      • 2.Qxa5#
    • 1...a6
      • 2.Qxa6#
    • 1...e5
      • 2.Bxb7#
    • 1...e6
      • 2.Bxb7#
  • Tries
    • 1.Kb3?
      • 1...Bd5+
        • 2.Bxd5#
      • 1...Rxf8
        • 2.Rxf8#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a5
        • 2.Qxa5#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...b4!
    • 1.Kc3?
      • 1...Rc8+
        • 2.Rxc8#
      • 1...Rxf8
        • 2.Rxf8#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a5
        • 2.Qxa5#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...b4+!
    • 1.Kc5?
      • 1...Rc8+
        • 2.Rxc8#
      • 1...Rxf8
        • 2.Rxf8#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a5
        • 2.Qxa5#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...b4!
    • 1.Bg2?
      • 1...a5+
        • 2.Qxa5#
      • 1...Rxf8
        • 2.Rxf8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Bxg2!
    • 1.Bf3?
      • 1...a5+
        • 2.Qxa5#
      • 1...Rxf8
        • 2.Rxf8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Bxf3!
    • 1.Be4?
      • 1...a5+
        • 2.Qxa5#
      • 1...Rxf8
        • 2.Rxf8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Bxe4!
    • 1.Bd5?
      • 1...a5+
        • 2.Qxa5#
      • 1...Rxf8
        • 2.Rxf8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Bxd5!
    • 1.Bc6?
      • 1...a5+
        • 2.Qxa5#
      • 1...Rxf8
        • 2.Rxf8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Bxc6!
    • 1.Rxe7?
      • threat
        • 2.Bxb7#
      • 1...a5+
        • 2.Qxa5#
      • 1...Bxh1
        • 2.Rxa7#
        • 2.Qxh1#
        • 2.Qxa7#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rexe8#
        • 2.Rfxe8#
      • 1...a6
        • 2.Qxa6#
      • 1...Bg2
        • 2.Bxg2#
        • 2.Rxa7#
        • 2.Qxa7#
      • 1...Bf3
        • 2.Bxf3#
        • 2.Rxa7#
        • 2.Qxa7#
      • 1...Be4
        • 2.Bxe4#
        • 2.Rxa7#
        • 2.Qxa7#
      • 1...Bd5
        • 2.Bxd5#
        • 2.Rxa7#
        • 2.Qxa7#
      • 1...Bc6
        • 2.Bxc6#
        • 2.Rxa7#
        • 2.Qxa7#
      • 1...Rxf8!
    • 1.Rg7?
      • 1...a5+
        • 2.Qxa5#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Rxf8!
    • 1.Rh7?
      • 1...a5+
        • 2.Qxa5#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Rxf8!
    • 1.Rc8?
      • 1...a5+
        • 2.Qxa5#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Rxc8!
    • 1.Rd8?
      • 1...a5+
        • 2.Qxa5#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Rxd8!
    • 1.Re8?
      • 1...a5+
        • 2.Qxa5#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Rxe8!
    • 1.Rg8?
      • 1...a5+
        • 2.Qxa5#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rfxf8#
        • 2.Rgxf8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Rxg8!
    • 1.Qe5?
      • threat
        • 2.Rxb8#
        • 2.Qxb8#
      • 1...Rxf8
        • 2.Rxf8#
      • 1...a6
        • 2.Qxb8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...a5+!
    • 1.Qa2?
      • 1...a5+
        • 2.Qxa5#
      • 1...Rxf8
        • 2.Rxf8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Bg2
        • 2.Bxg2#
        • 2.Qxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
        • 2.Qxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Bxh1!
    • 1.Qa3?
      • 1...a5+
        • 2.Qxa5#
      • 1...Rxf8
        • 2.Rxf8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
        • 2.Qxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Bxh1!
    • 1.Qa5?
      • 1...Rxf8
        • 2.Rxf8#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
        • 2.Qxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#
      • 1...Bxh1!
    • 1.Qa6?
      • threat
        • 2.Bxb7#
        • 2.Qxb7#
      • 1...Rxf8
        • 2.Rxf8#
        • 2.Qxb7#
      • 1...Rc8
        • 2.Rxc8#
        • 2.Qxb7#
      • 1...Rd8
        • 2.Rxd8#
        • 2.Qxb7#
      • 1...Re8
        • 2.Rxe8#
        • 2.Qxb7#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
        • 2.Qxc6#
      • 1...Bxh1!
  • Keys
    • 1.Rh8!
      • 1...a5+
        • 2.Qxa5#
      • 1...Rxh8
        • 2.Qxh8#
      • 1...Bxh1
        • 2.Qxh1#
      • 1...Rc8
        • 2.Rxc8#
      • 1...Rd8
        • 2.Rxd8#
      • 1...Re8
        • 2.Rxe8#
      • 1...Rf8
        • 2.Rfxf8#
        • 2.Rhxf8#
      • 1...Rg8
        • 2.Rxg8#
      • 1...Bg2
        • 2.Bxg2#
      • 1...Bf3
        • 2.Bxf3#
      • 1...Be4
        • 2.Bxe4#
      • 1...Bd5
        • 2.Bxd5#
      • 1...Bc6
        • 2.Bxc6#
      • 1...a6
        • 2.Qxa6#
      • 1...e5
        • 2.Bxb7#
      • 1...e6
        • 2.Bxb7#

FEATURES

  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 2
    • REMOVED MATES = 1
  • Sets
    • R(f);OGATEB::R(E),XR(f)
    • R(f);N_SPINR(f),OGATE,XR(E)::R(D),XR(f)
    • B(c);N_SPINB(c),OGATE,XB(B)::QAB(A),XB(c)
    • B(c);OGATEB::B(B),XB(c)
    • P(b);CHECK,OGATEB::QAR(A),XP(b)
    • P(b);OGATEB::QAR2(A),XP(b)
    • P(d);::B(B),XB(c)
  • Tries
    • Try
      • K(C);P-FLIGHT
      • Vars
        • B(c);CHECK,OGATEB::B(B),XB(c)
        • R(f);N_SPINR(f),OGATE,XR(E)::R(D),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(B)::QAB(A),XB(c)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR(A),XP(b)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • P(a);
    • Try
      • K(C);S_FLIGHT
      • Vars
        • R(f);CHECK,OGATEB::R(E),XR(f)
        • R(f);N_SPINR(f),OGATE,XR(E)::R(D),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(B)::QAB(A),XB(c)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR(A),XP(b)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • P(a);CHECK
    • Try
      • K(C);S_FLIGHT
      • Vars
        • R(f);CHECK,OGATEB::R(E),XR(f)
        • R(f);N_SPINR(f),OGATE,XR(E)::R(D),XR(f)
        • B(c);N_SPINB(c),OGATE,XB(B)::QAB(A),XB(c)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR(A),XP(b)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • P(a);
    • Try
      • B(B);
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • R(f);N_SPINR(f),OGATE,XR(E)::R(D),XR(f)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • B(c);N_SPINB(c),XB(B)
    • Try
      • B(B);
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • R(f);N_SPINR(f),OGATE,XR(E)::R(D),XR(f)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • B(c);N_SPINB(c),XB(B)
    • Try
      • B(B);
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • R(f);N_SPINR(f),OGATE,XR(E)::R(D),XR(f)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • B(c);N_SPINB(c),XB(B)
    • Try
      • B(B);
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • R(f);N_SPINR(f),OGATE,XR(E)::R(D),XR(f)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • B(c);N_SPINB(c),XB(B)
    • Try
      • B(B);
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • R(f);N_SPINR(f),OGATE,XR(E)::R(D),XR(f)
        • R(f);OGATEB::R(E),XR(f)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • B(c);N_SPINB(c),XB(B)
    • Try
      • R(D);XP(d)
      • Threat
        • B(B),XB(c)
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • R(f);OGATEB::R(E),XR(f)
        • P(b);OGATEB::QAR2(A),XP(b)
      • Refutation
        • R(f);N_SPINR(f),XR(E)
    • Try
      • R(D);
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • B(c);N_SPINB(c),OGATE,XB(B)::QAB(A),XB(c)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • R(f);N_SPINR(f),XR(E)
    • Try
      • R(D);
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • B(c);N_SPINB(c),OGATE,XB(B)::QAB(A),XB(c)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • R(f);N_SPINR(f),XR(E)
    • Try
      • R(E);
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • B(c);N_SPINB(c),OGATE,XB(B)::QAB(A),XB(c)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • R(f);N_SPINR(f),XR(E)
    • Try
      • R(E);
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • B(c);N_SPINB(c),OGATE,XB(B)::QAB(A),XB(c)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • R(f);N_SPINR(f),XR(E)
    • Try
      • R(E);
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • B(c);N_SPINB(c),OGATE,XB(B)::QAB(A),XB(c)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • R(f);N_SPINR(f),XR(E)
    • Try
      • R(E);
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • B(c);N_SPINB(c),OGATE,XB(B)::QAB(A),XB(c)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • R(f);N_SPINR(f),XR(E)
    • Try
      • Q(A);N_PINP(b)
      • Threat
        • DUALS(2)
      • Vars
        • R(f);N_SPINR(f),OGATE,XR(E)::R(D),XR(f)
        • P(b);::QAR1(A),XR(f)
        • R(f);OGATEB::R(E),XR(f)
      • Refutation
        • P(b);CHECK
    • Try
      • Q(A);
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • R(f);N_SPINR(f),OGATE,XR(E)::R(D),XR(f)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • B(c);N_SPINB(c),XB(B)
    • Try
      • Q(A);
      • Vars
        • P(b);CHECK,OGATEB::QAR(A),XP(b)
        • R(f);N_SPINR(f),OGATE,XR(E)::R(D),XR(f)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • B(c);N_SPINB(c),XB(B)
    • Try
      • Q(A);
      • Vars
        • R(f);N_SPINR(f),OGATE,XR(E)::R(D),XR(f)
        • R(f);OGATEB::R(E),XR(f)
        • B(c);OGATEB::B(B),XB(c)
        • P(b);OGATEB::QAR2(A),XP(b)
        • P(d);::B(B),XB(c)
      • Refutation
        • B(c);N_SPINB(c),XB(B)
    • Try
      • Q(A);
      • Threat
        • DUALS(2)
      • Vars
        • B(c);OGATEB::B(B),XB(c)
      • Refutation
        • B(c);N_SPINB(c),XB(B)
  • Actual
    • R(E);
    • Vars
      • P(b);CHECK,OGATEB::QAR(A),XP(b)
      • R(f);N_SPINR(f),OGATE,XR(E)::QAB1(A),XR(f)
      • B(c);N_SPINB(c),OGATE,XB(B)::QAB(A),XB(c)
      • R(f);OGATEB::R(E),XR(f)
      • B(c);OGATEB::B(B),XB(c)
      • P(b);OGATEB::QAR2(A),XP(b)
      • P(d);::B(B),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).