MESON Chess Problem Database

Problem Display
PID: 134891 (2Q4B/7B/K1p5/8/6N1/p7/pb5R/kr5R w - - 0 1)

Ferron de la Fuente, Ernesto

The Problemist, 2009

2Q4B/7B/K1p5/8/6N1/p7/pb5R/kr5R

#2

7 + 6

136 Problem Observer 2012

SOLUTION

  • SOUND
  • Sets
    • 1...Rc1
      • 2.Rxc1#
    • 1...Rd1
      • 2.Rxd1#
    • 1...Re1
      • 2.Rxe1#
    • 1...Rf1
      • 2.Rxf1#
    • 1...Rg1
      • 2.Rxg1#
    • 1...Rxh1
      • 2.Rxh1#
    • 1...Bc3
      • 2.Bxc3#
    • 1...Bd4
      • 2.Bxd4#
    • 1...Be5
      • 2.Bxe5#
    • 1...Bf6
      • 2.Bxf6#
    • 1...Bg7
      • 2.Bxg7#
    • 1...Bxh8
      • 2.Qxh8#
  • Tries
    • 1.Ka5?
      • 1...Bc3+
        • 2.Bxc3#
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...c5!
    • 1.Ka7?
      • 1...Bd4+
        • 2.Bxd4#
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...c5!
    • 1.Sf2?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...c5!
    • 1.Sh6?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...c5!
    • 1.Bc2?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...c5!
    • 1.Bd3?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...c5!
    • 1.Be4?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...c5!
    • 1.Bf5?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...c5!
    • 1.Bg6?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...c5!
    • 1.Bg8?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Rxa2#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
        • 2.Rxa2#
      • 1...Bd4
        • 2.Bxd4#
        • 2.Rxa2#
      • 1...Be5
        • 2.Bxe5#
        • 2.Rxa2#
      • 1...Bf6
        • 2.Bxf6#
        • 2.Rxa2#
      • 1...Bg7
        • 2.Bxg7#
        • 2.Rxa2#
      • 1...c5!
    • 1.Rxb2?
      • threat
        • 2.Rbxb1#
        • 2.Rc2#
        • 2.Rd2#
        • 2.Re2#
        • 2.Rf2#
        • 2.Rg2#
        • 2.Rbh2#
        • 2.Rb3#
        • 2.Rb4#
        • 2.Rb5#
        • 2.Rb6#
        • 2.Rb7#
        • 2.Rb8#
      • 1...Rxh1
        • 2.Rb1#
        • 2.Rd2#
        • 2.Re2#
        • 2.Rf2#
        • 2.Rg2#
        • 2.Rh2#
        • 2.Rb3#
        • 2.Rb4#
        • 2.Rb5#
        • 2.Rb6#
        • 2.Rb7#
        • 2.Rb8#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Rb1#
        • 2.Rd2#
        • 2.Re2#
        • 2.Rf2#
        • 2.Rg2#
        • 2.Rbh2#
        • 2.Rb3#
        • 2.Rb4#
        • 2.Rb5#
        • 2.Rb6#
        • 2.Rb7#
        • 2.Rb8#
      • 1...Rd1
        • 2.Rxd1#
        • 2.Rb1#
        • 2.Rd2#
        • 2.Re2#
        • 2.Rf2#
        • 2.Rg2#
        • 2.Rbh2#
        • 2.Rb3#
        • 2.Rb4#
        • 2.Rb5#
        • 2.Rb6#
        • 2.Rb7#
        • 2.Rb8#
      • 1...Re1
        • 2.Rxe1#
        • 2.Rb1#
        • 2.Rd2#
        • 2.Re2#
        • 2.Rf2#
        • 2.Rg2#
        • 2.Rbh2#
        • 2.Rb3#
        • 2.Rb4#
        • 2.Rb5#
        • 2.Rb6#
        • 2.Rb7#
        • 2.Rb8#
      • 1...Rf1
        • 2.Rxf1#
        • 2.Rb1#
        • 2.Rd2#
        • 2.Re2#
        • 2.Rf2#
        • 2.Rg2#
        • 2.Rbh2#
        • 2.Rb3#
        • 2.Rb4#
        • 2.Rb5#
        • 2.Rb6#
        • 2.Rb7#
        • 2.Rb8#
      • 1...Rg1
        • 2.Rxg1#
        • 2.Rb1#
        • 2.Rd2#
        • 2.Re2#
        • 2.Rf2#
        • 2.Rg2#
        • 2.Rbh2#
        • 2.Rb3#
        • 2.Rb4#
        • 2.Rb5#
        • 2.Rb6#
        • 2.Rb7#
        • 2.Rb8#
      • 1...axb2!
    • 1.Rh3?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...c5!
    • 1.Rh4?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...c5!
    • 1.Rh5?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...c5!
    • 1.Rh6?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...c5!
    • 1.Qe6?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
        • 2.Qxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Bd4
        • 2.Bxd4#
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Be5
        • 2.Bxe5#
        • 2.Rxa2#
        • 2.Qxa2#
        • 2.Qxe5#
      • 1...Bf6
        • 2.Bxf6#
        • 2.Rxa2#
        • 2.Qxa2#
        • 2.Qxf6#
      • 1...Bg7
        • 2.Bxg7#
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...c5!
    • 1.Qxc6?
      • 1...Rxh1
        • 2.Rxh1#
        • 2.Qxh1#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
        • 2.Qxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
        • 2.Qxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...Bxh8!
    • 1.Qa8?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...c5!
    • 1.Qb8?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
        • 2.Qxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...c5!
    • 1.Qd8?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
        • 2.Qxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
        • 2.Qxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
        • 2.Qxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...c5!
    • 1.Qe8?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
        • 2.Qxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
        • 2.Qxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#
      • 1...c5!
    • 1.Qf8?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
        • 2.Qxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
        • 2.Qxf6#
      • 1...Bg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...c5!
    • 1.Qg8?
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Rxa2#
        • 2.Qxa2#
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Bd4
        • 2.Bxd4#
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Be5
        • 2.Bxe5#
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Bf6
        • 2.Bxf6#
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Bg7
        • 2.Bxg7#
        • 2.Rxa2#
        • 2.Qxa2#
        • 2.Qxg7#
      • 1...c5!
  • Keys
    • 1.Se3!
      • threat
        • 2.Sc2#
      • 1...Rxh1
        • 2.Rxh1#
      • 1...Bxh8
        • 2.Qxh8#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Bc3
        • 2.Bxc3#
      • 1...Bd4
        • 2.Bxd4#
      • 1...Be5
        • 2.Bxe5#
      • 1...Bf6
        • 2.Bxf6#
      • 1...Bg7
        • 2.Bxg7#

