Problem Display
PID: 159930 (B5r1/p1bPN3/K1R4B/4p3/3pkP2/Qp5R/4p3/2n5 w - - 0 1)

Ahues, Herbert Siegfried Oskar

Schweizerische Arbeiter Schachzeitung, 1967

B5r1/p1bPN3/K1R4B/4p3/3pkP2/Qp5R/4p3/2n5

#2

9 + 9


15148 Sadier Collection 2017

SOLUTION


  • SOUND
  • Sets
    • 1...Rg1
      • 2.Rxc1#
      • 2.Rc2#
      • 2.Rcc3#
      • 2.Rc4#
      • 2.Rc5#
      • 2.Rb6#
      • 2.Rd6#
      • 2.Re6#
      • 2.Rf6#
      • 2.Rg6#
      • 2.Rxc7#
    • 1...Rg2
      • 2.Rxc1#
      • 2.Rc2#
      • 2.Rcc3#
      • 2.Rc4#
      • 2.Rc5#
      • 2.Rb6#
      • 2.Rd6#
      • 2.Re6#
      • 2.Rf6#
      • 2.Rg6#
      • 2.Rxc7#
    • 1...Rg3
      • 2.Rc3#
    • 1...Rg4
      • 2.Rxc1#
      • 2.Rc2#
      • 2.Rcc3#
      • 2.Rc4#
      • 2.Rc5#
      • 2.Rb6#
      • 2.Rd6#
      • 2.Re6#
      • 2.Rf6#
      • 2.Rg6#
      • 2.Rxc7#
    • 1...Rg5
      • 2.Rf6#
    • 1...Rg6
      • 2.Rd6#
      • 2.Re6#
      • 2.Rf6#
      • 2.Rxg6#
    • 1...Rg7
      • 2.Rxc1#
      • 2.Rc2#
      • 2.Rcc3#
      • 2.Rc4#
      • 2.Rc5#
      • 2.Rb6#
      • 2.Rd6#
      • 2.Re6#
      • 2.Rf6#
      • 2.Rg6#
      • 2.Rxc7#
    • 1...Ba5
      • 2.Rc8#
    • 1...Bb6
      • 2.Rc8#
    • 1...Bd6
      • 2.Rc8#
    • 1...Bb8
      • 2.Rxc1#
      • 2.Rc2#
      • 2.Rcc3#
      • 2.Rc4#
      • 2.Rc5#
      • 2.Rb6#
      • 2.Rd6#
      • 2.Re6#
      • 2.Rf6#
      • 2.Rg6#
      • 2.Rc7#
      • 2.Rc8#
    • 1...Bd8
      • 2.Rxc1#
      • 2.Rc2#
      • 2.Rcc3#
      • 2.Rc4#
      • 2.Rc5#
      • 2.Rb6#
      • 2.Rd6#
      • 2.Re6#
      • 2.Rf6#
      • 2.Rg6#
      • 2.Rc7#
      • 2.Rc8#
    • 1...b2
      • 2.Qf3#
    • 1...d3
      • 2.Rc4#
      • 2.Qb4#
      • 2.Qa4#
    • 1...exf4
      • 2.Re6#
  • Tries
    • 1.Bb7?
      • threat
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...exf4
        • 2.Rc5#
        • 2.Re6#
      • 1...Rg3
        • 2.Rc3#
      • 1...Rg5
        • 2.Rf6#
      • 1...d3
        • 2.Rc4#
        • 2.Rd6#
        • 2.Qb4#
        • 2.Qa4#
      • 1...Rg6
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rxg6#
      • 1...Ba5
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Bb6
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rxb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Bd6
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rxd6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Bb8
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Bd8
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Sa2
        • 2.Rc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Sd3
        • 2.Rc1#
        • 2.Rc2#
        • 2.Rc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Rb8!
    • 1.Qxc1?
      • 1...Rxa8
        • 2.Qh1#
      • 1...exf4
        • 2.Re6#
      • 1...Rg3
        • 2.Rc3#
      • 1...d3
        • 2.Rc4#
        • 2.Qe3#
        • 2.Qc4#
      • 1...e1Q
        • 2.Qxe1#
      • 1...e1S
        • 2.Qxe1#
      • 1...e1B
        • 2.Qxe1#
      • 1...e1R
        • 2.Qxe1#
      • 1...Rg1
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Rg2
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Rg4
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Rg5
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Rg6
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rxg6#
      • 1...Rg7
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Rb8
        • 2.Qh1#
      • 1...Rc8
        • 2.Qh1#
      • 1...Rd8
        • 2.Qh1#
      • 1...Re8
        • 2.Qh1#
      • 1...Rf8
        • 2.Qh1#
      • 1...Rh8
        • 2.Qh1#
      • 1...Ba5
        • 2.Rc8#
      • 1...Bb6
        • 2.Rc8#
      • 1...Bd6
        • 2.Rc8#
      • 1...Bb8
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Bd8
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...b2!
    • 1.Qc5?
      • threat
        • 2.Qd5#
      • 1...Rg5
        • 2.Rf6#
      • 1...Rg3!
    • 1.Qd6?
      • threat
        • 2.Qd5#
      • 1...Bxd6
        • 2.Rc8#
      • 1...Rg3
        • 2.Rc3#
      • 1...Rg5!
    • 1.Qxb3?
      • threat
        • 2.Qd5#
        • 2.Qf3#
      • 1...exf4
        • 2.Re6#
        • 2.Qd5#
      • 1...Rg5
        • 2.Rf6#
        • 2.Qf3#
      • 1...d3
        • 2.Rc4#
        • 2.Qa4#
        • 2.Qc4#
        • 2.Qd5#
        • 2.Qb4#
      • 1...e1S
        • 2.Qd5#
      • 1...Rg3
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Sd3
        • 2.Qd5#
        • 2.Qxd3#
      • 1...Sxb3!
    • 1.d8Q?
      • threat
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
        • 2.Qd5#
      • 1...Bxd8
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...exf4
        • 2.Rc5#
        • 2.Re6#
        • 2.Qd5#
      • 1...Rg3
        • 2.Rc3#
      • 1...Rg5
        • 2.Rf6#
      • 1...Rg6
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rxg6#
        • 2.Qd5#
      • 1...Ba5
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
        • 2.Qd5#
      • 1...Bb6
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rxb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
        • 2.Qd5#
      • 1...Bd6
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rxd6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Bb8
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
        • 2.Qd5#
      • 1...Sa2
        • 2.Rc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
        • 2.Qd5#
      • 1...Sd3
        • 2.Rc1#
        • 2.Rc2#
        • 2.Rc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
        • 2.Qd5#
      • 1...Rxd8!
    • 1.d8S?
      • threat
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Bxd8
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...exf4
        • 2.Rc5#
        • 2.Re6#
      • 1...Rg3
        • 2.Rc3#
      • 1...Rg5
        • 2.Rf6#
      • 1...d3
        • 2.Rc4#
        • 2.Rd6#
        • 2.Qb4#
        • 2.Qa4#
      • 1...Rg6
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rxg6#
      • 1...Ba5
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Bb6
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rxb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Bd6
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rxd6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Bb8
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Sa2
        • 2.Rc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Sd3
        • 2.Rc1#
        • 2.Rc2#
        • 2.Rc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Rxd8!
    • 1.d8B?
      • threat
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Bxd8
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...exf4
        • 2.Rc5#
        • 2.Re6#
      • 1...Rg3
        • 2.Rc3#
      • 1...Rg5
        • 2.Rf6#
      • 1...d3
        • 2.Rc4#
        • 2.Rd6#
        • 2.Qb4#
        • 2.Qa4#
      • 1...Rg6
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rxg6#
      • 1...Ba5
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Bb6
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rxb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Bd6
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rxd6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Bb8
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Sa2
        • 2.Rc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Sd3
        • 2.Rc1#
        • 2.Rc2#
        • 2.Rc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Rxd8!
    • 1.d8R?
      • threat
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rcd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Bxd8
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...exf4
        • 2.Rc5#
        • 2.Re6#
      • 1...Rg3
        • 2.Rc3#
      • 1...Rg5
        • 2.Rf6#
      • 1...Rg6
        • 2.Rcd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rxg6#
      • 1...Ba5
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rcd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rcc8#
      • 1...Bb6
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rxb6#
        • 2.Rcd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rcc8#
      • 1...Bd6
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rcxd6#
        • 2.Rc7#
        • 2.Rcc8#
      • 1...Bb8
        • 2.Rxc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rcd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rc7#
        • 2.Rcc8#
      • 1...Sa2
        • 2.Rc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rcd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Sd3
        • 2.Rc1#
        • 2.Rc2#
        • 2.Rc3#
        • 2.Rc4#
        • 2.Rc5#
        • 2.Rb6#
        • 2.Rcd6#
        • 2.Re6#
        • 2.Rf6#
        • 2.Rg6#
        • 2.Rxc7#
      • 1...Rxd8!
  • Keys
    • 1.Qa5!
      • threat
        • 2.Qd5#
      • 1...Bxa5
        • 2.Rc8#
      • 1...Rg3
        • 2.Rc3#
      • 1...Rg5
        • 2.Rf6#

