MESON Chess Problem Database

Problem Display
PID: 145092 (6NR/p3p1P1/P3Np2/Q2B1K2/p2p2P1/B2P4/1PP1P1qr/4R1rk w - - 0 1)

Morse, Christopher Jeremy

The Problemist, 1988

6NR/p3p1P1/P3Np2/Q2B1K2/p2p2P1/B2P4/1PP1P1qr/4R1rk

#2

15 + 9

102 Probleemblad 2016

SOLUTION

  • SOUND
  • Sets
    • 1...Qf3+
      • 2.Bxf3#
    • 1...Qe4+
      • 2.Bxe4#
    • 1...Qxd5+
      • 2.Qxd5#
    • 1...Rxe1
      • 2.Qxe1#
    • 1...Rf1+
      • 2.Rxf1#
    • 1...Rh3
      • 2.Rxh3#
    • 1...Rh4
      • 2.Rxh4#
    • 1...Rh5+
      • 2.Rxh5#
    • 1...Rh6
      • 2.Rxh6#
    • 1...Rh7
      • 2.Rxh7#
    • 1...Rxh8
      • 2.gxh8Q#
      • 2.gxh8R#
  • Tries
    • 1.Kf4?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Qxd5
        • 2.Qxd5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...f5!
    • 1.Kg6?
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Rh6+
        • 2.Rxh6#
      • 1...Qxd5
        • 2.Qxd5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Qf3
        • 2.Bxf3#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh7
        • 2.Rxh7#
      • 1...f5!
    • 1.Sf4?
      • threat
        • 2.Bxg2#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Qf3
        • 2.Bxf3#
      • 1...e6+!
    • 1.Sxf6?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...exf6!
    • 1.Bd6?
      • threat
        • 2.Rxh2#
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...exd6!
    • 1.Bxe7?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...a3!
    • 1.Bf3?
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Qxf3+!
    • 1.Be4?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Qxe4+!
    • 1.Bc6?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qd5+
        • 2.Bxd5#
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Qxc6!
    • 1.Bb7?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qd5+
        • 2.Bxd5#
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Qc6
        • 2.Bxc6#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Qxb7!
    • 1.Ba8?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qd5+
        • 2.Bxd5#
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Qc6
        • 2.Bxc6#
      • 1...Qb7
        • 2.Bxb7#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Qxa8!
    • 1.Ra1?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rb1
        • 2.Rxb1#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
        • 2.Qxe1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Rxa1!
    • 1.Rb1?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
        • 2.Qxe1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Rxb1!
    • 1.Rc1?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
        • 2.Qxe1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Rxc1!
    • 1.Rd1?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Re1
        • 2.Rxe1#
        • 2.Qxe1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Rxd1!
    • 1.Rf1?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Rxf1+!
    • 1.Rh3?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh3!
    • 1.Rh4?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rxh4!
    • 1.Rh5?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rxh5+!
    • 1.Rh6?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rxh6!
    • 1.Rh7?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rxh7!
    • 1.Qd2?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
        • 2.Qxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Qxd5+!
    • 1.Qb4?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Qxd5+!
    • 1.Qc7?
      • threat
        • 2.Rxh2#
        • 2.Qxh2#
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxh2#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Qxd5+!
    • 1.Qd8?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Rxe1!
    • 1.Qb5?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Rxe1!
    • 1.Qc5?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...Rxe1!
    • 1.b3?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...axb3!
    • 1.c4?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...dxc4 ep!
    • 1.e3?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...dxe3!
    • 1.g5?
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh5
        • 2.Rxh5#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#
      • 1...fxg5!
  • Keys
    • 1.Sxe7!
      • 1...Qf3+
        • 2.Bxf3#
      • 1...Qe4+
        • 2.Bxe4#
      • 1...Qxd5+
        • 2.Qxd5#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rh5+
        • 2.Rxh5#
      • 1...Rxe1
        • 2.Qxe1#
      • 1...Rxh8
        • 2.gxh8Q#
        • 2.gxh8R#
      • 1...Rh3
        • 2.Rxh3#
      • 1...Rh4
        • 2.Rxh4#
      • 1...Rh6
        • 2.Rxh6#
      • 1...Rh7
        • 2.Rxh7#

