Problem Display
PID: 109110 (Q3qN2/4b3/1r3P2/R4B1p/1N1B1k1P/r3pPp1/P2nP3/6K1 w - - 0 1)

Paavilainen, Jorma

Suomen Tehtavaniekat, 2006

Q3qN2/4b3/1r3P2/R4B1p/1N1B1k1P/r3pPp1/P2nP3/6K1

#2

12 + 9


6490 yacpdb 2009

SOLUTION


  • SOUND
  • Sets
    • 1...Qa4
      • 2.Sg6#
    • 1...Qc6
      • 2.Sg6#
    • 1...Qg6
      • 2.Sxg6#
    • 1...Qd7
      • 2.Sg6#
    • 1...Qxa8
      • 2.Sg6#
    • 1...Qb8
      • 2.Sg6#
    • 1...Qc8
      • 2.Sg6#
    • 1...Qd8
      • 2.Sg6#
    • 1...Rxa2
      • 2.Sd3#
    • 1...Rd3
      • 2.Sxd3#
    • 1...Ra4
      • 2.Sd3#
    • 1...Rxb4
      • 2.Se6#
    • 1...Re6
      • 2.Sxe6#
    • 1...Rb7
      • 2.Se6#
    • 1...Rb8
      • 2.Se6#
    • 1...Sb1
      • 2.Qe4#
    • 1...Sf1
      • 2.Qe4#
    • 1...Sb3
      • 2.Sd3#
      • 2.Qe4#
    • 1...Sxf3+
      • 2.Qxf3#
    • 1...Sc4
      • 2.Qe4#
    • 1...Se4
      • 2.Qxe4#
  • Tries
    • 1.Bb1?
      • threat
        • 2.Sd5#
        • 2.Be5#
        • 2.Rf5#
      • 1...Sxf3+
        • 2.Qxf3#
      • 1...Qxa8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxb4
        • 2.Se6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxf6
        • 2.Sd5#
        • 2.Be5#
      • 1...Bxb4
        • 2.Rf5#
      • 1...Bxf6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bxf8
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sxb1
        • 2.Qe4#
      • 1...g2
        • 2.Be5#
      • 1...Qb5
        • 2.Sg6#
      • 1...Qc6
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Qg6
        • 2.Sd5#
        • 2.Sxg6#
        • 2.Be5#
      • 1...Qd7
        • 2.Sg6#
        • 2.Be5#
      • 1...Qf7
        • 2.Be5#
        • 2.Rf5#
      • 1...Qb8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Rf5#
      • 1...Qc8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Be5#
      • 1...Qd8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rd3
        • 2.Sxd3#
      • 1...Rb5
        • 2.Se6#
      • 1...Rd6
        • 2.Be5#
        • 2.Rf5#
      • 1...Re6
        • 2.Sd5#
        • 2.Sxe6#
        • 2.Rf5#
      • 1...Bc5
        • 2.Sd5#
      • 1...Bd6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bd8
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sc4
        • 2.Sd5#
        • 2.Rf5#
        • 2.Qe4#
      • 1...Se4
        • 2.Qxe4#
      • 1...Rxa5!
    • 1.Bc2?
      • threat
        • 2.Sd5#
        • 2.Be5#
        • 2.Rf5#
      • 1...Sxf3+
        • 2.Qxf3#
      • 1...Qxa8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxb4
        • 2.Se6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxf6
        • 2.Sd5#
        • 2.Be5#
      • 1...Bxb4
        • 2.Rf5#
      • 1...Bxf6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bxf8
        • 2.Sd5#
        • 2.Rf5#
      • 1...g2
        • 2.Be5#
      • 1...Qb5
        • 2.Sg6#
      • 1...Qc6
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Qg6
        • 2.Sd5#
        • 2.Sxg6#
        • 2.Be5#
      • 1...Qd7
        • 2.Sg6#
        • 2.Be5#
      • 1...Qf7
        • 2.Be5#
        • 2.Rf5#
      • 1...Qb8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Rf5#
      • 1...Qc8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Be5#
      • 1...Qd8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rd3
        • 2.Sxd3#
      • 1...Rb5
        • 2.Se6#
      • 1...Rd6
        • 2.Be5#
        • 2.Rf5#
      • 1...Re6
        • 2.Sd5#
        • 2.Sxe6#
        • 2.Rf5#
      • 1...Bc5
        • 2.Sd5#
      • 1...Bd6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bd8
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sc4
        • 2.Sd5#
        • 2.Rf5#
        • 2.Qe4#
      • 1...Se4
        • 2.Qxe4#
      • 1...Rxa5!
    • 1.Bd3?
      • threat
        • 2.Sd5#
        • 2.Be5#
        • 2.Rf5#
      • 1...Sxf3+
        • 2.Qxf3#
      • 1...Qxa8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxd3
        • 2.Sxd3#
      • 1...Rxb4
        • 2.Se6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxf6
        • 2.Sd5#
        • 2.Be5#
      • 1...Bxb4
        • 2.Rf5#
      • 1...Bxf6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bxf8
        • 2.Sd5#
        • 2.Rf5#
      • 1...g2
        • 2.Be5#
      • 1...Qb5
        • 2.Sg6#
      • 1...Qc6
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Qg6
        • 2.Sd5#
        • 2.Sxg6#
        • 2.Be5#
      • 1...Qd7
        • 2.Sg6#
        • 2.Be5#
      • 1...Qf7
        • 2.Be5#
        • 2.Rf5#
      • 1...Qb8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Rf5#
      • 1...Qc8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Be5#
      • 1...Qd8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rb5
        • 2.Se6#
      • 1...Rd6
        • 2.Be5#
        • 2.Rf5#
      • 1...Re6
        • 2.Sd5#
        • 2.Sxe6#
        • 2.Rf5#
      • 1...Bc5
        • 2.Sd5#
      • 1...Bd6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bd8
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sc4
        • 2.Sd5#
        • 2.Rf5#
        • 2.Qe4#
      • 1...Se4
        • 2.Qxe4#
      • 1...Rxa5!
    • 1.Be4?
      • threat
        • 2.Sd5#
        • 2.Be5#
        • 2.Rf5#
      • 1...Qxa8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxa5
        • 2.Sd3#
      • 1...Rxb4
        • 2.Se6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxf6
        • 2.Sd5#
        • 2.Be5#
      • 1...Bxb4
        • 2.Rf5#
      • 1...Bxf6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bxf8
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sxe4
        • 2.Qxe4#
      • 1...g2
        • 2.Be5#
      • 1...Qb5
        • 2.Sg6#
      • 1...Qc6
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Qg6
        • 2.Sd5#
        • 2.Sxg6#
        • 2.Be5#
      • 1...Qd7
        • 2.Sg6#
        • 2.Be5#
      • 1...Qf7
        • 2.Be5#
        • 2.Rf5#
      • 1...Qb8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Rf5#
      • 1...Qc8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Be5#
      • 1...Qd8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rb5
        • 2.Se6#
      • 1...Rd6
        • 2.Be5#
        • 2.Rf5#
      • 1...Re6
        • 2.Sd5#
        • 2.Sxe6#
        • 2.Rf5#
      • 1...Bc5
        • 2.Sd5#
      • 1...Bd6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bd8
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sc4
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sxf3+!
    • 1.Bg4?
      • threat
        • 2.Sd5#
        • 2.Be5#
        • 2.Rf5#
      • 1...Sxf3+
        • 2.Qxf3#
      • 1...Qxa8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxa5
        • 2.Sd3#
      • 1...Rxb4
        • 2.Se6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxf6
        • 2.Sd5#
        • 2.Be5#
      • 1...Bxb4
        • 2.Rf5#
      • 1...Bxf6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bxf8
        • 2.Sd5#
        • 2.Rf5#
      • 1...g2
        • 2.Be5#
      • 1...Qb5
        • 2.Sg6#
      • 1...Qc6
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Qg6
        • 2.Sd5#
        • 2.Sxg6#
        • 2.Be5#
      • 1...Qd7
        • 2.Sg6#
        • 2.Be5#
      • 1...Qf7
        • 2.Be5#
        • 2.Rf5#
      • 1...Qb8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Rf5#
      • 1...Qc8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Be5#
      • 1...Qd8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rb5
        • 2.Se6#
      • 1...Rd6
        • 2.Be5#
        • 2.Rf5#
      • 1...Re6
        • 2.Sd5#
        • 2.Sxe6#
        • 2.Rf5#
      • 1...Bc5
        • 2.Sd5#
      • 1...Bd6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bd8
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sc4
        • 2.Sd5#
        • 2.Rf5#
        • 2.Qe4#
      • 1...hxg4!
    • 1.Be6?
      • threat
        • 2.Sd5#
        • 2.Be5#
        • 2.Rf5#
      • 1...Sxf3+
        • 2.Qxf3#
      • 1...Qxa8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxa5
        • 2.Sd3#
      • 1...Rxb4
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxe6
        • 2.Sxe6#
      • 1...Bxb4
        • 2.Be5#
        • 2.Rf5#
      • 1...Bxf6
        • 2.Sd5#
        • 2.Rf5#
      • 1...g2
        • 2.Be5#
      • 1...Qb5
        • 2.Sg6#
      • 1...Qc6
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Qg6
        • 2.Sd5#
        • 2.Sxg6#
        • 2.Be5#
      • 1...Qd7
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Qb8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Rf5#
      • 1...Qd8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rd6
        • 2.Be5#
        • 2.Rf5#
      • 1...Bc5
        • 2.Sd5#
      • 1...Bd6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sc4
        • 2.Sd5#
        • 2.Rf5#
        • 2.Qe4#
      • 1...Rb5!
    • 1.Bg6?
      • threat
        • 2.Sd5#
        • 2.Be5#
        • 2.Rf5#
      • 1...Sxf3+
        • 2.Qxf3#
      • 1...Qxg6
        • 2.Sxg6#
      • 1...Qxa8
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxa5
        • 2.Sd3#
      • 1...Rxb4
        • 2.Se6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxf6
        • 2.Sd5#
        • 2.Be5#
      • 1...Bxb4
        • 2.Rf5#
      • 1...Bxf6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bxf8
        • 2.Sd5#
        • 2.Rf5#
      • 1...g2
        • 2.Be5#
      • 1...Qc6
        • 2.Be5#
        • 2.Rf5#
      • 1...Qd7
        • 2.Be5#
      • 1...Qf7
        • 2.Be5#
        • 2.Rf5#
      • 1...Qb8
        • 2.Sd5#
        • 2.Rf5#
      • 1...Qc8
        • 2.Sd5#
        • 2.Be5#
      • 1...Qd8
        • 2.Be5#
        • 2.Rf5#
      • 1...Rb5
        • 2.Se6#
      • 1...Rd6
        • 2.Be5#
        • 2.Rf5#
      • 1...Re6
        • 2.Sd5#
        • 2.Sxe6#
        • 2.Rf5#
      • 1...Bc5
        • 2.Sd5#
      • 1...Bd6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bd8
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sc4
        • 2.Sd5#
        • 2.Rf5#
        • 2.Qe4#
      • 1...Qb5!
    • 1.Bd7?
      • threat
        • 2.Sd5#
        • 2.Be5#
        • 2.Rf5#
      • 1...Sxf3+
        • 2.Qxf3#
      • 1...Qxd7
        • 2.Sg6#
      • 1...Qxa8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxa5
        • 2.Sd3#
      • 1...Rxb4
        • 2.Se6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxf6
        • 2.Sd5#
        • 2.Be5#
      • 1...Bxb4
        • 2.Rf5#
      • 1...Bxf6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bxf8
        • 2.Sd5#
        • 2.Rf5#
      • 1...g2
        • 2.Be5#
      • 1...Qg6
        • 2.Sd5#
        • 2.Sxg6#
        • 2.Be5#
      • 1...Qf7
        • 2.Be5#
        • 2.Rf5#
      • 1...Qb8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Rf5#
      • 1...Rd6
        • 2.Be5#
        • 2.Rf5#
      • 1...Re6
        • 2.Sxe6#
      • 1...Bc5
        • 2.Sd5#
      • 1...Bd6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bd8
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sc4
        • 2.Sd5#
        • 2.Rf5#
        • 2.Qe4#
      • 1...Rb5!
    • 1.Bh7?
      • threat
        • 2.Sd5#
        • 2.Be5#
        • 2.Rf5#
      • 1...Sxf3+
        • 2.Qxf3#
      • 1...Qxa8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxa5
        • 2.Sd3#
      • 1...Rxb4
        • 2.Se6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxf6
        • 2.Sd5#
        • 2.Be5#
      • 1...Bxb4
        • 2.Rf5#
      • 1...Bxf6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bxf8
        • 2.Sd5#
        • 2.Rf5#
      • 1...g2
        • 2.Be5#
      • 1...Rb5
        • 2.Se6#
      • 1...Qc6
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Qg6
        • 2.Sxg6#
      • 1...Qd7
        • 2.Sg6#
        • 2.Be5#
      • 1...Qf7
        • 2.Be5#
        • 2.Rf5#
      • 1...Qb8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Rf5#
      • 1...Qc8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Be5#
      • 1...Qd8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rd6
        • 2.Be5#
        • 2.Rf5#
      • 1...Re6
        • 2.Sd5#
        • 2.Sxe6#
        • 2.Rf5#
      • 1...Bc5
        • 2.Sd5#
      • 1...Bd6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bd8
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sc4
        • 2.Sd5#
        • 2.Rf5#
        • 2.Qe4#
      • 1...Qb5!
    • 1.Bc8?
      • threat
        • 2.Sd5#
        • 2.Be5#
        • 2.Rf5#
      • 1...Sxf3+
        • 2.Qxf3#
      • 1...Qxc8
        • 2.Sg6#
      • 1...Rxa5
        • 2.Sd3#
      • 1...Rxb4
        • 2.Se6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxf6
        • 2.Sd5#
        • 2.Be5#
      • 1...Bxb4
        • 2.Rf5#
      • 1...Bxf6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bxf8
        • 2.Sd5#
        • 2.Rf5#
      • 1...g2
        • 2.Be5#
      • 1...Qb5
        • 2.Sg6#
      • 1...Qc6
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Qg6
        • 2.Sd5#
        • 2.Sxg6#
        • 2.Be5#
      • 1...Qd7
        • 2.Sg6#
      • 1...Qf7
        • 2.Be5#
        • 2.Rf5#
      • 1...Qd8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rd6
        • 2.Be5#
        • 2.Rf5#
      • 1...Re6
        • 2.Sxe6#
      • 1...Bc5
        • 2.Sd5#
      • 1...Bd6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bd8
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sc4
        • 2.Sd5#
        • 2.Rf5#
        • 2.Qe4#
      • 1...Rb5!
    • 1.Qb8+?
      • 1...Qxb8
        • 2.Sg6#
      • 1...Rd6
        • 2.Se6#
      • 1...Rxb8
        • 2.Se6#
      • 1...Bd6!
  • Keys
    • 1.Bh3!
      • threat
        • 2.Sd5#
        • 2.Be5#
        • 2.Rf5#
      • 1...Sxf3+
        • 2.Qxf3#
      • 1...Qxa8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxa5
        • 2.Sd3#
      • 1...Rxb4
        • 2.Se6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rxf6
        • 2.Sd5#
        • 2.Be5#
      • 1...Bxb4
        • 2.Rf5#
      • 1...Bxf6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bxf8
        • 2.Sd5#
        • 2.Rf5#
      • 1...g2
        • 2.Be5#
      • 1...Qb5
        • 2.Sg6#
      • 1...Qc6
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Qg6
        • 2.Sd5#
        • 2.Sxg6#
        • 2.Be5#
      • 1...Qd7
        • 2.Sg6#
        • 2.Be5#
      • 1...Qf7
        • 2.Be5#
        • 2.Rf5#
      • 1...Qb8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Rf5#
      • 1...Qc8
        • 2.Sd5#
        • 2.Sg6#
        • 2.Be5#
      • 1...Qd8
        • 2.Sg6#
        • 2.Be5#
        • 2.Rf5#
      • 1...Rb5
        • 2.Se6#
      • 1...Rd6
        • 2.Be5#
        • 2.Rf5#
      • 1...Re6
        • 2.Sd5#
        • 2.Sxe6#
        • 2.Rf5#
      • 1...Bc5
        • 2.Sd5#
      • 1...Bd6
        • 2.Sd5#
        • 2.Rf5#
      • 1...Bd8
        • 2.Sd5#
        • 2.Rf5#
      • 1...Sc4
        • 2.Sd5#
        • 2.Rf5#
        • 2.Qe4#

