MESON Chess Problem Database
Problem Display
PID: 246327 (1N1k1n2/nBpPp1N1/8/8/4p3/4Kp2/3Q2P1/3RBR2 w - - 0 1)
Bunka, Vladislav
Europe Echecs, 1970
#2
10 + 7
| 15148 | Sadier Collection | 2021 |
SOLUTION
- SOUND
- Sets
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sxd7
- 2.Qxd7#
- 1...Sh7
- 2.Se6#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- Tries
- 1.Kxe4?
- 1...Sxd7
- 2.Qxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 2.Qg5#
- 1...e6
- 2.Bh4#
- 2.Qg5#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Bf2?
- 1...Sxd7
- 2.Qxd7#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Se6
- 2.Sxe6#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...fxg2!
- 1...Sxd7
- 1.Bg3?
- 1...Sxd7
- 2.Qxd7#
- 1...fxg2
- 2.Rxf8#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Se6
- 2.Sxe6#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...f2!
- 1...Sxd7
- 1.Bh4?
- 1...Sxd7
- 2.Qxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...Se6
- 2.Sxe6#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Bxe4?
- 1...Sxd7
- 2.Qxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Ba6?
- 1...Sxd7
- 2.Qxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Ba8?
- 1...Sxd7
- 2.Qxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Bc8?
- 1...Sxc8
- 2.Sc6#
- 1...Sxd7
- 2.Qxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxc8
- 1.Ra1?
- 1...Sxd7
- 2.Qxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Rb1?
- 1...Sxd7
- 2.Qxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Rc1?
- 1...Sxd7
- 2.Qxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Rxf3?
- threat
- 2.Rxf8#
- 1...Sxd7
- 2.Rf8#
- 2.Qxd7#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...exf3!
- threat
- 1.Qc1?
- 1...Sxd7
- 2.Rxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Ba5#
- 1...c6
- 2.Ba5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Qc3?
- 1...Sxd7
- 2.Rxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 2.Qf6#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Qb4?
- 1...Sxd7
- 2.Rxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Qa5#
- 2.Qb6#
- 1...c6
- 2.Qa5#
- 2.Qb6#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...e5
- 2.Bh4#
- 2.Qxf8#
- 1...e6
- 2.Bh4#
- 2.Qxf8#
- 1...f2!
- 1...Sxd7
- 1.Qa5?
- 1...Sxd7
- 2.Rxd7#
- 1...fxg2
- 2.Rxf8#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 2.Qg5#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Qa2?
- 1...Sxd7
- 2.Rxd7#
- 2.Qg8#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Ba5#
- 2.Qa5#
- 1...c6
- 2.Ba5#
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Qb2?
- 1...Sxd7
- 2.Rxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Ba5#
- 2.Qb6#
- 1...c6
- 2.Ba5#
- 2.Qb6#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 2.Qf6#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Qc2?
- 1...Sxd7
- 2.Rxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Ba5#
- 1...c6
- 2.Ba5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Qe2?
- 1...Sxd7
- 2.Rxd7#
- 1...fxe2
- 2.Rxf8#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Ba5#
- 1...c6
- 2.Ba5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Qd4?
- 1...Sxd7
- 2.Qxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Ba5#
- 1...c6
- 2.Ba5#
- 2.Qb6#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 2.Qf6#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Qd5?
- 1...Sxd7
- 2.Qg8#
- 2.Qxd7#
- 1...fxg2
- 2.Rxf8#
- 1...c5
- 2.Ba5#
- 1...c6
- 2.Ba5#
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 2.Qg5#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Qd6?
- 1...Sxd7
- 2.Qxd7#
- 1...fxg2
- 2.Rxf8#
- 1...cxd6
- 2.Ba5#
- 1...exd6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...c5
- 2.Ba5#
- 2.Qb6#
- 1...c6
- 2.Ba5#
- 1...e5
- 2.Bh4#
- 2.Qxf8#
- 2.Qf6#
- 1...e6
- 2.Bh4#
- 2.Qxf8#
- 1...f2!
- 1...Sxd7
- 1.gxf3?
- 1...Sxd7
- 2.Qxd7#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...exf3!
- 1...Sxd7
- 1.g4?
- 1...Sxd7
- 2.Qxd7#
- 1...c5
- 2.Qa5#
- 1...c6
- 2.Qa5#
- 1...e5
- 2.Bh4#
- 1...e6
- 2.Bh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...f2!
- 1...Sxd7
- 1.Kxe4?
- Keys
- 1.Qf2!
- 1...Sxd7
- 2.Rxd7#
- 1...fxg2
- 2.Qxf8#
- 1...c5
- 2.Ba5#
- 1...c6
- 2.Ba5#
- 1...e5
- 2.Qh4#
- 1...e6
- 2.Qh4#
- 1...Sb5
- 2.Sc6#
- 1...Sc6
- 2.Sxc6#
- 1...Sc8
- 2.Sc6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se6
- 2.Sxe6#
- 1...Sg6
- 2.Se6#
- 1...Sh7
- 2.Se6#
- 1...Sxd7
- 1.Qf2!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 6
- ADDED MATES = 0
- REMOVED MATES = 0
- Sets
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::QAB(D)
- P(e);OGATEB::B(B)
- Tries
- Try
- K(F);P-FLIGHT,XP(b)
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::QAB(D)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- B(B);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(d);OGATEB::QAB(D)
- P(e);OGATEB::B(B)
- S(g);N_GUARD::S(I),XS(g)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);XP(E)
- Try
- B(B);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(e);OGATEB::B(B)
- S(g);N_GUARD::S(I),XS(g)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I)
- P(d);OGATEB::QAB(D)
- Refutation
- P(a);
- Try
- B(B);P_PINP(e)
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::QAB(D)
- S(g);N_GUARD::S(I),XS(g)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- B(G);XP(b)
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::QAB(D)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- B(G);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::QAB(D)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- B(G);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::QAB(D)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- B(G);
- Vars
- S(c);N_GUARD,XB(G)::S(J)
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::QAB(D)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- R(A);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::QAB(D)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- R(A);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::QAB(D)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- R(A);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::QAB(D)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- R(C);XP(a)
- Threat
- R(C),XS(g)
- Vars
- P(d);OGATEB::QAB(D)
- P(e);OGATEB::B(B)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(b);XR(C)
- Try
- Q(D);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::R1(A),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::B(B)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- Q(D);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::R1(A),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::QAB(D)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- Q(D);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::R1(A),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- Q(D);P_PINP(d)
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::R1(A),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- Q(D);
- Vars
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- Q(D);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::R1(A),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- Q(D);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::R1(A),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::B(B)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- Q(D);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::R1(A),XS(g)
- P(a);OGATE,XQ(D)::R(C),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::B(B)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- Q(D);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::B(B)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- Q(D);
- Vars
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB::B(B)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- Q(D);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(a);OGATE,XP(E)::R(C),XS(g)
- P(d);OGATEB,XQ(D)::B(B)
- P(e);OGATEB,XQ(D)::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- P(d);OGATEB::B(B)
- Refutation
- P(a);
- Try
- P(E);XP(a)
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(d);OGATEB::QAB(D)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(b);XP(E)
- Try
- P(E);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::QAR1(D),XS(g)
- P(d);OGATEB::QAB(D)
- P(e);OGATEB::B(B)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
- Refutation
- P(a);
- Try
- Actual
- Q(D);
- Vars
- S(g);OGATE,P_SPINS(g),XP(H)::R1(A),XS(g)
- P(a);OGATE,XP(E)::QAR2(D),XS(g)
- P(d);OGATEB::B(B)
- P(e);OGATEB::QAB(D)
- S(c);N_GUARD::S(J)
- S(c);N_GUARD::S(J),XS(c)
- S(g);N_GUARD::S(I),XS(g)
- S(g);N_GUARD::S(I)
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).