FEATURES

  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • Q(c);CHECK,OGATEB::B(I),XQ(c)
    • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
    • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
    • R(a);CHECK,OGATEB::R(A),XR(a)
    • R(d);OGATEB::R(O),XR(d)
    • R(d);CHECK,OGATEB::R(O),XR(d)
    • R(d);OGATE,XR(O)::PXR(d)=Q
  • Tries
    • Try
      • K(J);P-FLIGHT
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • Q(c);N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
        • R(d);OGATEB,P_PINP(G)::R(O),XR(d)
      • Refutation
        • P(g);
    • Try
      • K(J);P_SPINP(G),S_FLIGHT
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • Q(c);N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • Q(c);OGATEB::B(I),XQ(c)
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • P(g);
    • Try
      • S(L);
      • Threat
        • B(I),XQ(c)
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(a);OGATEB,P_PINS(L)::R(A),XR(a)
        • R(d);OGATEB::R(O),XR(d)
        • Q(c);OGATEB,P_PINS(L)::B(I),XQ(c)
      • Refutation
        • P(i);CHECK
    • Try
      • S(N);XP(g)
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • P(i);XS(N)
    • Try
      • B(E);
      • Threat
        • R1(O),XR(d)
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • P(i);XB(E)
    • Try
      • B(E);XP(i)
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • P(e);
    • Try
      • B(I);
      • Vars
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(a);OGATEB,P_PINB(I)::R(A),XR(a)
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • Q(c);CHECK,N_SPINQ(c),XB(I)
    • Try
      • B(I);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • Q(c);CHECK,N_SPINQ(c),XB(I)
    • Try
      • B(I);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • Q(c);N_SPINQ(c),XB(I)
    • Try
      • B(I);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • Q(c);OGATEB::B(I),XQ(c)
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • Q(c);N_SPINQ(c),XB(I)
    • Try
      • B(I);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • Q(c);OGATEB::B(I),XQ(c)
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • Q(c);N_SPINQ(c),XB(I)
    • Try
      • R(A);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • R(a);N_SPINR(a),P_SPINR(d),XR(A)
    • Try
      • R(A);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • R(a);N_SPINR(a),P_SPINR(d),XR(A)
    • Try
      • R(A);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(a);OGATEB::R(A),XR(a)
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • R(a);N_SPINR(a),P_SPINR(d),XR(A)
    • Try
      • R(A);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • R(a);N_SPINR(a),P_SPINR(d),XR(A)
    • Try
      • R(A);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • R(a);CHECK,N_SPINR(a),P_SPINR(d),XR(A)
    • Try
      • R(O);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
      • Refutation
        • R(d);XR(O)
    • Try
      • R(O);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • R(d);XR(O)
    • Try
      • R(O);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • R(d);CHECK,XR(O)
    • Try
      • R(O);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • R(d);XR(O)
    • Try
      • R(O);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • R(d);XR(O)
    • Try
      • Q(H);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • Q(c);CHECK,N_SPINQ(c),XB(I)
    • Try
      • Q(H);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • Q(c);CHECK,N_SPINQ(c),XB(I)
    • Try
      • Q(H);
      • Threat
        • DUALS(2)
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),P_SPINR(d),XR(A)::QAR1(H),XR(d)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • Q(c);CHECK,N_SPINQ(c),XB(I)
    • Try
      • Q(H);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • R(a);N_SPINR(a),P_SPINR(d),XR(A)
    • Try
      • Q(H);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • R(a);N_SPINR(a),P_SPINR(d),XR(A)
    • Try
      • Q(H);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • R(a);N_SPINR(a),P_SPINR(d),XR(A)
    • Try
      • P(B);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • P(e);XP(B)
    • Try
      • P(C);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • P(f);EP,XP(C)
    • Try
      • P(D);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(d);CHECK,OGATEB::R(O),XR(d)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
      • Refutation
        • P(f);XP(D)
    • Try
      • P(G);
      • Vars
        • Q(c);CHECK,OGATEB::B(I),XQ(c)
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
        • R(a);CHECK,OGATEB::R(A),XR(a)
        • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
        • R(d);OGATE,XR(O)::PXR(d)=Q
        • R(d);OGATEB::R(O),XR(d)
        • R(d);OGATEB,P_PINP(G)::R(O),XR(d)
      • Refutation
        • P(g);XP(G)
  • Actual
    • S(N);XP(i)
    • Vars
      • Q(c);CHECK,OGATEB::B(I),XQ(c)
      • Q(c);CHECK,N_SPINQ(c),OGATE,XB(I)::QAB(H),XQ(c)
      • R(a);CHECK,OGATEB::R(A),XR(a)
      • R(d);CHECK,OGATEB::R(O),XR(d)
      • R(a);N_SPINR(a),OGATE,P_SPINR(d),XR(A)::QAR(H),XR(a)
      • R(d);OGATE,XR(O)::PXR(d)=Q
      • R(d);OGATEB::R(O),XR(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).