Problem Display
PID: 179650 (K1k2Bn1/3R1Ppq/P1p1PPp1/5N2/2b1n3/8/1b6/1RQ5 w - - 0 1)

Archakov, Vladimir Mikhailovich

3rd Comm., Birnov MT, 1968-1969

K1k2Bn1/3R1Ppq/P1p1PPp1/5N2/2b1n3/8/1b6/1RQ5

#2

10 + 9


6490 yacpdb 2018
4901 Best Problems 2019

SOLUTION


  • SOUND
  • Sets
    • 1...Ba1
      • 2.Rb8#
    • 1...Bxc1
      • 2.Rb8#
    • 1...Ba3
      • 2.Rb8#
    • 1...Bc3
      • 2.Rb8#
    • 1...Bd4
      • 2.Rb8#
    • 1...Bxf6
      • 2.Rb8#
    • 1...Bf1
      • 2.Qxc6#
    • 1...Ba2
      • 2.Qxc6#
    • 1...Be2
      • 2.Qxc6#
    • 1...Bb3
      • 2.Qxc6#
    • 1...Bd3
      • 2.Qxc6#
    • 1...Bxa6
      • 2.Qxc6#
    • 1...Bxe6
      • 2.Qxc6#
    • 1...Sd2
      • 2.Sd6#
    • 1...Sf2
      • 2.Sd6#
    • 1...Sc3
      • 2.Sd6#
    • 1...Sg3
      • 2.Sd6#
    • 1...Sc5
      • 2.Sd6#
    • 1...Sg5
      • 2.Sd6#
    • 1...Sd6
      • 2.Sxd6#
    • 1...Sexf6
      • 2.Sd6#
    • 1...Sgxf6
      • 2.Se7#
    • 1...Sh6
      • 2.Se7#
    • 1...Se7
      • 2.Sxe7#
  • Tries
    • 1.Bb4?
      • threat
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxc1
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxa6
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxe6
        • 2.Qxc6#
      • 1...Sexf6
        • 2.Sd6#
      • 1...Sgxf6
        • 2.Se7#
      • 1...gxf5
        • 2.f8Q#
        • 2.f8R#
      • 1...gxf6
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh1
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh2
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh3
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh4
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh5
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh6
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh8
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba1
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba3
        • 2.f8Q#
        • 2.f8R#
      • 1...Bc3
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd4
        • 2.f8Q#
        • 2.f8R#
      • 1...Be5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bf1
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba2
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Be2
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb3
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd3
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd5
        • 2.f8Q#
        • 2.f8R#
      • 1...Sd2
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sf2
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sc3
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sg3
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sc5
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sg5
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sd6
        • 2.Sxd6#
      • 1...Sh6
        • 2.Se7#
        • 2.f8Q#
        • 2.f8R#
      • 1...Se7
        • 2.Sxe7#
        • 2.f8Q#
        • 2.f8R#
      • 1...c5
        • 2.f8Q#
        • 2.f8R#
      • 1...g5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxf6!
    • 1.Bc5?
      • threat
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxc1
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxf6
        • 2.Rb8#
      • 1...Bxa6
        • 2.f8Q#
        • 2.f8R#
      • 1...Sxc5
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sexf6
        • 2.Sd6#
      • 1...Sgxf6
        • 2.Se7#
      • 1...gxf5
        • 2.f8Q#
        • 2.f8R#
      • 1...gxf6
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh1
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh2
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh3
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh4
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh5
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh6
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh8
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba1
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba3
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bc3
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd4
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Be5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bf1
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba2
        • 2.f8Q#
        • 2.f8R#
      • 1...Be2
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb3
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd3
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd5
        • 2.f8Q#
        • 2.f8R#
      • 1...Sd2
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sf2
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sc3
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sg3
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sg5
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sd6
        • 2.Sxd6#
      • 1...Sh6
        • 2.Se7#
        • 2.f8Q#
        • 2.f8R#
      • 1...Se7
        • 2.Sxe7#
        • 2.f8Q#
        • 2.f8R#
      • 1...g5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxe6!
    • 1.Bd6?
      • threat
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxc1
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxf6
        • 2.Rb8#
      • 1...Bxa6
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxe6
        • 2.Qxc6#
      • 1...Sxd6
        • 2.Sxd6#
      • 1...Sgxf6
        • 2.Se7#
      • 1...gxf5
        • 2.f8Q#
        • 2.f8R#
      • 1...gxf6
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh1
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh2
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh3
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh4
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh5
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh6
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh8
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba1
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba3
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bc3
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd4
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Be5
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bf1
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba2
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Be2
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb3
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd3
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd5
        • 2.f8Q#
        • 2.f8R#
      • 1...Sd2
        • 2.f8Q#
        • 2.f8R#
      • 1...Sf2
        • 2.f8Q#
        • 2.f8R#
      • 1...Sc3
        • 2.f8Q#
        • 2.f8R#
      • 1...Sg3
        • 2.f8Q#
        • 2.f8R#
      • 1...Sc5
        • 2.f8Q#
        • 2.f8R#
      • 1...Sg5
        • 2.f8Q#
        • 2.f8R#
      • 1...Sh6
        • 2.Se7#
        • 2.f8Q#
        • 2.f8R#
      • 1...Se7
        • 2.Sxe7#
        • 2.f8Q#
        • 2.f8R#
      • 1...c5
        • 2.f8Q#
        • 2.f8R#
      • 1...g5
        • 2.f8Q#
        • 2.f8R#
      • 1...Sexf6!
    • 1.Be7?
      • threat
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxc1
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxf6
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxa6
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxe6
        • 2.Qxc6#
      • 1...Sexf6
        • 2.Sd6#
      • 1...Sxe7
        • 2.Sxe7#
        • 2.f8Q#
        • 2.f8R#
      • 1...gxf5
        • 2.f8Q#
        • 2.f8R#
      • 1...gxf6
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh1
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh2
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh3
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh4
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh5
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh6
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh8
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba1
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba3
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bc3
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd4
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Be5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bf1
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba2
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Be2
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb3
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd3
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd5
        • 2.f8Q#
        • 2.f8R#
      • 1...Sd2
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sf2
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sc3
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sg3
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sc5
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sg5
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sd6
        • 2.Sxd6#
      • 1...Sh6
        • 2.f8Q#
        • 2.f8R#
      • 1...c5
        • 2.f8Q#
        • 2.f8R#
      • 1...g5
        • 2.f8Q#
        • 2.f8R#
      • 1...Sgxf6!
    • 1.Bxg7?
      • threat
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxc1
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxf6
        • 2.Rb8#
      • 1...Bxa6
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxe6
        • 2.Qxc6#
      • 1...Sexf6
        • 2.Sd6#
      • 1...Sgxf6
        • 2.Se7#
      • 1...gxf5
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh1
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh2
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh3
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh4
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh5
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh6
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh8
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba1
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba3
        • 2.Rb8#
      • 1...Bc3
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd4
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Be5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bf1
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba2
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Be2
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb3
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd3
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd5
        • 2.f8Q#
        • 2.f8R#
      • 1...Sd2
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sf2
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sc3
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sg3
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sc5
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sg5
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sd6
        • 2.Sxd6#
      • 1...Sh6
        • 2.Se7#
        • 2.f8Q#
        • 2.f8R#
      • 1...Se7
        • 2.Sxe7#
        • 2.f8Q#
        • 2.f8R#
      • 1...c5
        • 2.f8Q#
        • 2.f8R#
      • 1...g5
        • 2.f8Q#
        • 2.f8R#
      • 1...Qxg7!
    • 1.fxg8S?
      • threat
        • 2.Sfe7#
        • 2.Sge7#
      • 1...Qxg8
        • 2.Se7#
      • 1...Bxf6
        • 2.Rb8#
      • 1...Bxe6
        • 2.Qxc6#
      • 1...gxf5
        • 2.Se7#
      • 1...Ba3
        • 2.Rb8#
      • 1...gxf6!
  • Keys
    • 1.Ba3!
      • threat
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxc1
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxa3
        • 2.Rb8#
      • 1...Bxf6
        • 2.Rb8#
      • 1...Bxa6
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bxe6
        • 2.Qxc6#
      • 1...Sexf6
        • 2.Sd6#
      • 1...Sgxf6
        • 2.Se7#
      • 1...gxf5
        • 2.f8Q#
        • 2.f8R#
      • 1...gxf6
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh1
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh2
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh3
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh4
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh5
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh6
        • 2.fxg8Q#
        • 2.fxg8R#
        • 2.f8Q#
        • 2.f8R#
      • 1...Qh8
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba1
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bc3
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd4
        • 2.Rb8#
        • 2.f8Q#
        • 2.f8R#
      • 1...Be5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bf1
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Ba2
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Be2
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb3
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd3
        • 2.Qxc6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Bb5
        • 2.f8Q#
        • 2.f8R#
      • 1...Bd5
        • 2.f8Q#
        • 2.f8R#
      • 1...Sd2
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sf2
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sc3
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sg3
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sc5
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sg5
        • 2.Sd6#
        • 2.f8Q#
        • 2.f8R#
      • 1...Sd6
        • 2.Sxd6#
      • 1...Sh6
        • 2.Se7#
        • 2.f8Q#
        • 2.f8R#
      • 1...Se7
        • 2.Sxe7#
        • 2.f8Q#
        • 2.f8R#
      • 1...c5
        • 2.f8Q#
        • 2.f8R#
      • 1...g5
        • 2.f8Q#
        • 2.f8R#

