Problem Display
PID: 55212 (nk5K/1Pppppp1/B1PPPPPP/1N6/8/8/r7/3bb3 w - - 0 1)

Mansfield, Comins

The Problemist, 1972

nk5K/1Pppppp1/B1PPPPPP/1N6/8/8/r7/3bb3

#2

10 + 10


3753 FIDE Album (1971-1973) 1978
4054 Complete Mansfield/III 1999
5503 ISC 2007

SOLUTION


  • SOUND
  • Sets
    • 1...Sb6
      • 2.dxc7#
  • Tries
    • 1.cxd7?
      • threat
        • 2.d8Q#
        • 2.d8R#
      • 1...cxd6
        • 2.d8Q#
        • 2.d8R#
      • 1...exd6
        • 2.d8Q#
        • 2.d8R#
      • 1...exf6
        • 2.d8Q#
        • 2.d8R#
      • 1...fxe6
        • 2.d8Q#
        • 2.d8R#
      • 1...fxg6
        • 2.d8Q#
        • 2.d8R#
      • 1...gxf6
        • 2.d8Q#
        • 2.d8R#
      • 1...gxh6
        • 2.d8Q#
        • 2.d8R#
      • 1...Ra1
        • 2.d8Q#
        • 2.d8R#
      • 1...Rb2
        • 2.d8Q#
        • 2.d8R#
      • 1...Rc2
        • 2.d8Q#
        • 2.d8R#
      • 1...Rd2
        • 2.d8Q#
        • 2.d8R#
      • 1...Re2
        • 2.d8Q#
        • 2.d8R#
      • 1...Rf2
        • 2.d8Q#
        • 2.d8R#
      • 1...Rg2
        • 2.d8Q#
        • 2.d8R#
      • 1...Rh2
        • 2.d8Q#
        • 2.d8R#
      • 1...Ra3
        • 2.d8Q#
        • 2.d8R#
      • 1...Ra4
        • 2.d8Q#
        • 2.d8R#
      • 1...Ra5
        • 2.d8Q#
        • 2.d8R#
      • 1...Bc2
        • 2.d8Q#
        • 2.d8R#
      • 1...Be2
        • 2.d8Q#
        • 2.d8R#
      • 1...Bb3
        • 2.d8Q#
        • 2.d8R#
      • 1...Bf3
        • 2.d8Q#
        • 2.d8R#
      • 1...Ba4
        • 2.d8Q#
        • 2.d8R#
      • 1...Bg4
        • 2.d8Q#
        • 2.d8R#
      • 1...Bh5
        • 2.d8Q#
        • 2.d8R#
      • 1...Bd2
        • 2.d8Q#
        • 2.d8R#
      • 1...Bf2
        • 2.d8Q#
        • 2.d8R#
      • 1...Bc3
        • 2.d8Q#
        • 2.d8R#
      • 1...Bg3
        • 2.d8Q#
        • 2.d8R#
      • 1...Bb4
        • 2.d8Q#
        • 2.d8R#
      • 1...Bh4
        • 2.d8Q#
        • 2.d8R#
      • 1...Ba5
        • 2.d8Q#
        • 2.d8R#
      • 1...Sb6
        • 2.dxc7#
      • 1...c5
        • 2.d8Q#
        • 2.d8R#
      • 1...c6
        • 2.d8Q#
        • 2.d8R#
      • 1...Rxa6!
    • 1.dxe7?
      • threat
        • 2.e8Q#
        • 2.e8R#
      • 1...Rxa6
        • 2.e8Q#
        • 2.e8R#
      • 1...dxc6
        • 2.e8Q#
        • 2.e8R#
      • 1...dxe6
        • 2.e8Q#
        • 2.e8R#
      • 1...fxe6
        • 2.e8Q#
        • 2.e8R#
      • 1...fxg6
        • 2.e8Q#
        • 2.e8R#
      • 1...gxf6
        • 2.e8Q#
        • 2.e8R#
      • 1...gxh6
        • 2.e8Q#
        • 2.e8R#
      • 1...Ra1
        • 2.e8Q#
        • 2.e8R#
      • 1...Rb2
        • 2.e8Q#
        • 2.e8R#
      • 1...Rc2
        • 2.e8Q#
        • 2.e8R#
      • 1...Rd2
        • 2.e8Q#
        • 2.e8R#
      • 1...Re2
        • 2.e8Q#
        • 2.e8R#
      • 1...Rf2
        • 2.e8Q#
        • 2.e8R#
      • 1...Rg2
        • 2.e8Q#
        • 2.e8R#
      • 1...Rh2
        • 2.e8Q#
        • 2.e8R#
      • 1...Ra3
        • 2.e8Q#
        • 2.e8R#
      • 1...Ra4
        • 2.e8Q#
        • 2.e8R#
      • 1...Ra5
        • 2.e8Q#
        • 2.e8R#
      • 1...Bc2
        • 2.e8Q#
        • 2.e8R#
      • 1...Be2
        • 2.e8Q#
        • 2.e8R#
      • 1...Bb3
        • 2.e8Q#
        • 2.e8R#
      • 1...Bf3
        • 2.e8Q#
        • 2.e8R#
      • 1...Ba4
        • 2.e8Q#
        • 2.e8R#
      • 1...Bg4
        • 2.e8Q#
        • 2.e8R#
      • 1...Bh5
        • 2.e8Q#
        • 2.e8R#
      • 1...Bd2
        • 2.e8Q#
        • 2.e8R#
      • 1...Bf2
        • 2.e8Q#
        • 2.e8R#
      • 1...Bc3
        • 2.e8Q#
        • 2.e8R#
      • 1...Bg3
        • 2.e8Q#
        • 2.e8R#
      • 1...Bb4
        • 2.e8Q#
        • 2.e8R#
      • 1...Bh4
        • 2.e8Q#
        • 2.e8R#
      • 1...Ba5
        • 2.e8Q#
        • 2.e8R#
      • 1...d5
        • 2.e8Q#
        • 2.e8R#
      • 1...d6
        • 2.e8Q#
        • 2.e8R#
      • 1...Sb6!
    • 1.exd7?
      • threat
        • 2.d8Q#
        • 2.d8R#
      • 1...Rxa6
        • 2.d8Q#
        • 2.d8R#
      • 1...cxd6
        • 2.d8Q#
        • 2.d8R#
      • 1...exd6
        • 2.d8Q#
        • 2.d8R#
      • 1...exf6
        • 2.d8Q#
        • 2.d8R#
      • 1...fxg6
        • 2.d8Q#
        • 2.d8R#
      • 1...gxf6
        • 2.d8Q#
        • 2.d8R#
      • 1...gxh6
        • 2.d8Q#
        • 2.d8R#
      • 1...Ra1
        • 2.d8Q#
        • 2.d8R#
      • 1...Rb2
        • 2.d8Q#
        • 2.d8R#
      • 1...Rc2
        • 2.d8Q#
        • 2.d8R#
      • 1...Rd2
        • 2.d8Q#
        • 2.d8R#
      • 1...Re2
        • 2.d8Q#
        • 2.d8R#
      • 1...Rf2
        • 2.d8Q#
        • 2.d8R#
      • 1...Rg2
        • 2.d8Q#
        • 2.d8R#
      • 1...Rh2
        • 2.d8Q#
        • 2.d8R#
      • 1...Ra3
        • 2.d8Q#
        • 2.d8R#
      • 1...Ra4
        • 2.d8Q#
        • 2.d8R#
      • 1...Ra5
        • 2.d8Q#
        • 2.d8R#
      • 1...Bc2
        • 2.d8Q#
        • 2.d8R#
      • 1...Be2
        • 2.d8Q#
        • 2.d8R#
      • 1...Bb3
        • 2.d8Q#
        • 2.d8R#
      • 1...Bf3
        • 2.d8Q#
        • 2.d8R#
      • 1...Ba4
        • 2.d8Q#
        • 2.d8R#
      • 1...Bh5
        • 2.d8Q#
        • 2.d8R#
      • 1...Bd2
        • 2.d8Q#
        • 2.d8R#
      • 1...Bf2
        • 2.d8Q#
        • 2.d8R#
      • 1...Bc3
        • 2.d8Q#
        • 2.d8R#
      • 1...Bg3
        • 2.d8Q#
        • 2.d8R#
      • 1...Bb4
        • 2.d8Q#
        • 2.d8R#
      • 1...Bh4
        • 2.d8Q#
        • 2.d8R#
      • 1...Ba5
        • 2.d8Q#
        • 2.d8R#
      • 1...Sb6
        • 2.dxc7#
      • 1...e5
        • 2.d8Q#
        • 2.d8R#
      • 1...e6
        • 2.d8Q#
        • 2.d8R#
      • 1...Bg4!
    • 1.fxe7?
      • threat
        • 2.e8Q#
        • 2.e8R#
      • 1...Rxa6
        • 2.e8Q#
        • 2.e8R#
      • 1...cxd6
        • 2.e8Q#
        • 2.e8R#
      • 1...dxc6
        • 2.e8Q#
        • 2.e8R#
      • 1...dxe6
        • 2.e8Q#
        • 2.e8R#
      • 1...fxe6
        • 2.e8Q#
        • 2.e8R#
      • 1...fxg6
        • 2.e8Q#
        • 2.e8R#
      • 1...gxh6
        • 2.e8Q#
        • 2.e8R#
      • 1...Ra1
        • 2.e8Q#
        • 2.e8R#
      • 1...Rb2
        • 2.e8Q#
        • 2.e8R#
      • 1...Rc2
        • 2.e8Q#
        • 2.e8R#
      • 1...Rd2
        • 2.e8Q#
        • 2.e8R#
      • 1...Re2
        • 2.e8Q#
        • 2.e8R#
      • 1...Rf2
        • 2.e8Q#
        • 2.e8R#
      • 1...Rg2
        • 2.e8Q#
        • 2.e8R#
      • 1...Rh2
        • 2.e8Q#
        • 2.e8R#
      • 1...Ra3
        • 2.e8Q#
        • 2.e8R#
      • 1...Ra4
        • 2.e8Q#
        • 2.e8R#
      • 1...Ra5
        • 2.e8Q#
        • 2.e8R#
      • 1...Bc2
        • 2.e8Q#
        • 2.e8R#
      • 1...Be2
        • 2.e8Q#
        • 2.e8R#
      • 1...Bb3
        • 2.e8Q#
        • 2.e8R#
      • 1...Bf3
        • 2.e8Q#
        • 2.e8R#
      • 1...Ba4
        • 2.e8Q#
        • 2.e8R#
      • 1...Bg4
        • 2.e8Q#
        • 2.e8R#
      • 1...Bh5
        • 2.e8Q#
        • 2.e8R#
      • 1...Bd2
        • 2.e8Q#
        • 2.e8R#
      • 1...Bf2
        • 2.e8Q#
        • 2.e8R#
      • 1...Bc3
        • 2.e8Q#
        • 2.e8R#
      • 1...Bg3
        • 2.e8Q#
        • 2.e8R#
      • 1...Bb4
        • 2.e8Q#
        • 2.e8R#
      • 1...Ba5
        • 2.e8Q#
        • 2.e8R#
      • 1...Sb6
        • 2.dxc7#
      • 1...f5
        • 2.e8Q#
        • 2.e8R#
      • 1...f6
        • 2.e8Q#
        • 2.e8R#
      • 1...Bh4!
    • 1.fxg7?
      • threat
        • 2.g8Q#
        • 2.g8R#
      • 1...Rxa6
        • 2.g8Q#
        • 2.g8R#
      • 1...cxd6
        • 2.g8Q#
        • 2.g8R#
      • 1...dxc6
        • 2.g8Q#
        • 2.g8R#
      • 1...dxe6
        • 2.g8Q#
        • 2.g8R#
      • 1...exd6
        • 2.g8Q#
        • 2.g8R#
      • 1...fxe6
        • 2.g8Q#
        • 2.g8R#
      • 1...fxg6
        • 2.g8Q#
        • 2.g8R#
      • 1...Ra1
        • 2.g8Q#
        • 2.g8R#
      • 1...Rb2
        • 2.g8Q#
        • 2.g8R#
      • 1...Rc2
        • 2.g8Q#
        • 2.g8R#
      • 1...Rd2
        • 2.g8Q#
        • 2.g8R#
      • 1...Re2
        • 2.g8Q#
        • 2.g8R#
      • 1...Rf2
        • 2.g8Q#
        • 2.g8R#
      • 1...Rg2
        • 2.g8Q#
        • 2.g8R#
      • 1...Rh2
        • 2.g8Q#
        • 2.g8R#
      • 1...Ra3
        • 2.g8Q#
        • 2.g8R#
      • 1...Ra4
        • 2.g8Q#
        • 2.g8R#
      • 1...Ra5
        • 2.g8Q#
        • 2.g8R#
      • 1...Bc2
        • 2.g8Q#
        • 2.g8R#
      • 1...Be2
        • 2.g8Q#
        • 2.g8R#
      • 1...Bb3
        • 2.g8Q#
        • 2.g8R#
      • 1...Bf3
        • 2.g8Q#
        • 2.g8R#
      • 1...Ba4
        • 2.g8Q#
        • 2.g8R#
      • 1...Bg4
        • 2.g8Q#
        • 2.g8R#
      • 1...Bh5
        • 2.g8Q#
        • 2.g8R#
      • 1...Bd2
        • 2.g8Q#
        • 2.g8R#
      • 1...Bf2
        • 2.g8Q#
        • 2.g8R#
      • 1...Bg3
        • 2.g8Q#
        • 2.g8R#
      • 1...Bb4
        • 2.g8Q#
        • 2.g8R#
      • 1...Bh4
        • 2.g8Q#
        • 2.g8R#
      • 1...Ba5
        • 2.g8Q#
        • 2.g8R#
      • 1...Sb6
        • 2.dxc7#
      • 1...f5
        • 2.g8Q#
        • 2.g8R#
      • 1...f6
        • 2.g8Q#
        • 2.g8R#
      • 1...Bc3!
    • 1.gxf7?
      • threat
        • 2.f8Q#
        • 2.f8R#
      • 1...Rxa6
        • 2.f8Q#
        • 2.f8R#
      • 1...cxd6
        • 2.f8Q#
        • 2.f8R#
      • 1...dxc6
        • 2.f8Q#
        • 2.f8R#
      • 1...dxe6
        • 2.f8Q#
        • 2.f8R#
      • 1...exd6
        • 2.f8Q#
        • 2.f8R#
      • 1...exf6
        • 2.f8Q#
        • 2.f8R#
      • 1...gxf6
        • 2.f8Q#
        • 2.f8R#
      • 1...gxh6
        • 2.f8Q#
        • 2.f8R#
      • 1...Ra1
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb2
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc2
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd2
        • 2.f8Q#
        • 2.f8R#
      • 1...Re2
        • 2.f8Q#
        • 2.f8R#
      • 1...Rf2
        • 2.f8Q#
        • 2.f8R#
      • 1...Rg2
        • 2.f8Q#
        • 2.f8R#
      • 1...Rh2
        • 2.f8Q#
        • 2.f8R#
      • 1...Ra3
        • 2.f8Q#
        • 2.f8R#
      • 1...Ra4
        • 2.f8Q#
        • 2.f8R#
      • 1...Ra5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bc2
        • 2.f8Q#
        • 2.f8R#
      • 1...Be2
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb3
        • 2.f8Q#
        • 2.f8R#
      • 1...Bf3
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba4
        • 2.f8Q#
        • 2.f8R#
      • 1...Bg4
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd2
        • 2.f8Q#
        • 2.f8R#
      • 1...Bf2
        • 2.f8Q#
        • 2.f8R#
      • 1...Bc3
        • 2.f8Q#
        • 2.f8R#
      • 1...Bg3
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb4
        • 2.f8Q#
        • 2.f8R#
      • 1...Bh4
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba5
        • 2.f8Q#
        • 2.f8R#
      • 1...Sb6
        • 2.dxc7#
      • 1...g5
        • 2.f8Q#
        • 2.f8R#
      • 1...g6
        • 2.f8Q#
        • 2.f8R#
      • 1...Bh5!
    • 1.hxg7?
      • threat
        • 2.g8Q#
        • 2.g8R#
      • 1...Rxa6
        • 2.g8Q#
        • 2.g8R#
      • 1...cxd6
        • 2.g8Q#
        • 2.g8R#
      • 1...dxc6
        • 2.g8Q#
        • 2.g8R#
      • 1...dxe6
        • 2.g8Q#
        • 2.g8R#
      • 1...exd6
        • 2.g8Q#
        • 2.g8R#
      • 1...exf6
        • 2.g8Q#
        • 2.g8R#
      • 1...fxe6
        • 2.g8Q#
        • 2.g8R#
      • 1...fxg6
        • 2.g8Q#
        • 2.g8R#
      • 1...Ra1
        • 2.g8Q#
        • 2.g8R#
      • 1...Rb2
        • 2.g8Q#
        • 2.g8R#
      • 1...Rc2
        • 2.g8Q#
        • 2.g8R#
      • 1...Rd2
        • 2.g8Q#
        • 2.g8R#
      • 1...Re2
        • 2.g8Q#
        • 2.g8R#
      • 1...Rf2
        • 2.g8Q#
        • 2.g8R#
      • 1...Rg2
        • 2.g8Q#
        • 2.g8R#
      • 1...Ra3
        • 2.g8Q#
        • 2.g8R#
      • 1...Ra4
        • 2.g8Q#
        • 2.g8R#
      • 1...Ra5
        • 2.g8Q#
        • 2.g8R#
      • 1...Bc2
        • 2.g8Q#
        • 2.g8R#
      • 1...Be2
        • 2.g8Q#
        • 2.g8R#
      • 1...Bb3
        • 2.g8Q#
        • 2.g8R#
      • 1...Bf3
        • 2.g8Q#
        • 2.g8R#
      • 1...Ba4
        • 2.g8Q#
        • 2.g8R#
      • 1...Bg4
        • 2.g8Q#
        • 2.g8R#
      • 1...Bh5
        • 2.g8Q#
        • 2.g8R#
      • 1...Bd2
        • 2.g8Q#
        • 2.g8R#
      • 1...Bf2
        • 2.g8Q#
        • 2.g8R#
      • 1...Bc3
        • 2.g8Q#
        • 2.g8R#
      • 1...Bg3
        • 2.g8Q#
        • 2.g8R#
      • 1...Bb4
        • 2.g8Q#
        • 2.g8R#
      • 1...Bh4
        • 2.g8Q#
        • 2.g8R#
      • 1...Ba5
        • 2.g8Q#
        • 2.g8R#
      • 1...Sb6
        • 2.dxc7#
      • 1...Rh2+!
  • Keys
    • 1.exf7!
      • threat
        • 2.f8Q#
        • 2.f8R#
      • 1...Rxa6
        • 2.f8Q#
        • 2.f8R#
      • 1...cxd6
        • 2.f8Q#
        • 2.f8R#
      • 1...dxc6
        • 2.f8Q#
        • 2.f8R#
      • 1...exd6
        • 2.f8Q#
        • 2.f8R#
      • 1...exf6
        • 2.f8Q#
        • 2.f8R#
      • 1...gxf6
        • 2.f8Q#
        • 2.f8R#
      • 1...gxh6
        • 2.f8Q#
        • 2.f8R#
      • 1...Ra1
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb2
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc2
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd2
        • 2.f8Q#
        • 2.f8R#
      • 1...Re2
        • 2.f8Q#
        • 2.f8R#
      • 1...Rf2
        • 2.f8Q#
        • 2.f8R#
      • 1...Rg2
        • 2.f8Q#
        • 2.f8R#
      • 1...Rh2
        • 2.f8Q#
        • 2.f8R#
      • 1...Ra3
        • 2.f8Q#
        • 2.f8R#
      • 1...Ra4
        • 2.f8Q#
        • 2.f8R#
      • 1...Ra5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bc2
        • 2.f8Q#
        • 2.f8R#
      • 1...Be2
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb3
        • 2.f8Q#
        • 2.f8R#
      • 1...Bf3
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba4
        • 2.f8Q#
        • 2.f8R#
      • 1...Bg4
        • 2.f8Q#
        • 2.f8R#
      • 1...Bh5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd2
        • 2.f8Q#
        • 2.f8R#
      • 1...Bf2
        • 2.f8Q#
        • 2.f8R#
      • 1...Bc3
        • 2.f8Q#
        • 2.f8R#
      • 1...Bg3
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb4
        • 2.f8Q#
        • 2.f8R#
      • 1...Bh4
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba5
        • 2.f8Q#
        • 2.f8R#
      • 1...Sb6
        • 2.dxc7#
      • 1...e5
        • 2.f8Q#
        • 2.f8R#
      • 1...e6
        • 2.f8Q#
        • 2.f8R#