FEATURES


  • Static
    • TYPE = THREAT
    • CHANGED MATES = 0
    • ADDED MATES = 6
    • REMOVED MATES = 19
  • Sets
    • Q(i);N_GUARD::S(L)
    • Q(i);N_GUARD::S(L),XQ(i)
    • Q(i);N_GUARD,XQ(K)::S(L)
    • R(b);N_GUARD,XP(B)::S(E)
    • R(b);N_GUARD::S(E),XR(b)
    • R(b);N_GUARD::S(E)
    • R(g);N_GUARD,XS(E)::S(L)
    • R(g);N_GUARD::S(L),XR(g)
    • R(g);N_GUARD::S(L)
    • S(a);N_GUARD::QAR1(K)
    • S(a);CHECK,OGATE,XP(D)::QAR1(K),XS(a)
    • S(a);N_GUARD::QAR1(K),XS(a)
  • Tries
    • Try
      • B(I);
      • Threat
        • DUALS(3)
      • Vars
        • S(a);CHECK,OGATE,XP(D)::QAR1(K),XS(a)
        • B(h);XS(E)::R1(H)
        • S(a);N_GUARD,XB(I)::QAR1(K)
        • P(d);::B(F)
        • Q(i);N_GUARD::S(L)
        • R(b);N_GUARD::S(E),XR(b)
        • R(g);N_GUARD::S(L)
        • B(h);::S(E)
        • S(a);N_GUARD::QAR1(K),XS(a)
      • Refutation
        • R(b);XR(H)
    • Try
      • B(I);
      • Threat
        • DUALS(3)
      • Vars
        • S(a);CHECK,OGATE,XP(D)::QAR1(K),XS(a)
        • B(h);XS(E)::R1(H)
        • P(d);::B(F)
        • Q(i);N_GUARD::S(L)
        • R(b);N_GUARD::S(E),XR(b)
        • R(g);N_GUARD::S(L)
        • B(h);::S(E)
        • S(a);N_GUARD::QAR1(K),XS(a)
      • Refutation
        • R(b);XR(H)
    • Try
      • B(I);
      • Threat
        • DUALS(3)
      • Vars
        • S(a);CHECK,OGATE,XP(D)::QAR1(K),XS(a)
        • R(b);XB(I)::S(E),XR(b)
        • B(h);XS(E)::R1(H)
        • P(d);::B(F)
        • Q(i);N_GUARD::S(L)
        • R(g);N_GUARD::S(L)
        • B(h);::S(E)
        • S(a);N_GUARD::QAR1(K),XS(a)
      • Refutation
        • R(b);XR(H)
    • Try
      • B(I);
      • Threat
        • DUALS(3)
      • Vars
        • R(b);N_GUARD,XR(H)::S(E)
        • B(h);XS(E)::R1(H)
        • S(a);OGATE,XB(I)::QAR1(K),XS(a)
        • P(d);::B(F)
        • Q(i);N_GUARD::S(L)
        • R(g);N_GUARD::S(L)
        • B(h);::S(E)
      • Refutation
        • S(a);CHECK,XP(D)
    • Try
      • B(I);
      • Threat
        • DUALS(3)
      • Vars
        • S(a);CHECK,OGATE,XP(D)::QAR1(K),XS(a)
        • R(b);N_GUARD,XR(H)::S(E)
        • B(h);XS(E)::R1(H)
        • P(d);::B(F)
        • Q(i);N_GUARD::S(L)
        • R(g);N_GUARD::S(L)
        • B(h);::S(E)
      • Refutation
        • P(f);XB(I)
    • Try
      • B(I);
      • Threat
        • DUALS(3)
      • Vars
        • S(a);CHECK,OGATE,XP(D)::QAR1(K),XS(a)
        • R(b);N_GUARD,XR(H)::S(E)
        • R(g);XB(I)::S(L),XR(g)
        • P(d);::B(F)
        • Q(i);N_GUARD::S(L)
        • B(h);::S(E)
      • Refutation
        • R(g);
    • Try
      • B(I);
      • Threat
        • DUALS(3)
      • Vars
        • S(a);CHECK,OGATE,XP(D)::QAR1(K),XS(a)
        • Q(i);XB(I)::S(L),XQ(i)
        • R(b);N_GUARD,XR(H)::S(E)
        • B(h);XS(E)::R1(H)
        • P(d);::B(F)
        • Q(i);::B(F)
        • R(g);N_GUARD::S(L)
        • B(h);::S(E)
      • Refutation
        • Q(i);
    • Try
      • B(I);
      • Threat
        • DUALS(3)
      • Vars
        • S(a);CHECK,OGATE,XP(D)::QAR1(K),XS(a)
        • Q(i);N_GUARD,XB(I)::S(L)
        • R(b);N_GUARD,XR(H)::S(E)
        • B(h);XS(E)::R1(H)
        • P(d);::B(F)
        • R(g);N_GUARD::S(L),XR(g)
        • B(h);::S(E)
      • Refutation
        • R(g);
    • Try
      • B(I);
      • Threat
        • DUALS(3)
      • Vars
        • S(a);CHECK,OGATE,XP(D)::QAR1(K),XS(a)
        • R(b);N_GUARD,XR(H)::S(E)
        • B(h);XS(E)::R1(H)
        • P(d);::B(F)
        • R(g);N_GUARD::S(L)
        • Q(i);N_GUARD::S(L),XQ(i)
        • B(h);::S(E)
      • Refutation
        • Q(i);
    • Try
      • B(I);
      • Threat
        • DUALS(3)
      • Vars
        • S(a);CHECK,OGATE,XP(D)::QAR1(K),XS(a)
        • Q(i);N_GUARD,XB(I)::S(L)
        • R(b);N_GUARD,XR(H)::S(E)
        • B(h);XS(E)::R1(H)
        • P(d);::B(F)
        • Q(i);N_GUARD::S(L)
        • R(g);N_GUARD::S(L),XR(g)
        • B(h);::S(E)
      • Refutation
        • R(g);
    • Try
      • Q(K);CHECK
      • Vars
        • Q(i);XQ(K)::S(L)
        • R(g);P_SPINR(g)::S(L)
        • R(g);XQ(K)::S(L)
      • Refutation
        • B(h);P_SPINB(h)
  • Actual
    • B(I);
    • Threat
      • DUALS(3)
    • Vars
      • S(a);CHECK,OGATE,XP(D)::QAR1(K),XS(a)
      • R(b);N_GUARD,XR(H)::S(E)
      • B(h);XS(E)::R1(H)
      • P(d);::B(F)
      • Q(i);N_GUARD::S(L)
      • R(g);N_GUARD::S(L)
      • B(h);::S(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).