FEATURES


  • Static
    • TYPE = THREAT
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 18
  • Sets
    • B(a);OGATE::R1(A)
    • B(a);OGATE,XQ(B)::R1(A)
    • B(a);OGATE,XP(F)::R1(A)
    • B(b);OGATE,P_SPINP(d)::QAR2(B),XP(d)
    • B(b);OGATE,P_SPINP(d),XP(D)::QAR2(B),XP(d)
    • B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
    • S(c);N_GUARD::S(C)
    • S(c);N_GUARD::S(C),XS(c)
    • S(c);N_GUARD,XP(F)::S(C)
    • S(i);N_GUARD,XP(F)::S(C)
    • S(i);N_GUARD::S(C)
    • S(i);N_GUARD::S(C),XS(i)
  • Tries
    • Try
      • B(J);
      • Threat
        • P=Q
      • Vars
        • B(a);XQ(B)::P=Q
        • B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
        • S(c);N_GUARD,XP(F)::S(C)
        • S(i);N_GUARD,XP(F)::S(C)
        • P(e);XS(C)::P=Q
        • P(f);XP(F)::P=Q
        • Q(g);::P=Q
        • B(a);::P=Q
        • B(b);P_SPINP(d)::P=Q
        • S(c);N_GUARD::S(C),XS(c)
        • P(d);::P=Q
        • P(e);::P=Q
      • Refutation
        • B(a);XP(F)
    • Try
      • B(J);
      • Threat
        • P=Q
      • Vars
        • B(a);OGATE,XP(F)::R1(A)
        • B(b);XP(D)::P=Q
        • S(c);N_GUARD,XP(F)::S(C)
        • S(i);N_GUARD,XP(F)::S(C)
        • P(e);XS(C)::P=Q
        • P(f);XP(F)::P=Q
        • Q(g);::P=Q
        • B(a);::P=Q
        • B(b);::P=Q
        • S(c);N_GUARD::S(C),XS(c)
        • P(e);::P=Q
      • Refutation
        • B(b);XP(E)
    • Try
      • B(J);
      • Threat
        • P=Q
      • Vars
        • B(a);OGATE,XP(F)::R1(A)
        • B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
        • S(c);XB(J)::S(C),XS(c)
        • S(i);N_GUARD,XP(F)::S(C)
        • P(e);XS(C)::P=Q
        • P(f);XP(F)::P=Q
        • Q(g);::P=Q
        • B(b);P_SPINP(d)::P=Q
        • S(c);::P=Q
        • P(d);::P=Q
        • P(e);::P=Q
      • Refutation
        • S(c);XP(F)
    • Try
      • B(J);
      • Threat
        • P=Q
      • Vars
        • B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
        • S(c);N_GUARD,XP(F)::S(C)
        • P(e);XS(C)::P=Q
        • P(f);XP(F)::P=Q
        • Q(g);::P=Q
        • B(a);::P=Q
        • B(b);P_SPINP(d)::P=Q
        • S(c);N_GUARD::S(C),XS(c)
        • S(i);::P=Q
        • P(d);::P=Q
        • P(e);::P=Q
      • Refutation
        • S(i);XP(F)
    • Try
      • B(J);XP(f)
      • Threat
        • P=Q
      • Vars
        • B(a);OGATE,XP(F)::R1(A)
        • B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
        • S(c);N_GUARD,XP(F)::S(C)
        • S(i);N_GUARD,XP(F)::S(C)
        • P(e);XS(C)::P=Q
        • Q(g);::P=Q
        • B(a);OGATE::R1(A)
        • B(a);::P=Q
        • B(b);P_SPINP(d)::P=Q
        • S(c);N_GUARD::S(C),XS(c)
        • P(d);::P=Q
        • P(e);::P=Q
      • Refutation
        • Q(g);XB(J)
    • Try
      • P(H);XS(i)
      • Threat
        • DUALS(2)
      • Vars
        • Q(g);XS(H)::S(C)
        • B(a);OGATE,XP(F)::R1(A)
        • B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
        • P(e);XS(C)::S(H)
        • B(a);OGATE::R1(A)
      • Refutation
        • P(f);XP(F)
  • Actual
    • B(J);
    • Threat
      • P=Q
    • Vars
      • B(a);OGATE,XB(J)::R1(A)
      • B(a);OGATE,XP(F)::R1(A)
      • B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
      • S(c);N_GUARD,XP(F)::S(C)
      • S(i);N_GUARD,XP(F)::S(C)
      • P(e);XS(C)::P=Q
      • P(f);XP(F)::P=Q
      • Q(g);::P=Q
      • B(a);::P=Q
      • B(b);P_SPINP(d)::P=Q
      • S(c);N_GUARD::S(C),XS(c)
      • P(d);::P=Q
      • P(e);::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).