FEATURES


  • Static
    • TYPE = THREAT
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • S(i);N_GUARD::P(D),XP(d)
  • Tries
    • Try
      • P(C);XP(e)
      • Threat
        • P=Q
      • Vars
        • P(d);XP(D)::P=Q
        • P(f);XP(D)::P=Q
        • P(f);XP(F)::P=Q
        • P(g);XP(E)::P=Q
        • P(g);XP(G)::P=Q
        • P(h);XP(F)::P=Q
        • P(h);XP(H)::P=Q
        • R(c);::P=Q
        • R(c);P_PINP(H)::P=Q
        • B(a);::P=Q
        • B(b);::P=Q
        • S(i);N_GUARD::P(D),XP(d)
        • P(d);::P=Q
      • Refutation
        • R(c);XB(B)
    • Try
      • P(D);XP(f)
      • Threat
        • P=Q
      • Vars
        • R(c);XB(B)::P=Q
        • P(e);XP(C)::P=Q
        • P(e);XP(E)::P=Q
        • P(g);XP(E)::P=Q
        • P(g);XP(G)::P=Q
        • P(h);XP(F)::P=Q
        • P(h);XP(H)::P=Q
        • R(c);::P=Q
        • R(c);P_PINP(H)::P=Q
        • B(a);::P=Q
        • B(b);::P=Q
        • P(e);::P=Q
      • Refutation
        • S(i);
    • Try
      • P(E);XP(e)
      • Threat
        • P=Q
      • Vars
        • R(c);XB(B)::P=Q
        • P(d);XP(D)::P=Q
        • P(f);XP(D)::P=Q
        • P(f);XP(F)::P=Q
        • P(g);XP(G)::P=Q
        • P(h);XP(F)::P=Q
        • P(h);XP(H)::P=Q
        • R(c);::P=Q
        • R(c);P_PINP(H)::P=Q
        • B(a);::P=Q
        • B(b);::P=Q
        • S(i);N_GUARD::P(D),XP(d)
        • P(f);::P=Q
      • Refutation
        • B(a);
    • Try
      • P(F);XP(f)
      • Threat
        • P=Q
      • Vars
        • R(c);XB(B)::P=Q
        • P(d);XP(D)::P=Q
        • P(e);XP(C)::P=Q
        • P(e);XP(E)::P=Q
        • P(g);XP(E)::P=Q
        • P(g);XP(G)::P=Q
        • P(h);XP(H)::P=Q
        • R(c);::P=Q
        • R(c);P_PINP(H)::P=Q
        • B(a);::P=Q
        • B(b);::P=Q
        • S(i);N_GUARD::P(D),XP(d)
        • P(g);::P=Q
      • Refutation
        • B(b);
    • Try
      • P(F);XP(h)
      • Threat
        • P=Q
      • Vars
        • R(c);XB(B)::P=Q
        • P(d);XP(D)::P=Q
        • P(e);XP(C)::P=Q
        • P(e);XP(E)::P=Q
        • P(f);XP(D)::P=Q
        • P(g);XP(E)::P=Q
        • P(g);XP(G)::P=Q
        • R(c);::P=Q
        • R(c);P_PINP(H)::P=Q
        • B(a);::P=Q
        • B(b);::P=Q
        • S(i);N_GUARD::P(D),XP(d)
        • P(g);::P=Q
      • Refutation
        • B(b);P_PINP(F)
    • Try
      • P(G);XP(g)
      • Threat
        • P=Q
      • Vars
        • R(c);XB(B)::P=Q
        • P(d);XP(D)::P=Q
        • P(e);XP(C)::P=Q
        • P(e);XP(E)::P=Q
        • P(f);XP(D)::P=Q
        • P(f);XP(F)::P=Q
        • P(h);XP(F)::P=Q
        • P(h);XP(H)::P=Q
        • R(c);::P=Q
        • R(c);P_PINP(H)::P=Q
        • B(a);::P=Q
        • B(b);::P=Q
        • S(i);N_GUARD::P(D),XP(d)
        • P(h);::P=Q
      • Refutation
        • B(a);
    • Try
      • P(H);XP(h)
      • Threat
        • P=Q
      • Vars
        • R(c);XB(B)::P=Q
        • P(d);XP(D)::P=Q
        • P(e);XP(C)::P=Q
        • P(e);XP(E)::P=Q
        • P(f);XP(D)::P=Q
        • P(f);XP(F)::P=Q
        • P(g);XP(E)::P=Q
        • P(g);XP(G)::P=Q
        • R(c);::P=Q
        • B(a);::P=Q
        • B(b);::P=Q
        • S(i);N_GUARD::P(D),XP(d)
      • Refutation
        • R(c);CHECK
  • Actual
    • P(E);XP(g)
    • Threat
      • P=Q
    • Vars
      • R(c);XB(B)::P=Q
      • P(d);XP(D)::P=Q
      • P(e);XP(C)::P=Q
      • P(f);XP(D)::P=Q
      • P(f);XP(F)::P=Q
      • P(h);XP(F)::P=Q
      • P(h);XP(H)::P=Q
      • R(c);::P=Q
      • R(c);P_PINP(H)::P=Q
      • B(a);::P=Q
      • B(b);::P=Q
      • S(i);N_GUARD::P(D),XP(d)
      • P(f);::P=Q


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