FEATURES


  • Static
    • TYPE = THREAT
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 4
  • Sets
    • R(i);N_GUARD::B(I)+R(E)
    • B(h);OGATE::B(I)+R(E)
    • P(c);OGATE::QAB1(A)
    • P(f);XP(C)::B(I)+R(E),DCHECK
  • Tries
    • Try
      • B(I);
      • Threat
        • DUALS(11)
      • Vars
        • R(i);::B(I)+R(E)
      • Refutation
        • R(i);
    • Try
      • Q(A);XS(a)
      • Vars
        • R(i);N_GUARD,XB(I)::QAB(A)
        • P(f);XP(C)::B(I)+R(E),DCHECK
        • R(i);N_GUARD::B(I)+R(E)
        • P(b);OGATEB::QAR(A),XQ(b)
        • P(b);OGATEB::QAR(A),XS(b)
        • P(b);OGATEB::QAR(A),XB(b)
        • P(b);OGATEB::QAR(A),XR(b)
        • R(i);N_GUARD::QAB(A)
        • B(h);OGATE::B(I)+R(E)
      • Refutation
        • P(c);
    • Try
      • Q(A);
      • Threat
        • QAB1(A)
      • Vars
        • R(i);N_GUARD::B(I)+R(E)
      • Refutation
        • R(i);
    • Try
      • Q(A);
      • Threat
        • QAB1(A)
      • Vars
        • B(h);OGATE,XQ(A)::B(I)+R(E)
        • R(i);N_GUARD::B(I)+R(E)
      • Refutation
        • R(i);
    • Try
      • Q(A);XP(c)
      • Threat
        • DUALS(2)
      • Vars
        • P(b);::QAB1(A)
      • Refutation
        • S(a);XQ(A)
    • Try
      • P(G);
      • Threat
        • DUALS(12)
      • Vars
        • R(i);::B(I)+R(E)
      • Refutation
        • R(i);XQ(G)
    • Try
      • P(G);
      • Threat
        • DUALS(11)
      • Vars
        • R(i);::B(I)+R(E)
      • Refutation
        • R(i);XS(G)
    • Try
      • P(G);
      • Threat
        • DUALS(11)
      • Vars
        • R(i);::B(I)+R(E)
      • Refutation
        • R(i);XB(G)
    • Try
      • P(G);
      • Threat
        • DUALS(11)
      • Vars
        • R(i);::B(I)+R(E)
      • Refutation
        • R(i);XR(G)
  • Actual
    • Q(A);
    • Threat
      • QAB1(A)
    • Vars
      • B(h);OGATE,XQ(A)::B(I)+R(E)
      • R(i);N_GUARD::B(I)+R(E)


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).