Problem Display
PID: 9975 (6B1/r3p3/6Q1/2N2R2/bp2R1p1/p1p2pqP/2kp4/KnrnbN2 w - - 0 1)

Bartolovic, Hrvoje

2nd Prize, Die Schwalbe, 1961

6B1/r3p3/6Q1/2N2R2/bp2R1p1/p1p2pqP/2kp4/KnrnbN2

#2

8 + 15


3147 Chess Problems: Introduction to an Art 1963
274 diagrammes 1974
12701 Brazilian Solving Championship 2002-2003
5405 Chess Solving Yearbook 2003 2004
5503 ISC 2008
15652 Tehtavaniekka 2012
56 The Problemist 2014

SOLUTION


  • SOUND
  • Sets
    • 1...Bb3
      • 2.Bxb3#
    • 1...Bb5
      • 2.Bb3#
    • 1...Bc6
      • 2.Bb3#
    • 1...Bd7
      • 2.Bb3#
    • 1...Be8
      • 2.Bb3#
    • 1...Sb2
      • 2.Se3#
    • 1...Sf2
      • 2.Se3#
    • 1...Se3
      • 2.Sxe3#
  • Tries
    • 1.Re2?
      • threat
        • 2.Rxf3#
        • 2.Rf4#
        • 2.Rd5#
        • 2.Rfe5#
        • 2.Rg5#
        • 2.Rh5#
        • 2.Rf6#
        • 2.Rf7#
        • 2.Rf8#
      • 1...fxe2
        • 2.Rf3#
      • 1...gxh3
        • 2.Rg5#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Qe5
        • 2.Rfxe5#
      • 1...Ra6
        • 2.Rf6#
      • 1...Rd7
        • 2.Rd5#
      • 1...Bb5
        • 2.Bb3#
      • 1...Bc6
        • 2.Bb3#
        • 2.Rd5#
      • 1...Bd7
        • 2.Bb3#
      • 1...Be8
        • 2.Bb3#
        • 2.Rf7#
      • 1...f2
        • 2.Rf3#
      • 1...e5
        • 2.Rfxe5#
      • 1...Qd6!
    • 1.Rxb4?
      • threat
        • 2.Rxf3#
        • 2.Rff4#
        • 2.Rd5#
        • 2.Re5#
        • 2.Rg5#
        • 2.Rh5#
        • 2.Rf6#
        • 2.Rf7#
        • 2.Rf8#
      • 1...gxh3
        • 2.Rg5#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Qf4
        • 2.Rfxf4#
      • 1...Qe5
        • 2.Rxe5#
      • 1...Ra6
        • 2.Rf6#
      • 1...Rd7
        • 2.Rd5#
      • 1...Bb5
        • 2.Bb3#
      • 1...Bc6
        • 2.Bb3#
        • 2.Rd5#
      • 1...Bd7
        • 2.Bb3#
      • 1...Be8
        • 2.Bb3#
        • 2.Rf7#
      • 1...f2
        • 2.Rf3#
      • 1...e5
        • 2.Rxe5#
      • 1...Qd6!
    • 1.Ref4?
      • threat
        • 2.Rd5#
        • 2.Re5#
        • 2.Rg5#
        • 2.Rh5#
        • 2.Rf6#
        • 2.Rf7#
        • 2.Rf8#
      • 1...Qxf4
        • 2.Rxf4#
      • 1...gxh3
        • 2.Rg5#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Ra6
        • 2.Rf6#
      • 1...Rd7
        • 2.Rd5#
      • 1...Bb5
        • 2.Bb3#
      • 1...Bc6
        • 2.Bb3#
        • 2.Rd5#
      • 1...Bd7
        • 2.Bb3#
      • 1...Be8
        • 2.Bb3#
        • 2.Rf7#
      • 1...e5
        • 2.Rxe5#
      • 1...f2!
    • 1.Ree5?
      • threat
        • 2.Rxf3#
        • 2.Rf4#
        • 2.Rg5#
        • 2.Rh5#
        • 2.Rf6#
        • 2.Rf7#
        • 2.Rf8#
      • 1...Qxe5
        • 2.Rxe5#
      • 1...gxh3
        • 2.Rg5#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Ra6
        • 2.Rf6#
      • 1...Bb5
        • 2.Bb3#
      • 1...Bc6
        • 2.Bb3#
      • 1...Bd7
        • 2.Bb3#
      • 1...Be8
        • 2.Bb3#
        • 2.Rf7#
      • 1...f2
        • 2.Rf3#
      • 1...Rd7!
    • 1.Re6?
      • threat
        • 2.Rxf3#
        • 2.Rf4#
        • 2.Rd5#
        • 2.Rfe5#
        • 2.Rg5#
        • 2.Rh5#
        • 2.Rff6#
        • 2.Rf7#
        • 2.Rf8#
      • 1...gxh3
        • 2.Rg5#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Qd6
        • 2.Rd5#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Qe5
        • 2.Rfxe5#
      • 1...Rd7
        • 2.Rd5#
      • 1...Bc6
        • 2.Rd5#
      • 1...Be8
        • 2.Rf7#
      • 1...f2
        • 2.Rf3#
      • 1...Bb5!
    • 1.Rxe7?
      • threat
        • 2.Rxf3#
        • 2.Rf4#
        • 2.Rd5#
        • 2.Rfe5#
        • 2.Rg5#
        • 2.Rh5#
        • 2.Rf6#
        • 2.Rff7#
        • 2.Rf8#
      • 1...Rxe7
        • 2.Re5#
      • 1...gxh3
        • 2.Rg5#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Qe5
        • 2.Rfxe5#
      • 1...Ra6
        • 2.Rf6#
      • 1...Rd7
        • 2.Rd5#
      • 1...Bb5
        • 2.Bb3#
      • 1...Bc6
        • 2.Bb3#
        • 2.Rd5#
      • 1...Bd7
        • 2.Bb3#
      • 1...Be8
        • 2.Bb3#
        • 2.Rff7#
      • 1...f2
        • 2.Rf3#
      • 1...Qd6!
    • 1.Rff4?
      • threat
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Re5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...Qxf4
        • 2.Rxf4#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Ra6
        • 2.Re6#
      • 1...Rd7
        • 2.Rd4#
      • 1...Bf2
        • 2.Re1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Re5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...Bb5
        • 2.Bb3#
        • 2.Rc4#
      • 1...Bc6
        • 2.Bb3#
      • 1...Bd7
        • 2.Bb3#
        • 2.Re6#
      • 1...Be8
        • 2.Bb3#
      • 1...f2
        • 2.Re3#
      • 1...b3
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxa4#
        • 2.Rb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Re5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...e5
        • 2.Rxe5#
      • 1...e6
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Re5#
        • 2.Rxe6#
      • 1...gxh3!
    • 1.Rd5?
      • threat
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Red4#
        • 2.Rf4#
        • 2.Rxg4#
        • 2.Ree5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...gxh3
        • 2.Rg4#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Qd6
        • 2.Re6#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Qe5
        • 2.Rexe5#
      • 1...Ra6
        • 2.Re6#
      • 1...Bf2
        • 2.Re1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Red4#
        • 2.Rf4#
        • 2.Rxg4#
        • 2.Ree5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...Bb5
        • 2.Rc4#
      • 1...Bd7
        • 2.Re6#
      • 1...f2
        • 2.Re3#
      • 1...b3
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxa4#
        • 2.Rb4#
        • 2.Rc4#
        • 2.Red4#
        • 2.Rf4#
        • 2.Rxg4#
        • 2.Ree5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...e5
        • 2.Rexe5#
      • 1...e6
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Red4#
        • 2.Rf4#
        • 2.Rxg4#
        • 2.Ree5#
        • 2.Rxe6#
      • 1...Be8!
    • 1.Rfe5?
      • threat
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Rxg4#
      • 1...Qxe5
        • 2.Rxe5#
      • 1...gxh3
        • 2.Rg4#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Rd7
        • 2.Rd4#
      • 1...Bf2
        • 2.Re1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Rxg4#
      • 1...Bb5
        • 2.Bb3#
        • 2.Rc4#
      • 1...Bc6
        • 2.Bb3#
      • 1...Bd7
        • 2.Bb3#
      • 1...Be8
        • 2.Bb3#
      • 1...f2
        • 2.Re3#
      • 1...b3
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxa4#
        • 2.Rb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Rxg4#
      • 1...Ra6!
    • 1.Rg5?
      • threat
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Rexg4#
        • 2.Ree5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...gxh3
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Reg4#
        • 2.Rh4#
        • 2.Ree5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Qe5
        • 2.Rexe5#
      • 1...Ra6
        • 2.Re6#
      • 1...Rd7
        • 2.Rd4#
      • 1...Bf2
        • 2.Re1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Rexg4#
        • 2.Ree5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...Bb5
        • 2.Bb3#
        • 2.Rc4#
      • 1...Bc6
        • 2.Bb3#
      • 1...Bd7
        • 2.Bb3#
        • 2.Re6#
      • 1...Be8
        • 2.Bb3#
      • 1...f2
        • 2.Re3#
      • 1...b3
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxa4#
        • 2.Rb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Rexg4#
        • 2.Ree5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...e5
        • 2.Rexe5#
      • 1...e6
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Rexg4#
        • 2.Ree5#
        • 2.Rxe6#
      • 1...Qd6!
    • 1.Rh5?
      • threat
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Rxg4#
        • 2.Ree5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...gxh3
        • 2.Rg4#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Qe5
        • 2.Rexe5#
      • 1...Ra6
        • 2.Re6#
      • 1...Rd7
        • 2.Rd4#
      • 1...Bf2
        • 2.Re1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Rxg4#
        • 2.Ree5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...Bb5
        • 2.Bb3#
        • 2.Rc4#
      • 1...Bc6
        • 2.Bb3#
      • 1...Bd7
        • 2.Bb3#
        • 2.Re6#
      • 1...Be8
        • 2.Bb3#
      • 1...f2
        • 2.Re3#
      • 1...b3
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxa4#
        • 2.Rb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Rxg4#
        • 2.Ree5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...e5
        • 2.Rexe5#
      • 1...e6
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Rxg4#
        • 2.Ree5#
        • 2.Rxe6#
      • 1...Qd6!
    • 1.Rf6?
      • threat
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Ref4#
        • 2.Rxg4#
        • 2.Re5#
        • 2.Ree6#
        • 2.Rxe7#
      • 1...gxh3
        • 2.Rg4#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Qd6
        • 2.Rd4#
      • 1...Qf4
        • 2.Rexf4#
      • 1...Qe5
        • 2.Rxe5#
      • 1...Rd7
        • 2.Rd4#
      • 1...Bf2
        • 2.Re1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Ref4#
        • 2.Rxg4#
        • 2.Re5#
        • 2.Ree6#
        • 2.Rxe7#
      • 1...Bb5
        • 2.Bb3#
        • 2.Rc4#
      • 1...Bc6
        • 2.Bb3#
      • 1...Bd7
        • 2.Bb3#
        • 2.Ree6#
      • 1...Be8
        • 2.Bb3#
      • 1...f2
        • 2.Re3#
      • 1...b3
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxa4#
        • 2.Rb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Ref4#
        • 2.Rxg4#
        • 2.Re5#
        • 2.Ree6#
        • 2.Rxe7#
      • 1...e5
        • 2.Rxe5#
      • 1...e6
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Ref4#
        • 2.Rxg4#
        • 2.Re5#
        • 2.Rexe6#
      • 1...exf6!
    • 1.Rf8?
      • threat
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Ref4#
        • 2.Rxg4#
        • 2.Re5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...gxh3
        • 2.Rg4#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Qf4
        • 2.Rexf4#
      • 1...Qe5
        • 2.Rxe5#
      • 1...Ra6
        • 2.Re6#
      • 1...Rd7
        • 2.Rd4#
      • 1...Bf2
        • 2.Re1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Ref4#
        • 2.Rxg4#
        • 2.Re5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...Bb5
        • 2.Bb3#
        • 2.Rc4#
      • 1...Bc6
        • 2.Bb3#
      • 1...Bd7
        • 2.Bb3#
        • 2.Re6#
      • 1...Be8
        • 2.Bb3#
      • 1...f2
        • 2.Re3#
      • 1...b3
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxa4#
        • 2.Rb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Ref4#
        • 2.Rxg4#
        • 2.Re5#
        • 2.Re6#
        • 2.Rxe7#
      • 1...e5
        • 2.Rxe5#
      • 1...e6
        • 2.Rxe1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxb4#
        • 2.Rc4#
        • 2.Rd4#
        • 2.Ref4#
        • 2.Rxg4#
        • 2.Re5#
        • 2.Rxe6#
      • 1...Qd6!
  • Keys
    • 1.Rd4!
      • threat
        • 2.Rxf3#
        • 2.Rff4#
        • 2.Rfd5#
        • 2.Re5#
        • 2.Rg5#
        • 2.Rh5#
        • 2.Rf6#
        • 2.Rf7#
        • 2.Rf8#
      • 1...gxh3
        • 2.Rg5#
      • 1...Sb2
        • 2.Se3#
      • 1...Sf2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Qd6
        • 2.Rf6#
      • 1...Qf4
        • 2.Rfxf4#
      • 1...Qe5
        • 2.Rxe5#
      • 1...Ra6
        • 2.Rf6#
      • 1...Bb5
        • 2.Bb3#
      • 1...Bc6
        • 2.Bb3#
        • 2.Rfd5#
      • 1...Bd7
        • 2.Bb3#
      • 1...Be8
        • 2.Bb3#
        • 2.Rf7#
      • 1...f2
        • 2.Rf3#
      • 1...e5
        • 2.Rxe5#

