MESON Chess Problem Database
Problem Display
PID: 164753 (K2B4/1N1p4/2k5/p2r4/P1P1r3/2Q2N2/6B1/8 w - - 0 1)
Pauly, Wolfgang
Das Interessante Blatt, 1910
#2
8 + 5
| 15148 | Sadier Collection | 2017 |
| 5454 | Near Snap | 2018 |
SOLUTION
- SOUND
- Sets
- 1...Re1
- 2.Sd4#
- 1...Re2
- 2.Sd4#
- 1...Re3
- 2.Sd4#
- 1...Rxc4
- 2.Sd4#
- 2.Se5#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Rf4
- 2.Se5#
- 1...Rg4
- 2.Se5#
- 1...Rh4
- 2.Se5#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 1...Re6
- 2.Sd4#
- 1...Re7
- 2.Sd4#
- 1...Re8
- 2.Sd4#
- 1...Rd1
- 2.Se5#
- 1...Rd2
- 2.Se5#
- 1...Rd3
- 2.Se5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 1...Rb5
- 2.Sd4#
- 2.axb5#
- 1...Rc5
- 2.Sd4#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 1...Rf5
- 2.Sd4#
- 1...Rg5
- 2.Sd4#
- 1...Rh5
- 2.Sd4#
- 1...Rd6
- 2.Se5#
- 1...Re1
- Tries
- 1.Ka7?
- 1...Rxc4
- 2.Sd4#
- 2.Se5#
- 1...Re1
- 2.Sd4#
- 1...Re2
- 2.Sd4#
- 1...Re3
- 2.Sd4#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Rf4
- 2.Se5#
- 1...Rg4
- 2.Se5#
- 1...Rh4
- 2.Se5#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 1...Re6
- 2.Sd4#
- 1...Re7
- 2.Sd4#
- 1...Re8
- 2.Sd4#
- 1...Rd1
- 2.Se5#
- 1...Rd2
- 2.Se5#
- 1...Rd3
- 2.Se5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 1...Rb5
- 2.Sd4#
- 2.axb5#
- 1...Rc5
- 2.Sd4#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 1...Rf5
- 2.Sd4#
- 1...Rg5
- 2.Sd4#
- 1...Rh5
- 2.Sd4#
- 1...Rd6
- 2.Se5#
- 1...d6!
- 1...Rxc4
- 1.Kb8?
- 1...Rxc4
- 2.Sd4#
- 2.Se5#
- 1...Re1
- 2.Sd4#
- 1...Re2
- 2.Sd4#
- 1...Re3
- 2.Sd4#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Rf4
- 2.Se5#
- 1...Rg4
- 2.Se5#
- 1...Rh4
- 2.Se5#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 1...Re6
- 2.Sd4#
- 1...Re7
- 2.Sd4#
- 1...Re8
- 2.Sd4#
- 1...Rd1
- 2.Se5#
- 1...Rd2
- 2.Se5#
- 1...Rd3
- 2.Se5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 1...Rb5
- 2.Sd4#
- 2.axb5#
- 1...Rc5
- 2.Sd4#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 1...Rf5
- 2.Sd4#
- 1...Rg5
- 2.Sd4#
- 1...Rh5
- 2.Sd4#
- 1...Rd6
- 2.Se5#
- 1...d6!
- 1...Rxc4
- 1.Sd4+?
- 1...Rexd4
- 2.cxd5#
- 1...Rdxd4!
- 1...Rexd4
- 1.Se5+?
- 1...Rexe5
- 2.cxd5#
- 1...Rdxe5!
- 1...Rexe5
- 1.Bh1?
- 1...Rxc4
- 2.Sd4#
- 2.Se5#
- 1...Rd1
- 2.Se5#
- 1...Re1
- 2.Sd4#
- 1...Re2
- 2.Sd4#
- 1...Re3
- 2.Sd4#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Rf4
- 2.Se5#
- 1...Rg4
- 2.Se5#
- 1...Rh4
- 2.Se5#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 1...Re6
- 2.Sd4#
- 1...Re7
- 2.Sd4#
- 1...Re8
- 2.Sd4#
- 1...Rd2
- 2.Se5#
- 1...Rd3
- 2.Se5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 1...Rb5
- 2.Sd4#
- 2.axb5#
- 1...Rc5
- 2.Sd4#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 1...Rf5
- 2.Sd4#
- 1...Rg5
- 2.Sd4#
- 1...Rh5
- 2.Sd4#
- 1...Rd6
- 2.Se5#
- 1...d6!
- 1...Rxc4
- 1.Qa1?
- 1...Rxc4
- 2.Se5#
- 1...Rd1
- 2.Se5#
- 1...Re1
- 2.Sd4#
- 1...Re2
- 2.Sd4#
- 1...Re3
- 2.Sd4#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Rf4
- 2.Se5#
- 1...Rg4
- 2.Se5#
- 1...Rh4
- 2.Se5#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 1...Re6
- 2.Sd4#
- 1...Re7
- 2.Sd4#
- 1...Re8
- 2.Sd4#
- 1...Rd2
- 2.Se5#
- 1...Rd3
- 2.Se5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 1...Rb5
- 2.Sd4#
- 2.axb5#
- 1...Rc5
- 2.Sd4#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 1...Rf5
- 2.Sd4#
- 1...Rg5
- 2.Sd4#
- 1...Rh5
- 2.Sd4#
- 1...Rd6
- 2.Se5#
- 1...d6!
- 1...Rxc4
- 1.Qe1?
- 1...Rxe1
- 2.Sd4#
- 1...Rxc4
- 2.Se5#
- 1...Rd1
- 2.Se5#
- 1...Re2
- 2.Sd4#
- 1...Re3
- 2.Sd4#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Rf4
- 2.Se5#
- 1...Rg4
- 2.Se5#
- 1...Rh4
- 2.Se5#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 1...Re6
- 2.Sd4#
- 1...Re7
- 2.Sd4#
- 1...Re8
- 2.Sd4#
- 1...Rd2
- 2.Se5#
- 1...Rd3
- 2.Se5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 1...Rb5
- 2.Sd4#
- 2.axb5#
- 1...Rc5
- 2.Sd4#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 1...Rf5
- 2.Sd4#
- 1...Rg5
- 2.Sd4#
- 1...Rh5
- 2.Sd4#
- 1...Rd6
- 2.Se5#
- 1...d6!
- 1...Rxe1
- 1.Qb2?
- threat
- 2.Qb6#
- 1...Rb5
- 2.Sd4#
- 2.Qxb5#
- 2.axb5#
- 1...d6!
- threat
- 1.Qd2?
- threat
- 2.Qxd5#
- 2.cxd5#
- 1...Rxc4
- 2.Se5#
- 1...Rxd2
- 2.Se5#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 1...Rd3
- 2.Se5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 1...Rb5
- 2.Sd4#
- 2.Qd6#
- 2.axb5#
- 2.cxb5#
- 1...Rc5
- 2.Sd4#
- 2.Qd6#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 2.Qd6#
- 1...Rf5
- 2.Sd4#
- 2.Qd6#
- 1...Rg5
- 2.Sd4#
- 2.Qd6#
- 1...Rh5
- 2.Sd4#
- 2.Qd6#
- 1...Rd6
- 2.Se5#
- 2.Qxd6#
- 1...d6!
- threat
- 1.Qd4?
- threat
- 2.Qb6#
- 2.Qxd5#
- 2.cxd5#
- 1...Rexd4
- 2.Sxd4#
- 2.Se5#
- 1...Rdxd4
- 2.Sxd4#
- 2.Se5#
- 1...Ree5
- 2.Sxe5#
- 2.Qb6#
- 1...Rb5
- 2.Qd6#
- 2.axb5#
- 2.cxb5#
- 1...Rc5
- 2.Qxc5#
- 2.Qd6#
- 1...Rde5
- 2.Sxe5#
- 2.Qb6#
- 2.Qd6#
- 1...Rf5
- 2.Qb6#
- 2.Qd6#
- 1...Rg5
- 2.Qb6#
- 2.Qd6#
- 1...Rh5
- 2.Qb6#
- 2.Qd6#
- 1...Rd6
- 2.Se5#
- 2.Sxa5#
- 2.Qc5#
- 2.Qb6#
- 2.Qxd6#
- 1...d6!
- threat
- 1.Qxa5?
- threat
- 2.Qb6#
- 2.Qc7#
- 2.Qxd5#
- 2.Qa6#
- 2.cxd5#
- 1...Rxc4
- 2.Se5#
- 2.Qb6#
- 2.Qc7#
- 2.Qa6#
- 1...d6
- 2.Qc7#
- 1...Rd1
- 2.Se5#
- 2.Qb6#
- 2.Qc7#
- 2.Qb5#
- 2.Qc5#
- 2.Qa6#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 2.Qb6#
- 2.Qc7#
- 2.Qa6#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 2.Qb6#
- 2.Qc7#
- 2.Qa6#
- 1...Rd2
- 2.Se5#
- 2.Qb6#
- 2.Qc7#
- 2.Qb5#
- 2.Qc5#
- 2.Qa6#
- 1...Rd3
- 2.Se5#
- 2.Qb6#
- 2.Qc7#
- 2.Qb5#
- 2.Qc5#
- 2.Qa6#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 2.Qb6#
- 2.Qc7#
- 2.Qb5#
- 2.Qc5#
- 2.Qa6#
- 1...Rb5
- 2.Sd4#
- 2.Qc7#
- 2.Qxb5#
- 2.axb5#
- 1...Rc5
- 2.Sd4#
- 2.Qb6#
- 2.Qc7#
- 2.Qxc5#
- 2.Qa6#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 2.Qb6#
- 2.Qc7#
- 2.Qa6#
- 1...Rf5
- 2.Sd4#
- 2.Qb6#
- 2.Qc7#
- 2.Qa6#
- 1...Rg5
- 2.Sd4#
- 2.Qb6#
- 2.Qc7#
- 2.Qa6#
- 1...Rh5
- 2.Sd4#
- 2.Qb6#
- 2.Qc7#
- 2.Qa6#
- 1...Rd6
- 2.Se5#
- 2.Qb6#
- 2.Qc7#
- 2.Qb5#
- 2.Qc5#
- 2.Qa6#
- 1...Rxa5+!
- threat
- 1.Qe5?
- threat
- 2.Qc7#
- 2.Qxd5#
- 2.cxd5#
- 1...Rxc4
- 2.Qc7#
- 1...Rexe5
- 2.Sd4#
- 2.Sxe5#
- 1...Rdxe5
- 2.Sd4#
- 2.Sxe5#
- 1...Rd1
- 2.Sxa5#
- 2.Qc7#
- 2.Qb5#
- 2.Qc5#
- 1...Red4
- 2.Sxd4#
- 2.Qc7#
- 1...Rd2
- 2.Sxa5#
- 2.Qc7#
- 2.Qb5#
- 2.Qc5#
- 1...Rd3
- 2.Sxa5#
- 2.Qc7#
- 2.Qb5#
- 2.Qc5#
- 1...Rdd4
- 2.Sxd4#
- 2.Sxa5#
- 2.Qc7#
- 2.Qb5#
- 2.Qc5#
- 1...Rb5
- 2.Sd4#
- 2.Qd6#
- 2.Qc7#
- 2.Qxb5#
- 2.axb5#
- 2.cxb5#
- 1...Rc5
- 2.Sd4#
- 2.Qd6#
- 2.Qc7#
- 2.Qxc5#
- 1...Rd6
- 2.Sxa5#
- 2.Qxd6#
- 2.Qb5#
- 2.Qc5#
- 1...d6!
- threat
- 1.Qf6+?
- 1...Re6
- 2.Sd4#
- 2.Se5#
- 1...Rd6
- 2.Sd4#
- 2.Se5#
- 2.Qxd6#
- 1...d6!
- 1...Re6
- 1.Qh8?
- 1...Rxc4
- 2.Se5#
- 1...Rd1
- 2.Se5#
- 1...Re1
- 2.Sd4#
- 1...Re2
- 2.Sd4#
- 1...Re3
- 2.Sd4#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Rf4
- 2.Se5#
- 1...Rg4
- 2.Se5#
- 1...Rh4
- 2.Se5#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 1...Re6
- 2.Sd4#
- 1...Re7
- 2.Sd4#
- 1...Re8
- 2.Sd4#
- 1...Rd2
- 2.Se5#
- 1...Rd3
- 2.Se5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 1...Rb5
- 2.Sd4#
- 2.axb5#
- 1...Rc5
- 2.Sd4#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 1...Rf5
- 2.Sd4#
- 1...Rg5
- 2.Sd4#
- 1...Rh5
- 2.Sd4#
- 1...Rd6
- 2.Se5#
- 1...d6!
- 1...Rxc4
- 1.Qc1?
- 1...Rxc4
- 2.Sd4#
- 2.Se5#
- 1...Rd1
- 2.Se5#
- 1...Re1
- 2.Sd4#
- 1...Re2
- 2.Sd4#
- 1...Re3
- 2.Sd4#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Rf4
- 2.Se5#
- 1...Rg4
- 2.Se5#
- 1...Rh4
- 2.Se5#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 1...Re6
- 2.Sd4#
- 1...Re7
- 2.Sd4#
- 1...Re8
- 2.Sd4#
- 1...Rd2
- 2.Se5#
- 1...Rd3
- 2.Se5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 1...Rb5
- 2.Sd4#
- 2.axb5#
- 1...Rc5
- 2.Sd4#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 1...Rf5
- 2.Sd4#
- 1...Rg5
- 2.Sd4#
- 1...Rh5
- 2.Sd4#
- 1...Rd6
- 2.Se5#
- 1...d6!
- 1...Rxc4
- 1.Qc2?
- 1...Rxc4
- 2.Sd4#
- 2.Se5#
- 1...Rd1
- 2.Se5#
- 1...Re1
- 2.Sd4#
- 1...Re2
- 2.Sd4#
- 1...Re3
- 2.Sd4#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Rf4
- 2.Se5#
- 1...Rg4
- 2.Se5#
- 1...Rh4
- 2.Se5#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 1...Re6
- 2.Sd4#
- 1...Re7
- 2.Sd4#
- 1...Re8
- 2.Sd4#
- 1...Rd2
- 2.Se5#
- 1...Rd3
- 2.Se5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 1...Rb5
- 2.Sd4#
- 2.axb5#
- 1...Rc5
- 2.Sd4#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 1...Rf5
- 2.Sd4#
- 1...Rg5
- 2.Sd4#
- 1...Rh5
- 2.Sd4#
- 1...Rd6
- 2.Se5#
- 1...d6!
- 1...Rxc4
- 1.Qa3?
- 1...Rxc4
- 2.Se5#
- 1...Rd1
- 2.Se5#
- 2.Sxa5#
- 2.Qc5#
- 1...Re1
- 2.Sd4#
- 1...Re2
- 2.Sd4#
- 1...Re3
- 2.Sd4#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Rf4
- 2.Se5#
- 1...Rg4
- 2.Se5#
- 1...Rh4
- 2.Se5#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 1...Re6
- 2.Sd4#
- 1...Re7
- 2.Sd4#
- 1...Re8
- 2.Sd4#
- 1...Rd2
- 2.Se5#
- 2.Sxa5#
- 2.Qc5#
- 1...Rd3
- 2.Se5#
- 2.Sxa5#
- 2.Qc5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 2.Sxa5#
- 2.Qc5#
- 1...Rb5
- 2.Sd4#
- 2.Qd6#
- 2.axb5#
- 1...Rc5
- 2.Sd4#
- 2.Qxc5#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 2.Qd6#
- 1...Rf5
- 2.Sd4#
- 2.Qd6#
- 1...Rg5
- 2.Sd4#
- 2.Qd6#
- 1...Rh5
- 2.Sd4#
- 2.Qd6#
- 1...Rd6
- 2.Se5#
- 2.Sxa5#
- 2.Qc5#
- 2.Qxd6#
- 1...d6!
- 1...Rxc4
- 1.Qb3?
- threat
- 2.Qb6#
- 2.cxd5#
- 1...Rxc4
- 2.Se5#
- 2.Qb6#
- 1...Rd1
- 2.Se5#
- 2.Qb5#
- 2.Qb6#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 2.Qb6#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 2.Qb6#
- 1...Rd2
- 2.Se5#
- 2.Qb5#
- 2.Qb6#
- 1...Rd3
- 2.Se5#
- 2.Qb5#
- 2.Qb6#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 2.Qb5#
- 2.Qb6#
- 1...Rb5
- 2.Sd4#
- 2.Qxb5#
- 2.axb5#
- 2.cxb5#
- 1...Rc5
- 2.Sd4#
- 2.Qb6#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 2.Qb6#
- 1...Rf5
- 2.Sd4#
- 2.Qb6#
- 1...Rg5
- 2.Sd4#
- 2.Qb6#
- 1...Rh5
- 2.Sd4#
- 2.Qb6#
- 1...Rd6
- 2.Se5#
- 2.Qb5#
- 2.Qb6#
- 1...d6!
- threat
- 1.Qd3?
- threat
- 2.Qxd5#
- 2.cxd5#
- 1...Rxc4
- 2.Se5#
- 1...Rxd3
- 2.Se5#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 1...Rb5
- 2.Sd4#
- 2.Qd6#
- 2.axb5#
- 2.cxb5#
- 1...Rc5
- 2.Sd4#
- 2.Qd6#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 2.Qd6#
- 1...Rf5
- 2.Sd4#
- 2.Qd6#
- 1...Rg5
- 2.Sd4#
- 2.Qd6#
- 1...Rh5
- 2.Sd4#
- 2.Qd6#
- 1...Rd6
- 2.Se5#
- 2.Qxd6#
- 1...d6!
- threat
- 1.Qe3?
- threat
- 2.Qb6#
- 1...Rxe3
- 2.Sd4#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 1...Rb5
- 2.Sd4#
- 2.axb5#
- 1...Rc5
- 2.Sd4#
- 2.Qxc5#
- 1...d6!
- threat
- 1.Ka7?
- Keys
- 1.Qg7!
- 1...Rxc4
- 2.Se5#
- 1...Rd1
- 2.Se5#
- 1...Re1
- 2.Sd4#
- 1...Re2
- 2.Sd4#
- 1...Re3
- 2.Sd4#
- 1...Red4
- 2.Sxd4#
- 2.Se5#
- 1...Rf4
- 2.Se5#
- 1...Rg4
- 2.Se5#
- 1...Rh4
- 2.Se5#
- 1...Ree5
- 2.Sd4#
- 2.Sxe5#
- 1...Re6
- 2.Sd4#
- 1...Re7
- 2.Sd4#
- 1...Re8
- 2.Sd4#
- 1...Rd2
- 2.Se5#
- 1...Rd3
- 2.Se5#
- 1...Rdd4
- 2.Sxd4#
- 2.Se5#
- 1...Rb5
- 2.Sd4#
- 2.axb5#
- 1...Rc5
- 2.Sd4#
- 1...Rde5
- 2.Sd4#
- 2.Sxe5#
- 1...Rf5
- 2.Sd4#
- 1...Rg5
- 2.Sd4#
- 1...Rh5
- 2.Sd4#
- 1...Rd6
- 2.Se5#
- 1...d6
- 2.Qc7#
- 1...Rxc4
- 1.Qg7!
Anticipated by 70293(1861)
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 2
- REMOVED MATES = 0
- Sets
- R(a);N_GUARD,S_CUTR(c)::S(C)
- R(a);N_GUARD,P_PINB(H),S_CUTR(c)::S(C)
- R(c);N_GUARD,S_CUTR(a)::S(C)
- Tries
- Try
- K(G);P-FLIGHT
- Vars
- R(a);N_GUARD,S_CUTR(c)::S(C)
- R(c);N_GUARD,S_CUTR(a)::S(C)
- Refutation
- P(e);
- Try
- K(G);P-FLIGHT
- Vars
- R(a);N_GUARD,S_CUTR(c)::S(C)
- R(a);N_GUARD,P_PINB(H),S_CUTR(c)::S(C)
- R(c);N_GUARD,S_CUTR(a)::S(C)
- Refutation
- P(e);
- Try
- S(C);CHECK
- Vars
- R(a);P_SPINR(c),XS(C)::QAR(B)+P(E)DCHECK,XR(c)
- Refutation
- R(c);P_SPINR(a),XS(C)
- Try
- S(C);CHECK
- Vars
- R(a);P_SPINR(c),XS(C)::QAR(B)+P(E)DCHECK,XR(c)
- Refutation
- R(c);P_SPINR(a),XS(C)
- Try
- B(A);
- Vars
- R(c);N_GUARD,S_CUTR(a)::S(C)
- R(a);N_GUARD,S_CUTR(c)::S(C)
- R(a);N_GUARD,P_PINB(H),S_CUTR(c)::S(C)
- Refutation
- P(e);
- Try
- Q(B);
- Vars
- R(a);N_GUARD,S_CUTR(c),XP(E)::S(C)
- R(c);N_GUARD,S_CUTR(a)::S(C)
- R(a);N_GUARD,S_CUTR(c)::S(C)
- R(a);N_GUARD,P_PINB(H),S_CUTR(c)::S(C)
- Refutation
- P(e);
- Try
- Q(B);
- Vars
- R(a);N_GUARD,S_CUTR(c),XQ(B)::S(C)
- R(a);N_GUARD,S_CUTR(c),XP(E)::S(C)
- R(c);N_GUARD,S_CUTR(a)::S(C)
- R(a);N_GUARD,S_CUTR(c)::S(C)
- R(a);N_GUARD,P_PINB(H),S_CUTR(c)::S(C)
- Refutation
- P(e);
- Try
- Q(B);
- Threat
- QAR1(B)
- Refutation
- P(e);
- Try
- Q(B);
- Threat
- DUALS(2)
- Vars
- R(a);N_GUARD,S_CUTR(c),XP(E)::S(C)
- R(c);N_GUARD,S_CUTR(a),XQ(B)::S(C)
- R(c);N_GUARD,S_CUTR(a)::S(C)
- Refutation
- P(e);
- Try
- Q(B);
- Threat
- DUALS(3)
- Refutation
- P(e);
- Try
- Q(B);XP(b)
- Threat
- DUALS(5)
- Vars
- P(e);::QAR1(B)
- Refutation
- R(c);CHECK,XQ(B)
- Try
- Q(B);
- Threat
- DUALS(3)
- Vars
- R(a);XP(E)::QAR1(B)
- Refutation
- P(e);
- Try
- Q(B);CHECK
- Refutation
- P(e);P_SPINP(e)
- Try
- Q(B);
- Vars
- R(a);N_GUARD,S_CUTR(c),XP(E)::S(C)
- R(c);N_GUARD,S_CUTR(a)::S(C)
- R(a);N_GUARD,S_CUTR(c)::S(C)
- R(a);N_GUARD,P_PINB(H),S_CUTR(c)::S(C)
- Refutation
- P(e);
- Try
- Q(B);
- Vars
- R(c);N_GUARD,S_CUTR(a)::S(C)
- R(a);N_GUARD,S_CUTR(c)::S(C)
- R(a);N_GUARD,P_PINB(H),S_CUTR(c)::S(C)
- Refutation
- P(e);
- Try
- Q(B);
- Vars
- R(c);N_GUARD,S_CUTR(a)::S(C)
- R(a);N_GUARD,S_CUTR(c)::S(C)
- R(a);N_GUARD,P_PINB(H),S_CUTR(c)::S(C)
- Refutation
- P(e);
- Try
- Q(B);
- Vars
- R(a);N_GUARD,S_CUTR(c),XP(E)::S(C)
- R(a);N_GUARD,S_CUTR(c)::S(C)
- R(a);N_GUARD,P_PINB(H),S_CUTR(c)::S(C)
- Refutation
- P(e);
- Try
- Q(B);
- Threat
- DUALS(2)
- Refutation
- P(e);
- Try
- Q(B);
- Threat
- DUALS(2)
- Vars
- R(a);N_GUARD,S_CUTR(c),XP(E)::S(C)
- R(c);N_GUARD,S_CUTR(a),XQ(B)::S(C)
- Refutation
- P(e);
- Try
- Q(B);
- Threat
- QAR1(B)
- Vars
- R(a);N_GUARD,S_CUTR(c),XQ(B)::S(C)
- Refutation
- P(e);
- Try
- Actual
- Q(B);
- Vars
- R(a);N_GUARD,S_CUTR(c),XP(E)::S(C)
- R(c);N_GUARD,S_CUTR(a)::S(C)
- R(a);N_GUARD,S_CUTR(c)::S(C)
- R(a);N_GUARD,P_PINB(H),S_CUTR(c)::S(C)
- P(e);OGATE::QAR1(B)
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).