MESON Chess Problem Database
Problem Display
PID: 145095 (r6R/1p3pKP/q4p2/1pQp1p2/4nN2/5B2/4NB1k/r5R1 w - - 0 1)
O'Shea, Patrick
The Problemist, 1997
#2
9 + 11
SOLUTION
- SOUND
- Sets
- 1...Rxg1+
- 2.Bxg1#
- 1...Ra2
- 2.Rh1#
- 1...Ra3
- 2.Rh1#
- 1...Ra4
- 2.Rh1#
- 1...Ra5
- 2.Rh1#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sd2
- 2.Bg3#
- 1...Sxf2
- 2.Qxf2#
- 1...Sc3
- 2.Bg3#
- 1...Sg3
- 2.Bxg3#
- 1...Sxc5
- 2.Bg3#
- 1...Sg5
- 2.Bg3#
- 1...Sd6
- 2.Bg3#
- 1...Rxg1+
- Tries
- 1.Sc1?
- threat
- 2.Rh1#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sxf2
- 2.Qxf2#
- 1...Sg3
- 2.Bxg3#
- 1...Rxc1!
- threat
- 1.Sg3?
- threat
- 2.Rg2#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sxg3
- 2.Bxg3#
- 1...Rxg1!
- threat
- 1.Be1?
- threat
- 2.Rh1#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sf2
- 2.Qxf2#
- 1...Sg3
- 2.Bxg3#
- 2.Qf2#
- 1...Rxe1!
- threat
- 1.Bxe4?
- threat
- 2.Bg3#
- 1...Rxg1+
- 2.Bxg1#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Ra3
- 2.Rh1#
- 1...Qa3!
- threat
- 1.Rxa1?
- threat
- 2.Bg1#
- 2.Rh1#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sxf2
- 2.Qxf2#
- 1...Sg3
- 2.Bg1#
- 2.Bxg3#
- 1...Qxa1!
- threat
- 1.Rb1?
- threat
- 2.Bg1#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sxf2
- 2.Qxf2#
- 1...Rxb1!
- threat
- 1.Rc1?
- threat
- 2.Bg1#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sxf2
- 2.Qxf2#
- 1...Rxc1!
- threat
- 1.Rd1?
- threat
- 2.Bg1#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sxf2
- 2.Qxf2#
- 1...Rxd1!
- threat
- 1.Re1?
- threat
- 2.Bg1#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sxf2
- 2.Qxf2#
- 1...Rxe1!
- threat
- 1.Rf1?
- threat
- 2.Bg1#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sxf2
- 2.Rxf2#
- 2.Qxf2#
- 1...Rxf1!
- threat
- 1.Rg3?
- threat
- 2.Rh3#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sxf2
- 2.Qxf2#
- 1...Sxg3
- 2.Bxg3#
- 1...Rg1
- 2.Bxg1#
- 1...Sg5!
- threat
- 1.Rg4?
- threat
- 2.Rh4#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sxf2
- 2.Qxf2#
- 1...Rg1
- 2.Bxg1#
- 1...Sg5
- 2.Bg3#
- 1...fxg4!
- threat
- 1.Rg5?
- threat
- 2.Rh5#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sxf2
- 2.Qxf2#
- 1...Sxg5
- 2.Bg3#
- 1...Rg1
- 2.Bxg1#
- 1...Sg3
- 2.Bxg3#
- 1...fxg5!
- threat
- 1.Rg6?
- threat
- 2.Rh6#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sxf2
- 2.Qxf2#
- 1...Rg1
- 2.Bxg1#
- 1...Sg3
- 2.Bxg3#
- 1...Sg5
- 2.Bg3#
- 1...fxg6!
- threat
- 1.Rxa8?
- threat
- 2.h8Q#
- 2.h8R#
- 1...Rxg1+
- 2.Bxg1#
- 1...Sxf2
- 2.Qxf2#
- 1...Sxc5
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Qa2
- 2.h8Q#
- 2.h8R#
- 1...Qa3
- 2.h8Q#
- 2.h8R#
- 1...Qa4
- 2.h8Q#
- 2.h8R#
- 1...Qa5
- 2.h8Q#
- 2.h8R#
- 1...Qb6
- 2.h8Q#
- 2.h8R#
- 1...Qc6
- 2.h8Q#
- 2.h8R#
- 1...Qd6
- 2.h8Q#
- 2.h8R#
- 1...Qe6
- 2.h8Q#
- 2.h8R#
- 1...Qa7
- 2.h8Q#
- 2.h8R#
- 1...Rb1
- 2.h8Q#
- 2.h8R#
- 1...Rc1
- 2.h8Q#
- 2.h8R#
- 1...Rd1
- 2.h8Q#
- 2.h8R#
- 1...Re1
- 2.h8Q#
- 2.h8R#
- 1...Rf1
- 2.h8Q#
- 2.h8R#
- 1...Ra2
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra3
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra4
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra5
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Sd2
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sc3
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sg3
- 2.Bxg3#
- 1...Sg5
- 2.Bg3#
- 1...Sd6
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...b4
- 2.h8Q#
- 2.h8R#
- 1...d4
- 2.h8Q#
- 2.h8R#
- 1...b6
- 2.h8Q#
- 2.h8R#
- 1...Qxa8!
- threat
- 1.Rb8?
- threat
- 2.h8Q#
- 2.h8R#
- 1...Rxg1+
- 2.Bxg1#
- 1...Sxf2
- 2.Qxf2#
- 1...Sxc5
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Qa2
- 2.h8Q#
- 2.h8R#
- 1...Qa3
- 2.h8Q#
- 2.h8R#
- 1...Qa4
- 2.h8Q#
- 2.h8R#
- 1...Qa5
- 2.h8Q#
- 2.h8R#
- 1...Qb6
- 2.h8Q#
- 2.h8R#
- 1...Qc6
- 2.h8Q#
- 2.h8R#
- 1...Qd6
- 2.h8Q#
- 2.h8R#
- 1...Qe6
- 2.h8Q#
- 2.h8R#
- 1...Qa7
- 2.h8Q#
- 2.h8R#
- 1...Rb1
- 2.h8Q#
- 2.h8R#
- 1...Rc1
- 2.h8Q#
- 2.h8R#
- 1...Rd1
- 2.h8Q#
- 2.h8R#
- 1...Re1
- 2.h8Q#
- 2.h8R#
- 1...Rf1
- 2.h8Q#
- 2.h8R#
- 1...Ra2
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra3
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra4
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra5
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra7
- 2.h8Q#
- 2.h8R#
- 1...Sd2
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sc3
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sg3
- 2.Bxg3#
- 1...Sg5
- 2.Bg3#
- 1...Sd6
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...b4
- 2.h8Q#
- 2.h8R#
- 1...d4
- 2.h8Q#
- 2.h8R#
- 1...b6
- 2.h8Q#
- 2.h8R#
- 1...Rxb8!
- threat
- 1.Rc8?
- threat
- 2.h8Q#
- 2.h8R#
- 1...Rxg1+
- 2.Bxg1#
- 1...Sxf2
- 2.Qxf2#
- 1...Sxc5
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Qa2
- 2.h8Q#
- 2.h8R#
- 1...Qa3
- 2.h8Q#
- 2.h8R#
- 1...Qa4
- 2.h8Q#
- 2.h8R#
- 1...Qa5
- 2.h8Q#
- 2.h8R#
- 1...Qb6
- 2.h8Q#
- 2.h8R#
- 1...Qc6
- 2.h8Q#
- 2.h8R#
- 1...Qd6
- 2.h8Q#
- 2.h8R#
- 1...Qe6
- 2.h8Q#
- 2.h8R#
- 1...Qa7
- 2.h8Q#
- 2.h8R#
- 1...Rb1
- 2.h8Q#
- 2.h8R#
- 1...Rc1
- 2.h8Q#
- 2.h8R#
- 1...Rd1
- 2.h8Q#
- 2.h8R#
- 1...Re1
- 2.h8Q#
- 2.h8R#
- 1...Rf1
- 2.h8Q#
- 2.h8R#
- 1...Ra2
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra3
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra4
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra5
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra7
- 2.h8Q#
- 2.h8R#
- 1...Rb8
- 2.h8Q#
- 2.h8R#
- 1...Sd2
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sc3
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sg3
- 2.Bxg3#
- 1...Sg5
- 2.Bg3#
- 1...Sd6
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...b4
- 2.h8Q#
- 2.h8R#
- 1...d4
- 2.h8Q#
- 2.h8R#
- 1...b6
- 2.h8Q#
- 2.h8R#
- 1...Rxc8!
- threat
- 1.Rd8?
- threat
- 2.h8Q#
- 2.h8R#
- 1...Rxg1+
- 2.Bxg1#
- 1...Sxf2
- 2.Qxf2#
- 1...Sxc5
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Qa2
- 2.h8Q#
- 2.h8R#
- 1...Qa3
- 2.h8Q#
- 2.h8R#
- 1...Qa4
- 2.h8Q#
- 2.h8R#
- 1...Qa5
- 2.h8Q#
- 2.h8R#
- 1...Qb6
- 2.h8Q#
- 2.h8R#
- 1...Qc6
- 2.h8Q#
- 2.h8R#
- 1...Qd6
- 2.h8Q#
- 2.h8R#
- 1...Qe6
- 2.h8Q#
- 2.h8R#
- 1...Qa7
- 2.h8Q#
- 2.h8R#
- 1...Rb1
- 2.h8Q#
- 2.h8R#
- 1...Rc1
- 2.h8Q#
- 2.h8R#
- 1...Rd1
- 2.h8Q#
- 2.h8R#
- 1...Re1
- 2.h8Q#
- 2.h8R#
- 1...Rf1
- 2.h8Q#
- 2.h8R#
- 1...Ra2
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra3
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra4
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra5
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra7
- 2.h8Q#
- 2.h8R#
- 1...Rb8
- 2.h8Q#
- 2.h8R#
- 1...Rc8
- 2.h8Q#
- 2.h8R#
- 1...Sd2
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sc3
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sg3
- 2.Bxg3#
- 1...Sg5
- 2.Bg3#
- 1...Sd6
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...b4
- 2.h8Q#
- 2.h8R#
- 1...d4
- 2.h8Q#
- 2.h8R#
- 1...b6
- 2.h8Q#
- 2.h8R#
- 1...Rxd8!
- threat
- 1.Re8?
- threat
- 2.h8Q#
- 2.h8R#
- 1...Rxg1+
- 2.Bxg1#
- 1...Sxf2
- 2.Qxf2#
- 1...Sxc5
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Qa2
- 2.h8Q#
- 2.h8R#
- 1...Qa3
- 2.h8Q#
- 2.h8R#
- 1...Qa4
- 2.h8Q#
- 2.h8R#
- 1...Qa5
- 2.h8Q#
- 2.h8R#
- 1...Qb6
- 2.h8Q#
- 2.h8R#
- 1...Qc6
- 2.h8Q#
- 2.h8R#
- 1...Qd6
- 2.h8Q#
- 2.h8R#
- 1...Qe6
- 2.h8Q#
- 2.h8R#
- 1...Qa7
- 2.h8Q#
- 2.h8R#
- 1...Rb1
- 2.h8Q#
- 2.h8R#
- 1...Rc1
- 2.h8Q#
- 2.h8R#
- 1...Rd1
- 2.h8Q#
- 2.h8R#
- 1...Re1
- 2.h8Q#
- 2.h8R#
- 1...Rf1
- 2.h8Q#
- 2.h8R#
- 1...Ra2
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra3
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra4
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra5
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra7
- 2.h8Q#
- 2.h8R#
- 1...Rb8
- 2.h8Q#
- 2.h8R#
- 1...Rc8
- 2.h8Q#
- 2.h8R#
- 1...Rd8
- 2.h8Q#
- 2.h8R#
- 1...Sd2
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sc3
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sg3
- 2.Bxg3#
- 1...Sg5
- 2.Bg3#
- 1...Sd6
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...b4
- 2.h8Q#
- 2.h8R#
- 1...d4
- 2.h8Q#
- 2.h8R#
- 1...b6
- 2.h8Q#
- 2.h8R#
- 1...Rxe8!
- threat
- 1.Rf8?
- threat
- 2.h8Q#
- 2.h8R#
- 1...Rxg1+
- 2.Bxg1#
- 1...Sxf2
- 2.Qxf2#
- 1...Sxc5
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Qa2
- 2.h8Q#
- 2.h8R#
- 1...Qa3
- 2.h8Q#
- 2.h8R#
- 1...Qa4
- 2.h8Q#
- 2.h8R#
- 1...Qa5
- 2.h8Q#
- 2.h8R#
- 1...Qb6
- 2.h8Q#
- 2.h8R#
- 1...Qc6
- 2.h8Q#
- 2.h8R#
- 1...Qd6
- 2.h8Q#
- 2.h8R#
- 1...Qe6
- 2.h8Q#
- 2.h8R#
- 1...Qa7
- 2.h8Q#
- 2.h8R#
- 1...Rb1
- 2.h8Q#
- 2.h8R#
- 1...Rc1
- 2.h8Q#
- 2.h8R#
- 1...Rd1
- 2.h8Q#
- 2.h8R#
- 1...Re1
- 2.h8Q#
- 2.h8R#
- 1...Rf1
- 2.h8Q#
- 2.h8R#
- 1...Ra2
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra3
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra4
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra5
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra7
- 2.h8Q#
- 2.h8R#
- 1...Rb8
- 2.h8Q#
- 2.h8R#
- 1...Rc8
- 2.h8Q#
- 2.h8R#
- 1...Rd8
- 2.h8Q#
- 2.h8R#
- 1...Re8
- 2.h8Q#
- 2.h8R#
- 1...Sd2
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sc3
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sg3
- 2.Bxg3#
- 1...Sg5
- 2.Bg3#
- 1...Sd6
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...b4
- 2.h8Q#
- 2.h8R#
- 1...d4
- 2.h8Q#
- 2.h8R#
- 1...b6
- 2.h8Q#
- 2.h8R#
- 1...Rxf8!
- threat
- 1.Rg8?
- threat
- 2.h8Q#
- 2.h8R#
- 1...Rxg1+
- 2.Bxg1#
- 1...Sxf2
- 2.Qxf2#
- 1...Sxc5
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Qa2
- 2.h8Q#
- 2.h8R#
- 1...Qa3
- 2.h8Q#
- 2.h8R#
- 1...Qa4
- 2.h8Q#
- 2.h8R#
- 1...Qa5
- 2.h8Q#
- 2.h8R#
- 1...Qb6
- 2.h8Q#
- 2.h8R#
- 1...Qc6
- 2.h8Q#
- 2.h8R#
- 1...Qd6
- 2.h8Q#
- 2.h8R#
- 1...Qe6
- 2.h8Q#
- 2.h8R#
- 1...Qa7
- 2.h8Q#
- 2.h8R#
- 1...Rb1
- 2.h8Q#
- 2.h8R#
- 1...Rc1
- 2.h8Q#
- 2.h8R#
- 1...Rd1
- 2.h8Q#
- 2.h8R#
- 1...Re1
- 2.h8Q#
- 2.h8R#
- 1...Rf1
- 2.h8Q#
- 2.h8R#
- 1...Ra2
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra3
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra4
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra5
- 2.Rh1#
- 2.h8Q#
- 2.h8R#
- 1...Ra7
- 2.h8Q#
- 2.h8R#
- 1...Rb8
- 2.h8Q#
- 2.h8R#
- 1...Rc8
- 2.h8Q#
- 2.h8R#
- 1...Rd8
- 2.h8Q#
- 2.h8R#
- 1...Re8
- 2.h8Q#
- 2.h8R#
- 1...Rf8
- 2.h8Q#
- 2.h8R#
- 1...Sd2
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sc3
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...Sg3
- 2.Bxg3#
- 1...Sg5
- 2.Bg3#
- 1...Sd6
- 2.Bg3#
- 2.h8Q#
- 2.h8R#
- 1...b4
- 2.h8Q#
- 2.h8R#
- 1...d4
- 2.h8Q#
- 2.h8R#
- 1...b6
- 2.h8Q#
- 2.h8R#
- 1...Rxg8+!
- threat
- 1.Qc1?
- threat
- 2.Rh1#
- 2.Rg2#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8S#
- 2.hxg8B#
- 2.hxg8R#
- 1...Sxf2
- 2.Rg2#
- 1...Sg3
- 2.Bxg3#
- 2.Rg2#
- 1...Rxc1!
- threat
- 1.Sc1?
- Keys
- 1.Bg3+!
- 1...Sxg3
- 2.Qf2#
- 1...Sxg3
- 1.Bg3+!
This is after
After A. Dobrila.
FEATURES
- Static
- TYPE = CHECKING_KEY
- CHANGED MATES = 1
- ADDED MATES = 0
- REMOVED MATES = 11
- Sets
- R(a);CHECK,OGATE,XR(A)::B(C),XR(a)
- R(a);N_GUARD,SBLOCK::R1(A)
- R(a);N_GUARD::R1(A)
- S(c);N_GUARD::B(C)
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- S(c);N_GUARD::B(C),XS(c)
- S(c);N_GUARD,XQ(F)::B(C)
- Tries
- Try
- S(B);
- Threat
- R1(A)
- Vars
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- S(c);N_GUARD::B(C),XS(c)
- Refutation
- R(a);XS(B)
- Try
- S(B);
- Threat
- R1(A)
- Vars
- S(c);OGATE,XS(B)::B(C),XS(c)
- Refutation
- R(a);P_PINS(B),XR(A)
- Try
- B(C);
- Threat
- R1(A)
- Vars
- S(c);N_GUARD::QAR2(F),XS(c)
- Refutation
- R(a);XB(C)
- Try
- B(D);XS(c)
- Threat
- B(C)
- Vars
- R(a);CHECK,OGATE,XR(A)::B(C),XR(a)
- R(a);N_GUARD::R1(A)
- Refutation
- Q(g);
- Try
- R(A);XR(a)
- Threat
- DUALS(2)
- Vars
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- Refutation
- Q(g);XR(A)
- Try
- R(A);
- Threat
- B(C)
- Vars
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- Refutation
- R(a);XR(A)
- Try
- R(A);
- Threat
- B(C)
- Vars
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- Refutation
- R(a);XR(A)
- Try
- R(A);
- Threat
- B(C)
- Vars
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- Refutation
- R(a);XR(A)
- Try
- R(A);
- Threat
- B(C)
- Vars
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- Refutation
- R(a);XR(A)
- Try
- R(A);
- Threat
- B(C)
- Refutation
- R(a);XR(A)
- Try
- R(A);
- Threat
- R1(A)
- Vars
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- S(c);OGATE,XR(A)::B(C),XS(c)
- R(a);N_GUARD,P_PINR(A)::B(C),XR(a)
- Refutation
- S(c);
- Try
- R(A);
- Threat
- R(A)
- Vars
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- R(a);N_GUARD,P_PINR(A)::B(C),XR(a)
- S(c);N_GUARD::B(C)
- Refutation
- P(f);XR(A)
- Try
- R(A);
- Threat
- R(A)
- Vars
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- S(c);N_GUARD,XR(A)::B(C)
- R(a);N_GUARD,P_PINR(A)::B(C),XR(a)
- S(c);N_GUARD::B(C),XS(c)
- Refutation
- P(h);XR(A)
- Try
- R(A);
- Threat
- R(A)
- Vars
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- R(a);N_GUARD,P_PINR(A)::B(C),XR(a)
- S(c);N_GUARD::B(C),XS(c)
- S(c);N_GUARD::B(C)
- Refutation
- P(j);XR(A)
- Try
- R(I);XR(k)
- Threat
- P=Q
- Vars
- R(a);CHECK,OGATE,XR(A)::B(C),XR(a)
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- Q(g);::P=Q
- R(a);::P=Q
- S(c);N_GUARD::B(C),XS(c)
- S(c);N_GUARD::B(C)
- P(d);::P=Q
- P(e);::P=Q
- P(i);::P=Q
- Refutation
- Q(g);XR(I)
- Try
- R(I);
- Threat
- P=Q
- Vars
- R(a);CHECK,OGATE,XR(A)::B(C),XR(a)
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- Q(g);SBLOCK::P=Q
- Q(g);::P=Q
- R(a);::P=Q
- R(k);::P=Q
- S(c);N_GUARD::B(C),XS(c)
- S(c);N_GUARD::B(C)
- P(d);::P=Q
- P(e);::P=Q
- P(i);::P=Q
- Refutation
- R(k);XR(I)
- Try
- R(I);
- Threat
- P=Q
- Vars
- R(a);CHECK,OGATE,XR(A)::B(C),XR(a)
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- Q(g);SBLOCK::P=Q
- Q(g);::P=Q
- R(a);::P=Q
- R(k);::P=Q
- S(c);N_GUARD::B(C),XS(c)
- S(c);N_GUARD::B(C)
- P(d);::P=Q
- P(e);::P=Q
- P(i);::P=Q
- Refutation
- R(k);XR(I)
- Try
- R(I);
- Threat
- P=Q
- Vars
- R(a);CHECK,OGATE,XR(A)::B(C),XR(a)
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- Q(g);SBLOCK::P=Q
- Q(g);::P=Q
- R(a);::P=Q
- R(k);::P=Q
- S(c);N_GUARD::B(C),XS(c)
- S(c);N_GUARD::B(C)
- P(d);::P=Q
- P(e);::P=Q
- P(i);::P=Q
- Refutation
- R(k);XR(I)
- Try
- R(I);
- Threat
- P=Q
- Vars
- R(a);CHECK,OGATE,XR(A)::B(C),XR(a)
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- Q(g);SBLOCK::P=Q
- Q(g);::P=Q
- R(a);::P=Q
- R(k);::P=Q
- S(c);N_GUARD::B(C),XS(c)
- S(c);N_GUARD::B(C)
- P(d);::P=Q
- P(e);::P=Q
- P(i);::P=Q
- Refutation
- R(k);XR(I)
- Try
- R(I);
- Threat
- P=Q
- Vars
- R(a);CHECK,OGATE,XR(A)::B(C),XR(a)
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- Q(g);SBLOCK::P=Q
- Q(g);::P=Q
- R(a);::P=Q
- R(k);::P=Q
- S(c);N_GUARD::B(C),XS(c)
- S(c);N_GUARD::B(C)
- P(d);::P=Q
- P(e);::P=Q
- P(i);::P=Q
- Refutation
- R(k);XR(I)
- Try
- R(I);
- Threat
- P=Q
- Vars
- R(a);CHECK,OGATE,XR(A)::B(C),XR(a)
- S(c);OGATE,XB(C)::QAR2(F),XS(c)
- Q(g);SBLOCK::P=Q
- Q(g);::P=Q
- R(a);::P=Q
- R(k);::P=Q
- S(c);N_GUARD::B(C),XS(c)
- S(c);N_GUARD::B(C)
- P(d);::P=Q
- P(e);::P=Q
- P(i);::P=Q
- Refutation
- R(k);CHECK,XR(I)
- Try
- Q(F);
- Threat
- DUALS(2)
- Vars
- S(c);XB(C)::R1(A)
- Refutation
- R(a);XQ(F)
- Try
- Actual
- B(C);CHECK
- Vars
- S(c);XB(C)::QAR2(F)
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).