FEATURES

  • Static
    • TYPE = THREAT
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • R(b);OGATEB::R(A),XR(b)
    • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
    • B(d);OGATEB::B(G),XB(d)
    • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
  • Tries
    • Try
      • K(D);P-FLIGHT
      • Vars
        • B(d);CHECK,OGATEB::B(G),XB(d)
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • R(b);OGATEB::R(A),XR(b)
        • B(d);OGATEB::B(G),XB(d)
      • Refutation
        • P(f);
    • Try
      • K(D);P-FLIGHT
      • Vars
        • B(d);CHECK,OGATEB::B(G),XB(d)
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • R(b);OGATEB::R(A),XR(b)
        • B(d);OGATEB::B(G),XB(d)
      • Refutation
        • P(f);
    • Try
      • S(C);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • B(d);OGATEB::B(G),XB(d)
        • R(b);OGATEB::R(A),XR(b)
      • Refutation
        • P(f);
    • Try
      • S(C);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • R(b);OGATEB::R(A),XR(b)
        • B(d);OGATEB::B(G),XB(d)
      • Refutation
        • P(f);
    • Try
      • B(E);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • B(d);OGATEB::B(G),XB(d)
        • R(b);OGATEB::R(A),XR(b)
      • Refutation
        • P(f);
    • Try
      • B(E);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • R(b);OGATEB::R(A),XR(b)
        • B(d);OGATEB::B(G),XB(d)
      • Refutation
        • P(f);
    • Try
      • B(E);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • R(b);OGATEB::R(A),XR(b)
        • B(d);OGATEB::B(G),XB(d)
      • Refutation
        • P(f);
    • Try
      • B(E);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • R(b);OGATEB::R(A),XR(b)
        • B(d);OGATEB::B(G),XB(d)
      • Refutation
        • P(f);
    • Try
      • B(E);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • R(b);OGATEB::R(A),XR(b)
        • B(d);OGATEB::B(G),XB(d)
      • Refutation
        • P(f);
    • Try
      • B(E);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::R1(B),XP(c)
        • R(b);OGATEB::R(A),XR(b)
      • Refutation
        • P(f);
    • Try
      • R(B);XB(d)
      • Threat
        • DUALS(13)
      • Refutation
        • P(e);P_SPINP(e),XR(B)
    • Try
      • R(B);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • B(d);OGATEB::B(G),XB(d)
        • R(b);OGATEB::R(A),XR(b)
      • Refutation
        • P(f);
    • Try
      • R(B);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • B(d);OGATEB::B(G),XB(d)
        • R(b);OGATEB::R(A),XR(b)
      • Refutation
        • P(f);
    • Try
      • R(B);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • B(d);OGATEB::B(G),XB(d)
        • R(b);OGATEB::R(A),XR(b)
      • Refutation
        • P(f);
    • Try
      • R(B);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • B(d);OGATEB::B(G),XB(d)
        • R(b);OGATEB::R(A),XR(b)
      • Refutation
        • P(f);
    • Try
      • Q(F);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • R(b);OGATEB::R(A),XR(b)
      • Refutation
        • P(f);
    • Try
      • Q(F);XP(f)
      • Vars
        • R(b);OGATEB::R(A),XR(b)
        • B(d);OGATEB::B(G),XB(d)
      • Refutation
        • B(d);N_SPINB(d),XB(G)
    • Try
      • Q(F);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • R(b);OGATEB::R(A),XR(b)
        • B(d);OGATEB::B(G),XB(d)
      • Refutation
        • P(f);
    • Try
      • Q(F);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • R(b);OGATEB::R(A),XR(b)
        • B(d);OGATEB::B(G),XB(d)
      • Refutation
        • P(f);
    • Try
      • Q(F);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • R(b);OGATEB::R(A),XR(b)
        • B(d);OGATEB::B(G),XB(d)
      • Refutation
        • P(f);
    • Try
      • Q(F);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • R(b);OGATEB::R(A),XR(b)
        • B(d);OGATEB::B(G),XB(d)
      • Refutation
        • P(f);
    • Try
      • Q(F);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
        • R(b);OGATEB::R(A),XR(b)
        • B(d);OGATEB::B(G),XB(d)
      • Refutation
        • P(f);
    • Try
      • Q(F);
      • Vars
        • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
        • R(b);OGATEB::R(A),XR(b)
      • Refutation
        • P(f);
  • Actual
    • S(C);
    • Threat
      • S(C)
    • Vars
      • R(b);N_SPINR(b),OGATE,XR(A)::R(B),XR(b)
      • B(d);N_SPINB(d),OGATE,XB(G)::QAB(F),XB(d)
      • R(b);OGATEB::R(A),XR(b)
      • B(d);OGATEB::B(G),XB(d)
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).