MESON Chess Problem Database
Problem Display
PID: 2073 (1R6/B1p2Npb/3bQ1r1/3Pp2p/2B1k1pP/3rP3/3R1PK1/2n2N1n w - - 0 1)
Blakemore, JT
Source?, 0000
#2
12 + 12
| 187 | The Chess Bouquet | 1897 |
SOLUTION
- SOUND
- Sets
- 1...Rxd2
- 2.Sxd2#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rxe3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Rg5
- 2.Sxg5#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sxf2
- 2.Sg3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxd2
- Tries
- 1.Bc5?
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Bxc5
- 2.Qxe5#
- 1...Sxf2
- 2.Sg3#
- 1...Rg5
- 2.Sxg5#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c6
- 2.Sxd6#
- 1...Rxe6!
- 1...Rxd2
- 1.Bb6?
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Sxf2
- 2.Sg3#
- 1...cxb6
- 2.Sxd6#
- 1...Rg5
- 2.Sxg5#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxe6!
- 1...Rxd2
- 1.Rb1?
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Sxf2
- 2.Sg3#
- 1...Rg5
- 2.Sxg5#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxe6!
- 1...Rxd2
- 1.Rbb2?
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Sxf2
- 2.Sg3#
- 1...Rg5
- 2.Sxg5#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxe6!
- 1...Rxd2
- 1.Rb3?
- 1...Rxd2
- 2.Sxd2#
- 1...Rxb3
- 2.Rd4#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Sxb3
- 2.Bxd3#
- 1...Sxf2
- 2.Sg3#
- 1...Rg5
- 2.Sxg5#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxe6!
- 1...Rxd2
- 1.Rb4?
- threat
- 2.Bxd3#
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Bd3#
- 2.Rd4#
- 1...Rxd5
- 2.Bd3#
- 2.Bxd5#
- 1...Bxb4
- 2.Qxe5#
- 1...Ra3
- 2.Bd3#
- 2.Rd4#
- 1...Rb3
- 2.Bd3#
- 2.Rd4#
- 1...Rc3
- 2.Bd3#
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rxe6!
- threat
- 1.Rb5?
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Sxf2
- 2.Sg3#
- 1...Rg5
- 2.Sxg5#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxe6!
- 1...Rxd2
- 1.Rb7?
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Sxf2
- 2.Sg3#
- 1...Rg5
- 2.Sxg5#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxe6!
- 1...Rxd2
- 1.Ra8?
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Sxf2
- 2.Sg3#
- 1...Rg5
- 2.Sxg5#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxe6!
- 1...Rxd2
- 1.Rc8?
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Sxf2
- 2.Sg3#
- 1...Rg5
- 2.Sxg5#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxe6!
- 1...Rxd2
- 1.Rd8?
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Sxf2
- 2.Sg3#
- 1...Rg5
- 2.Sxg5#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxe6!
- 1...Rxd2
- 1.Re8?
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Sxf2
- 2.Sg3#
- 1...Rg5
- 2.Sxg5#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxe6!
- 1...Rxd2
- 1.Rg8?
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Bxg8
- 2.Qxg6#
- 1...Sxf2
- 2.Sg3#
- 1...Rg5
- 2.Sxg5#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxe6!
- 1...Rxd2
- 1.Rh8?
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Sxf2
- 2.Sg3#
- 1...Rg5
- 2.Sxg5#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bf8
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxe6!
- 1...Rxd2
- 1.Bc5?
- Keys
- 1.Rf8!
- 1...Rxd2
- 2.Sxd2#
- 1...Rxe3
- 2.Rd4#
- 1...Rxd5
- 2.Bxd5#
- 1...Rxe6
- 2.Sg5#
- 1...Bxf8
- 2.Qxe5#
- 1...Sxf2
- 2.Sg3#
- 1...Rg5
- 2.Sxg5#
- 1...Ra3
- 2.Rd4#
- 1...Rb3
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf6
- 2.Sg5#
- 1...Rh6
- 2.Sg5#
- 1...Ba3
- 2.Qxe5#
- 1...Bb4
- 2.Qxe5#
- 1...Bc5
- 2.Qxe5#
- 1...Be7
- 2.Qxe5#
- 1...Bg8
- 2.Qxg6#
- 1...Sa2
- 2.Bxd3#
- 1...Se2
- 2.Bxd3#
- 1...Sb3
- 2.Bxd3#
- 1...Sg3
- 2.Sxg3#
- 1...g3
- 2.f3#
- 1...c5
- 2.Sxd6#
- 1...c6
- 2.Sxd6#
- 1...Rxd2
- 1.Rf8!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE::R1(B)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(c);OGATE,XP(H)::B(F),XR(c)
- R(i);N_GUARD::S(K),XR(i)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD,XP(C)::S(A)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Tries
- Try
- B(J);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- B(h);N_GUARD,XB(J)::QAR1(I),XP(f)
- S(b);N_GUARD,XP(C)::S(A)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- B(J);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- S(b);N_GUARD,XP(C)::S(A)
- P(j);N_GUARD,XB(J)::S(K),XB(h)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- R(L);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- S(b);N_GUARD,XP(C)::S(A)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- R(L);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- S(b);N_GUARD,XP(C)::S(A)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- R(L);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XR(L)::R1(B)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- S(a);N_GUARD,XR(L)::B(F),XR(c)
- S(b);N_GUARD,XP(C)::S(A)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- R(L);
- Threat
- R(L)+B(F),DCHECK,XR(c)
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- B(h);N_GUARD,XR(L)::QAR1(I),XP(f)
- R(c);OGATE::R1(B),XR(c)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- R(L);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- S(b);N_GUARD,XP(C)::S(A)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- R(L);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- S(b);N_GUARD,XP(C)::S(A)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- R(L);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- S(b);N_GUARD,XP(C)::S(A)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- R(L);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- S(b);N_GUARD,XP(C)::S(A)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- R(L);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- S(b);N_GUARD,XP(C)::S(A)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- R(L);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- S(b);N_GUARD,XP(C)::S(A)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- R(L);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- B(l);N_GUARD,XR(L)::QAB(I),XR(i)
- S(b);N_GUARD,XP(C)::S(A)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- R(L);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- S(b);N_GUARD,XP(C)::S(A)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
- Refutation
- R(i);N_SPINP(f),XQ(I)
- Try
- Actual
- R(L);
- Vars
- R(c);P_PINP(C),XR(B)::S(A),XR(c)
- R(c);OGATE,XP(E)::R1(B)
- R(c);OGATE,XP(H)::B(F),XR(c)
- R(i);N_GUARD,N_SPINP(f),XQ(I)::S(K)
- B(h);N_GUARD,XR(L)::QAR1(I),XP(f)
- S(b);N_GUARD,XP(C)::S(A)
- R(i);N_GUARD::S(K),XR(i)
- R(c);OGATE::R1(B)
- R(c);OGATE::R1(B),XR(c)
- R(i);N_GUARD::S(K)
- B(h);N_GUARD::QAR1(I),XP(f)
- B(l);N_GUARD::QAB(I),XR(i)
- S(a);N_GUARD::B(F),XR(c)
- S(b);N_GUARD::S(A),XS(b)
- P(e);N_GUARD::P(C)
- P(j);N_GUARD::S(K),XB(h)
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).