FEATURES


  • Static
    • TYPE = THREAT
    • CHANGED MATES = 0
    • ADDED MATES = 7
    • REMOVED MATES = 3
  • Sets
    • B(k);N_GUARD::B(H),XB(k)
    • B(k);N_GUARD::B(H)
    • S(c);N_GUARD::S(B)
    • S(c);N_GUARD::S(B),XS(c)
  • Tries
    • Try
      • R(D);P_PINP(f)
      • Threat
        • DUALS(9)
      • Vars
        • P(i);N_SPINP(f),XR(D)::QAB(G)+R(F)
        • P(m);XP(C)::QAB(G)+R(F)
        • S(c);N_GUARD::S(B)
        • S(c);N_GUARD::S(B),XS(c)
        • Q(j);::QAB(G)+R(F),XQ(j)
        • R(n);::QAB(G)+R(F)
        • B(k);N_GUARD::B(H)
        • P(i);::QAB(G)+R(F)
        • P(o);::QAB(G)+R(F),XP(o)
      • Refutation
        • Q(j);
    • Try
      • R(D);XP(l)
      • Threat
        • DUALS(9)
      • Vars
        • P(m);XP(C)::QAB(G)+R(F)
        • S(c);N_GUARD::S(B)
        • S(c);N_GUARD::S(B),XS(c)
        • Q(j);::QAB(G)+R(F),XQ(j)
        • R(n);::QAB(G)+R(F)
        • B(k);N_GUARD::B(H)
        • P(i);::QAB(G)+R(F)
        • P(o);::QAB(G)+R(F),XP(o)
      • Refutation
        • Q(j);
    • Try
      • R(D);
      • Threat
        • DUALS(7)
      • Vars
        • Q(j);OGATE,XR(D)::QAB(G)+R(F),XQ(j)
        • P(m);XP(C)::QAB(G)+R(F)
        • S(c);N_GUARD::S(B)
        • S(c);N_GUARD::S(B),XS(c)
        • R(n);::QAB(G)+R(F)
        • B(k);N_GUARD::B(H)
        • P(o);::QAB(G)+R(F),XP(o)
      • Refutation
        • P(i);
    • Try
      • R(D);
      • Threat
        • DUALS(7)
      • Vars
        • Q(j);OGATE,XR(D)::QAB(G)+R(F),XQ(j)
        • P(m);XP(C)::QAB(G)+R(F)
        • S(c);N_GUARD::S(B)
        • S(c);N_GUARD::S(B),XS(c)
        • Q(j);::QAB(G)+R(F),XQ(j)
        • R(n);::QAB(G)+R(F)
        • B(k);N_GUARD::B(H)
        • P(i);::QAB(G)+R(F)
      • Refutation
        • R(n);
    • Try
      • R(D);
      • Threat
        • DUALS(9)
      • Vars
        • P(m);XP(C)::QAB(G)+R(F)
        • S(c);N_GUARD::S(B)
        • S(c);N_GUARD::S(B),XS(c)
        • Q(j);::QAB(G)+R(F)
        • Q(j);::QAB(G)+R(F),XQ(j)
        • R(n);::QAB(G)+R(F)
        • B(k);::QAB(G)+R(F)
        • P(i);::QAB(G)+R(F)
      • Refutation
        • B(k);
    • Try
      • R(D);XP(o)
      • Threat
        • DUALS(9)
      • Vars
        • R(n);XR(D)::QAB(G)+R(F)
        • P(m);XP(C)::QAB(G)+R(F)
        • S(c);N_GUARD::S(B)
        • S(c);N_GUARD::S(B),XS(c)
        • Q(j);::QAB(G)+R(F),XQ(j)
        • R(n);::QAB(G)+R(F)
        • B(k);N_GUARD::B(H)
        • P(i);::QAB(G)+R(F)
      • Refutation
        • Q(j);
    • Try
      • R(F);
      • Threat
        • DUALS(9)
      • Vars
        • Q(j);OGATE,XR(F)::QAB(G)+R(D),XQ(j)
        • S(c);N_GUARD::S(B)
        • S(c);N_GUARD::S(B),XS(c)
        • R(n);::QAB(G)+R(D)
        • B(k);N_GUARD::B(H)
        • P(i);::QAB(G)+R(D)
        • P(o);::QAB(G)+R(D),XP(o)
      • Refutation
        • P(m);XP(C)
    • Try
      • R(F);
      • Threat
        • DUALS(11)
      • Vars
        • P(m);XP(C)::QAB(G)+R(D)
        • S(c);N_GUARD::S(B)
        • S(c);N_GUARD::S(B),XS(c)
        • Q(j);::QAB(G)+R(D)
        • Q(j);::QAB(G)+R(D),XQ(j)
        • R(n);::QAB(G)+R(D)
        • B(k);::QAB(G)+R(D)
        • P(i);::QAB(G)+R(D)
        • P(o);::QAB(G)+R(D),XP(o)
      • Refutation
        • B(k);
    • Try
      • R(F);
      • Threat
        • DUALS(8)
      • Vars
        • Q(j);OGATE,XR(F)::QAB(G)+R(D),XQ(j)
        • P(m);XP(C)::QAB(G)+R(D)
        • S(c);N_GUARD::S(B)
        • S(c);N_GUARD::S(B),XS(c)
        • Q(j);::QAB(G)+R(D),XQ(j)
        • R(n);::QAB(G)+R(D)
        • B(k);N_GUARD::B(H)
        • P(i);::QAB(G)+R(D)
      • Refutation
        • R(n);
    • Try
      • R(F);
      • Threat
        • DUALS(11)
      • Vars
        • S(c);N_GUARD::S(B)
        • S(c);N_GUARD::S(B),XS(c)
        • Q(j);::QAB(G)+R(D),XQ(j)
        • R(n);::QAB(G)+R(D)
        • B(k);N_GUARD::B(H)
        • P(i);::QAB(G)+R(D)
        • P(o);::QAB(G)+R(D),XP(o)
      • Refutation
        • Q(j);
    • Try
      • R(F);
      • Threat
        • DUALS(11)
      • Vars
        • P(m);XP(C)::QAB(G)+R(D)
        • S(c);N_GUARD::S(B)
        • S(c);N_GUARD::S(B),XS(c)
        • Q(j);::QAB(G)+R(D),XQ(j)
        • R(n);::QAB(G)+R(D)
        • B(k);N_GUARD::B(H)
        • P(i);::QAB(G)+R(D)
        • P(o);::QAB(G)+R(D),XP(o)
      • Refutation
        • Q(j);
    • Try
      • R(F);
      • Threat
        • DUALS(11)
      • Vars
        • P(m);XP(C)::QAB(G)+R(D)
        • S(c);N_GUARD::S(B)
        • S(c);N_GUARD::S(B),XS(c)
        • Q(j);::QAB(G)+R(D)
        • Q(j);::QAB(G)+R(D),XQ(j)
        • R(n);::QAB(G)+R(D)
        • B(k);N_GUARD::B(H)
        • P(i);::QAB(G)+R(D)
        • P(o);::QAB(G)+R(D),XP(o)
      • Refutation
        • P(o);XR(F)
    • Try
      • R(F);
      • Threat
        • DUALS(11)
      • Vars
        • P(m);XP(C)::QAB(G)+R(D)
        • S(c);N_GUARD::S(B)
        • S(c);N_GUARD::S(B),XS(c)
        • Q(j);::QAB(G)+R(D),XQ(j)
        • R(n);::QAB(G)+R(D)
        • B(k);N_GUARD::B(H)
        • P(i);::QAB(G)+R(D)
        • P(o);::QAB(G)+R(D),XP(o)
      • Refutation
        • Q(j);
  • Actual
    • R(D);
    • Threat
      • DUALS(9)
    • Vars
      • P(m);XP(C)::QAB(G)+R(F)
      • S(c);N_GUARD::S(B)
      • S(c);N_GUARD::S(B),XS(c)
      • Q(j);::QAB(G)+R(F)
      • Q(j);::QAB(G)+R(F),XQ(j)
      • R(n);::QAB(G)+R(F)
      • B(k);N_GUARD::B(H)
      • P(i);::QAB(G)+R(F)
      • P(o);::QAB(G)+R(F),XP(o)


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