MESON Chess Problem Database
Problem Display
PID: 220409 (3Rn3/5p1N/4kB1b/1p6/5Q1P/4r1Pq/2B1P1NP/1K6 w - - 0 1)
Konig, Wilfried
Freie Presse, 1967
#2
11 + 7
| 15148 | Sadier Collection | 2020 |
SOLUTION
- SOUND
- Sets
- 1...Qxg2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qg4
- 2.Qxg4#
- 1...Qf5
- 2.Bxf5#
- 2.Qxf5#
- 1...Qxh2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxg3
- 2.Bf5#
- 2.Qf5#
- 1...Qxh4
- 2.Bf5#
- 2.Qf5#
- 1...Rxe2
- 2.Bb3#
- 1...Ra3
- 2.Qe5#
- 2.Qe4#
- 1...Rb3+
- 2.Bxb3#
- 1...Rc3
- 2.Qe5#
- 2.Qe4#
- 1...Rd3
- 2.Qe5#
- 2.Qe4#
- 1...Rf3
- 2.Qe5#
- 2.Qe4#
- 1...Rxg3
- 2.Qe5#
- 2.Qe4#
- 1...Re4
- 2.Qxe4#
- 1...Re5
- 2.Qxe5#
- 1...Bxf4
- 2.Sxf4#
- 1...Bg5
- 2.Sxg5#
- 2.Sf8#
- 1...Bg7
- 2.Sg5#
- 2.Qxe3#
- 1...Bf8
- 2.Sg5#
- 2.Sxf8#
- 2.Qxe3#
- 1...Sd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Sxf6
- 2.Qd6#
- 2.Qxf6#
- 1...Sc7
- 2.Rd6#
- 2.Qd6#
- 1...Sg7
- 2.Sf8#
- 2.Rd6#
- 2.Qd6#
- 1...b4
- 2.Qc4#
- 1...Qxg2
- Tries
- 1.Ka1?
- 1...Qxg2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxh2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxg3
- 2.Bf5#
- 2.Qf5#
- 1...Qxh4
- 2.Bf5#
- 2.Qf5#
- 1...Rxe2
- 2.Bb3#
- 1...Rxg3
- 2.Qe5#
- 2.Qe4#
- 1...Bxf4
- 2.Sxf4#
- 1...Sxf6
- 2.Qd6#
- 2.Qxf6#
- 1...Sd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Qg4
- 2.Qxg4#
- 1...Qf5
- 2.Bxf5#
- 2.Qxf5#
- 1...Rb3
- 2.Bxb3#
- 2.Qe5#
- 2.Qe4#
- 1...Rc3
- 2.Qe5#
- 2.Qe4#
- 1...Rd3
- 2.Qe5#
- 2.Qe4#
- 1...Rf3
- 2.Qe5#
- 2.Qe4#
- 1...Re4
- 2.Qxe4#
- 1...Re5
- 2.Qxe5#
- 1...Bg5
- 2.Sxg5#
- 2.Sf8#
- 1...Bg7
- 2.Sg5#
- 2.Qxe3#
- 1...Bf8
- 2.Sg5#
- 2.Sxf8#
- 2.Qxe3#
- 1...Sc7
- 2.Rd6#
- 2.Qd6#
- 1...Sg7
- 2.Sf8#
- 2.Rd6#
- 2.Qd6#
- 1...b4
- 2.Qc4#
- 1...Ra3+!
- 1...Qxg2
- 1.Kb2?
- 1...Rb3+
- 2.Bxb3#
- 1...Qxg2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxh2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxg3
- 2.Bf5#
- 2.Qf5#
- 1...Qxh4
- 2.Bf5#
- 2.Qf5#
- 1...Rxg3
- 2.Qe5#
- 2.Qe4#
- 1...Bxf4
- 2.Sxf4#
- 1...Sxf6
- 2.Qd6#
- 2.Qxf6#
- 1...Sd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Qg4
- 2.Qxg4#
- 1...Qf5
- 2.Bxf5#
- 2.Qxf5#
- 1...Ra3
- 2.Qe5#
- 2.Qe4#
- 1...Rc3
- 2.Qe5#
- 2.Qe4#
- 1...Rd3
- 2.Qe5#
- 2.Qe4#
- 1...Rf3
- 2.Qe5#
- 2.Qe4#
- 1...Re4
- 2.Qxe4#
- 1...Re5
- 2.Qxe5#
- 1...Bg5
- 2.Sxg5#
- 2.Sf8#
- 1...Bg7
- 2.Sg5#
- 2.Qxe3#
- 1...Bf8
- 2.Sg5#
- 2.Sxf8#
- 2.Qxe3#
- 1...Sc7
- 2.Rd6#
- 2.Qd6#
- 1...Sg7
- 2.Sf8#
- 2.Rd6#
- 2.Qd6#
- 1...b4
- 2.Qc4#
- 1...Rxe2!
- 1...Rb3+
- 1.Se1?
- 1...Rb3+
- 2.Bxb3#
- 1...Qxh2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxg3
- 2.Bf5#
- 2.Qf5#
- 1...Qxh4
- 2.Bf5#
- 2.Qf5#
- 1...Rxe2
- 2.Bb3#
- 1...Rxg3
- 2.Qe5#
- 2.Qe4#
- 1...Sxf6
- 2.Qd6#
- 2.Qxf6#
- 1...Sd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Qf1
- 2.Bf5#
- 1...Qg2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qg4
- 2.Qxg4#
- 1...Qf5
- 2.Bxf5#
- 2.Qxf5#
- 1...Ra3
- 2.Qe5#
- 2.Qe4#
- 1...Rc3
- 2.Qe5#
- 2.Qe4#
- 1...Rd3
- 2.Qe5#
- 2.Qe4#
- 1...Rf3
- 2.Qe5#
- 2.Qe4#
- 1...Re4
- 2.Qxe4#
- 1...Re5
- 2.Qxe5#
- 1...Bg5
- 2.Sxg5#
- 2.Sf8#
- 1...Bg7
- 2.Sg5#
- 2.Qxe3#
- 1...Bf8
- 2.Sg5#
- 2.Sxf8#
- 2.Qxe3#
- 1...Sc7
- 2.Rd6#
- 2.Qd6#
- 1...Sg7
- 2.Sf8#
- 2.Rd6#
- 2.Qd6#
- 1...b4
- 2.Qc4#
- 1...Bxf4!
- 1...Rb3+
- 1.Sxe3?
- threat
- 2.Bb3#
- 2.Qe5#
- 2.Qe4#
- 1...Qxg3
- 2.Bb3#
- 2.Bf5#
- 2.Qf5#
- 1...Qxh4
- 2.Bb3#
- 2.Bf5#
- 2.Qe5#
- 2.Qf5#
- 1...Bxf4
- 2.Bb3#
- 1...Sxf6
- 2.Qd6#
- 2.Qxf6#
- 1...Qg2
- 2.Bf5#
- 2.Qe5#
- 2.Qg4#
- 2.Qf5#
- 1...Qg4
- 2.Bb3#
- 2.Qe5#
- 2.Qxg4#
- 1...Qf5
- 2.Bxf5#
- 2.Qxf5#
- 1...Sd6
- 2.Rxd6#
- 2.Qe5#
- 2.Qxd6#
- 1...Sc7
- 2.Rd6#
- 2.Qe5#
- 2.Qd6#
- 2.Qe4#
- 1...Qf1+!
- threat
- 1.Bd3?
- 1...Qxg2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxh2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxg3
- 2.Bf5#
- 2.Qf5#
- 1...Qxh4
- 2.Bf5#
- 2.Qf5#
- 1...Rxd3
- 2.Qe5#
- 2.Qe4#
- 1...Rxg3
- 2.Qe5#
- 2.Qe4#
- 1...Bxf4
- 2.Sxf4#
- 1...Sxf6
- 2.Qd6#
- 2.Qxf6#
- 1...Sd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Qg4
- 2.Qxg4#
- 1...Qf5
- 2.Bxf5#
- 2.Qxf5#
- 1...Rf3
- 2.Qe5#
- 2.Qe4#
- 1...Re4
- 2.Qxe4#
- 1...Re5
- 2.Qxe5#
- 1...Bg5
- 2.Sxg5#
- 2.Sf8#
- 1...Bg7
- 2.Sg5#
- 2.Qxe3#
- 1...Bf8
- 2.Sg5#
- 2.Sxf8#
- 2.Qxe3#
- 1...Sc7
- 2.Rd6#
- 2.Qd6#
- 1...Sg7
- 2.Sf8#
- 2.Rd6#
- 2.Qd6#
- 1...b4
- 2.Bc4#
- 2.Qc4#
- 1...Rxe2!
- 1...Qxg2
- 1.Be4?
- threat
- 2.Bd5#
- 2.Qe5#
- 1...Qxg2
- 2.Bf5#
- 2.Qe5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxg3
- 2.Bd5#
- 2.Bf5#
- 2.Qf5#
- 1...Rxe4
- 2.Qxe4#
- 1...Bxf4
- 2.Sxf4#
- 1...Sxf6
- 2.Qd6#
- 2.Qxf6#
- 1...Qf5
- 2.Bxf5#
- 2.Qxf5#
- 1...Rd3
- 2.Qe5#
- 1...Sd6
- 2.Rxd6#
- 2.Qe5#
- 2.Qxd6#
- 1...Sc7
- 2.Rd6#
- 2.Qe5#
- 2.Qd6#
- 1...Rb3+!
- threat
- 1.Rd1?
- 1...Rb3+
- 2.Bxb3#
- 1...Qxg2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxh2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxg3
- 2.Bf5#
- 2.Qf5#
- 1...Qxh4
- 2.Bf5#
- 2.Qf5#
- 1...Rxe2
- 2.Bb3#
- 1...Rxg3
- 2.Qe5#
- 2.Qe4#
- 1...Bxf4
- 2.Sxf4#
- 1...Sxf6
- 2.Qd6#
- 2.Qxf6#
- 1...Sd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Qg4
- 2.Qxg4#
- 1...Qf5
- 2.Bxf5#
- 2.Qxf5#
- 1...Ra3
- 2.Qe5#
- 2.Qe4#
- 1...Rc3
- 2.Qe5#
- 2.Qe4#
- 1...Rf3
- 2.Qe5#
- 2.Qe4#
- 1...Re4
- 2.Qxe4#
- 1...Re5
- 2.Qxe5#
- 1...Bg5
- 2.Sxg5#
- 2.Sf8#
- 1...Bg7
- 2.Sg5#
- 2.Qxe3#
- 1...Bf8
- 2.Sg5#
- 2.Sxf8#
- 2.Qxe3#
- 1...Sc7
- 2.Rd6#
- 2.Qd6#
- 1...Sg7
- 2.Sf8#
- 2.Rd6#
- 2.Qd6#
- 1...b4
- 2.Qc4#
- 1...Rd3!
- 1...Rb3+
- 1.Rd2?
- 1...Rb3+
- 2.Bxb3#
- 1...Qxg2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxh2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxg3
- 2.Bf5#
- 2.Qf5#
- 1...Qxh4
- 2.Bf5#
- 2.Qf5#
- 1...Rxe2
- 2.Bb3#
- 1...Rxg3
- 2.Qe5#
- 2.Qe4#
- 1...Bxf4
- 2.Sxf4#
- 1...Sxf6
- 2.Qd6#
- 2.Qxf6#
- 1...Sd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Qg4
- 2.Qxg4#
- 1...Qf5
- 2.Bxf5#
- 2.Qxf5#
- 1...Ra3
- 2.Qe5#
- 2.Qe4#
- 1...Rc3
- 2.Qe5#
- 2.Qe4#
- 1...Rf3
- 2.Qe5#
- 2.Qe4#
- 1...Re4
- 2.Qxe4#
- 1...Re5
- 2.Qxe5#
- 1...Bg5
- 2.Sxg5#
- 2.Sf8#
- 1...Bg7
- 2.Sg5#
- 2.Qxe3#
- 1...Bf8
- 2.Sg5#
- 2.Sxf8#
- 2.Qxe3#
- 1...Sc7
- 2.Rd6#
- 2.Qd6#
- 1...Sg7
- 2.Sf8#
- 2.Rd6#
- 2.Qd6#
- 1...b4
- 2.Qc4#
- 1...Rd3!
- 1...Rb3+
- 1.Rd4?
- 1...Rb3+
- 2.Bxb3#
- 1...Qxg2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxh2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxg3
- 2.Bf5#
- 2.Qf5#
- 1...Qxh4
- 2.Bf5#
- 2.Qf5#
- 1...Rxe2
- 2.Bb3#
- 1...Rxg3
- 2.Qe5#
- 2.Qe4#
- 1...Bxf4
- 2.Sxf4#
- 1...Sxf6
- 2.Qd6#
- 2.Qxf6#
- 1...Sd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Qg4
- 2.Qxg4#
- 1...Qf5
- 2.Bxf5#
- 2.Qxf5#
- 1...Ra3
- 2.Qe5#
- 2.Qe4#
- 1...Rc3
- 2.Qe5#
- 2.Qe4#
- 1...Rd3
- 2.Qe5#
- 2.Qe4#
- 1...Rf3
- 2.Qe5#
- 2.Qe4#
- 1...Re4
- 2.Bb3#
- 2.Qxe4#
- 1...Re5
- 2.Qxe5#
- 1...Bg5
- 2.Sxg5#
- 2.Sf8#
- 1...Bg7
- 2.Sg5#
- 2.Qxe3#
- 1...Bf8
- 2.Sg5#
- 2.Sxf8#
- 2.Qxe3#
- 1...Sc7
- 2.Rd6#
- 2.Qd6#
- 1...Sg7
- 2.Sf8#
- 2.Rd6#
- 2.Qd6#
- 1...b4!
- 1...Rb3+
- 1.Qg5?
- threat
- 2.Sf4#
- 2.Qd5#
- 1...Rb3+
- 2.Bxb3#
- 1...Qxg2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxg3
- 2.Bf5#
- 2.Qd5#
- 2.Qf5#
- 1...Qxh4
- 2.Bf5#
- 2.Qd5#
- 2.Qf5#
- 1...Sxf6
- 2.Qxf6#
- 1...Qg4
- 2.Qxg4#
- 2.Qd5#
- 1...Qf5
- 2.Bxf5#
- 2.Qxf5#
- 1...Rd3
- 2.Sf4#
- 2.Qe5#
- 1...Rf3
- 2.Qd5#
- 2.Qe5#
- 1...Re4
- 2.Qd5#
- 1...Re5
- 2.Sf4#
- 2.Qxe5#
- 1...Sd6
- 2.Sf4#
- 1...Sc7
- 2.Sf4#
- 1...Bxg5!
- threat
- 1.Qb8?
- threat
- 2.Qc8#
- 1...Sxf6
- 2.Qd6#
- 1...Rd3
- 2.Qe5#
- 1...Sd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Rc3
- 2.Qe5#
- 1...Rb3+!
- threat
- 1.Qd4?
- threat
- 2.Rxe8#
- 2.Qd5#
- 2.Qd7#
- 1...Qxg2
- 2.Rxe8#
- 2.Qg4#
- 2.Qd7#
- 1...Sxf6
- 2.Qxf6#
- 2.Qd6#
- 1...Rd3
- 2.Qe5#
- 2.Qe4#
- 1...Re4
- 2.Qxe4#
- 2.Qd5#
- 2.Qd7#
- 1...Qf5
- 2.Rxe8#
- 2.Qd7#
- 1...Re5
- 2.Rxe8#
- 2.Qxe5#
- 2.Qd7#
- 1...Bf8
- 2.Sf4#
- 2.Sg5#
- 2.Sxf8#
- 2.Qxe3#
- 2.Qd5#
- 2.Qd7#
- 1...Sd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Sc7
- 2.Rd6#
- 2.Qb6#
- 2.Qd6#
- 2.Qd7#
- 1...Sg7
- 2.Sf8#
- 2.Rd6#
- 2.Qb6#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Rb3+!
- threat
- 1.g4?
- threat
- 2.Bf5#
- 2.Qf5#
- 1...Qxg4
- 2.Qxg4#
- 1...Bxf4
- 2.Sxf4#
- 2.Bf5#
- 1...Sxf6
- 2.Qd6#
- 2.Qxf6#
- 1...Sd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Qf3
- 2.Bf5#
- 1...Rd3
- 2.Qe5#
- 2.Qe4#
- 2.Qf5#
- 1...Rf3
- 2.Bf5#
- 2.Qe5#
- 2.Qe4#
- 1...Re4
- 2.Qxe4#
- 2.Qf5#
- 1...Re5
- 2.Qxe5#
- 1...Sg7
- 2.Sf8#
- 2.Rd6#
- 2.Qd6#
- 1...Rb3+!
- threat
- 1.h5?
- 1...Rb3+
- 2.Bxb3#
- 1...Qxg2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxh2
- 2.Bf5#
- 2.Qg4#
- 2.Qf5#
- 1...Qxg3
- 2.Bf5#
- 2.Qf5#
- 1...Rxe2
- 2.Bb3#
- 1...Rxg3
- 2.Qe5#
- 2.Qe4#
- 1...Bxf4
- 2.Sxf4#
- 1...Sxf6
- 2.Qd6#
- 2.Qxf6#
- 1...Sd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Qg4
- 2.Qxg4#
- 1...Qf5
- 2.Bxf5#
- 2.Qxf5#
- 1...Qh4
- 2.Bf5#
- 2.Qf5#
- 1...Ra3
- 2.Qe5#
- 2.Qe4#
- 1...Rc3
- 2.Qe5#
- 2.Qe4#
- 1...Rd3
- 2.Qe5#
- 2.Qe4#
- 1...Rf3
- 2.Qe5#
- 2.Qe4#
- 1...Re4
- 2.Qxe4#
- 1...Re5
- 2.Qxe5#
- 1...Bg5
- 2.Sxg5#
- 2.Sf8#
- 1...Bg7
- 2.Sg5#
- 2.Qxe3#
- 1...Bf8
- 2.Sg5#
- 2.Sxf8#
- 2.Qxe3#
- 1...Sc7
- 2.Rd6#
- 2.Qd6#
- 1...Sg7
- 2.Sf8#
- 2.Rd6#
- 2.Qd6#
- 1...b4
- 2.Qc4#
- 1...Qxh5!
- 1...Rb3+
- 1.Ka1?
- Keys
- 1.Qb4!
- threat
- 2.Qe7#
- 1...Rb3+
- 2.Qxb3#
- 1...Sxf6
- 2.Qd6#
- 1...Rd3
- 2.Qe4#
- 1...Re4
- 2.Qxe4#
- 1...Sd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Bf8
- 2.Sf4#
- threat
- 1.Qb4!
FEATURES
- Static
- TYPE = BLOCK_THREAT
- CHANGED MATES = 1
- ADDED MATES = 3
- REMOVED MATES = 5
- Sets
- Q(b);N_GUARD::QAB(G),XQ(b)
- R(a);N_GUARD,XP(C)::B(B)
- R(a);CHECK,N_GUARD::B(B),XR(a)
- R(a);N_GUARD::QAR2(G),XR(a)
- R(a);N_GUARD::QAR1(G),XR(a)
- B(e);XQ(G)::S(D),XB(e)
- P(c);N_GUARD::QAB(G)
- Tries
- Try
- K(A);P-FLIGHT
- Vars
- R(a);N_GUARD,XP(C)::B(B)
- B(e);XQ(G)::S(D),XB(e)
- Q(b);N_GUARD::QAB(G),XQ(b)
- R(a);N_GUARD::QAR2(G),XR(a)
- R(a);N_GUARD::QAR1(G),XR(a)
- P(c);N_GUARD::QAB(G)
- Refutation
- R(a);CHECK
- Try
- K(A);P-FLIGHT
- Vars
- R(a);CHECK,N_GUARD::B(B),XR(a)
- B(e);XQ(G)::S(D),XB(e)
- Q(b);N_GUARD::QAB(G),XQ(b)
- R(a);N_GUARD::QAR2(G),XR(a)
- R(a);N_GUARD::QAR1(G),XR(a)
- P(c);N_GUARD::QAB(G)
- Refutation
- R(a);P_PINB(B),XP(C)
- Try
- S(D);
- Vars
- R(a);CHECK,N_GUARD::B(B),XR(a)
- R(a);N_GUARD,XP(C)::B(B)
- Q(b);N_GUARD,P_PINS(D)::B(B)
- Q(b);N_GUARD::QAB(G),XQ(b)
- R(a);N_GUARD::QAR2(G),XR(a)
- R(a);N_GUARD::QAR1(G),XR(a)
- P(c);N_GUARD::QAB(G)
- Refutation
- B(e);XQ(G)
- Try
- S(D);XR(a)
- Threat
- DUALS(3)
- Vars
- B(e);XQ(G)::B(B)
- Refutation
- Q(b);CHECK
- Try
- B(B);
- Vars
- B(e);XQ(G)::S(D),XB(e)
- Q(b);N_GUARD::QAB(G),XQ(b)
- R(a);N_GUARD::QAR2(G),XR(a)
- R(a);N_GUARD::QAR1(G),XR(a)
- Refutation
- R(a);XP(C)
- Try
- B(B);
- Threat
- DUALS(2)
- Vars
- R(a);OGATE,XB(B)::QAR2(G),XR(a)
- B(e);XQ(G)::S(D),XB(e)
- R(a);::QAR1(G)
- Refutation
- R(a);CHECK
- Try
- R(K);
- Vars
- R(a);CHECK,N_GUARD::B(B),XR(a)
- R(a);N_GUARD,XP(C)::B(B)
- B(e);XQ(G)::S(D),XB(e)
- Q(b);N_GUARD::QAB(G),XQ(b)
- R(a);N_GUARD::QAR2(G),XR(a)
- R(a);N_GUARD::QAR1(G),XR(a)
- P(c);N_GUARD::QAB(G)
- Refutation
- R(a);
- Try
- R(K);
- Vars
- R(a);CHECK,N_GUARD::B(B),XR(a)
- R(a);N_GUARD,XP(C)::B(B)
- B(e);XQ(G)::S(D),XB(e)
- Q(b);N_GUARD::QAB(G),XQ(b)
- R(a);N_GUARD::QAR2(G),XR(a)
- R(a);N_GUARD::QAR1(G),XR(a)
- P(c);N_GUARD::QAB(G)
- Refutation
- R(a);
- Try
- R(K);
- Vars
- R(a);CHECK,N_GUARD::B(B),XR(a)
- R(a);N_GUARD,XP(C)::B(B)
- B(e);XQ(G)::S(D),XB(e)
- Q(b);N_GUARD::QAB(G),XQ(b)
- R(a);N_GUARD::QAR1(G),XR(a)
- Refutation
- P(c);
- Try
- Q(G);
- Threat
- DUALS(2)
- Vars
- R(a);CHECK,N_GUARD::B(B),XR(a)
- S(g);OGATE,XB(I)::QAR1(G),XS(g)
- R(a);::QAB1(G)
- S(g);::S(D)
- Refutation
- B(e);XQ(G)
- Try
- Q(G);
- Threat
- QAB(G)
- Vars
- S(g);N_GUARD,XB(I)::QAR1(G)
- R(a);N_GUARD::QAR1(G)
- Refutation
- R(a);CHECK
- Try
- Q(G);
- Threat
- DUALS(3)
- Refutation
- R(a);CHECK
- Try
- P(F);
- Threat
- DUALS(2)
- Vars
- Q(b);OGATE,XP(F)::QAB(G),XQ(b)
- Q(b);::B(B)
- R(a);N_GUARD::QAR1(G),XR(a)
- Refutation
- R(a);CHECK
- Try
- P(H);
- Vars
- R(a);CHECK,N_GUARD::B(B),XR(a)
- R(a);N_GUARD,XP(C)::B(B)
- B(e);XQ(G)::S(D),XB(e)
- Q(b);N_GUARD::QAB(G),XQ(b)
- R(a);N_GUARD::QAR2(G),XR(a)
- R(a);N_GUARD::QAR1(G),XR(a)
- P(c);N_GUARD::QAB(G)
- Refutation
- Q(b);XP(H)
- Try
- Actual
- Q(G);
- Threat
- QAR1(G)
- Vars
- R(a);CHECK,N_GUARD::QAB(G),XR(a)
- S(g);N_GUARD,XB(I)::QAR1(G)
- R(a);N_GUARD::QAR2(G)
- R(a);N_GUARD::QAR2(G),XR(a)
- B(e);N_GUARD::S(D)
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).