MESON Chess Problem Database
Problem Display
PID: 69434 (R7/1prp1R2/1P6/K1k1N3/5B2/1b3Pn1/1P1Q1NB1/3n4 w - - 0 1)
Anonymous
Nuova Rivista degli Scacchi, 1883
#2
11 + 7
| 5689 | The Chess Monthly (Hoffer) | 1883 |
SOLUTION
- SOUND
- Sets
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Bd5
- 2.Qb4#
- 1...Be6
- 2.b4#
- 1...Bxf7
- 2.b4#
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sf1
- 2.Se4#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d5
- 2.Qb4#
- 1...d6
- 2.Rxc7#
- 1...Rc8
- Tries
- 1.Sxd7+?
- 1...Kc4
- 2.Qd3#
- 1...Kc6
- 2.Qd6#
- 1...Rxd7!
- 1...Kc4
- 1.Bh1?
- 1...Bxf7
- 2.b4#
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Sxh1
- 2.Se4#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Sf1
- 2.Se4#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d6
- 2.Rxc7#
- 1...Rc6!
- 1...Bxf7
- 1.Bh3?
- 1...Bxf7
- 2.b4#
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sf1
- 2.Se4#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d6
- 2.Rxc7#
- 1...Rc6!
- 1...Bxf7
- 1.Bxg3?
- threat
- 2.Se4#
- 1...Sxf2
- 2.Bxf2#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Bc2
- 2.b4#
- 1...Sc3!
- threat
- 1.Bg5?
- 1...Bxf7
- 2.b4#
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sf1
- 2.Se4#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d6
- 2.Rxc7#
- 1...Rc6!
- 1...Bxf7
- 1.Bh6?
- 1...Bxf7
- 2.b4#
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sf1
- 2.Se4#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d6
- 2.Rxc7#
- 1...Rc6!
- 1...Bxf7
- 1.Rf6?
- threat
- 2.Qd6#
- 1...Bd5
- 2.Qb4#
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...d5
- 2.Qb4#
- 1...d6
- 2.Qxd6#
- 1...Rc6!
- threat
- 1.Rxd7?
- threat
- 2.Sfd3#
- 2.Rxc7#
- 2.Qb4#
- 2.Qd4#
- 2.Qd6#
- 1...Sxb2
- 2.Be3#
- 2.Rxc7#
- 2.Qe3#
- 2.Qb4#
- 2.Qd4#
- 2.Qd6#
- 1...Sxf2
- 2.Be3#
- 2.Rxc7#
- 2.Qe3#
- 2.Qb4#
- 2.Qxf2#
- 2.Qd4#
- 2.Qd6#
- 1...Rc6
- 2.Sfd3#
- 2.Qb4#
- 2.Qd4#
- 1...Rc8
- 2.Sfd3#
- 2.Rxc8#
- 2.Qb4#
- 2.Qd4#
- 2.Qd6#
- 1...Bc2
- 2.Rd5#
- 2.Rxc7#
- 2.Qb4#
- 2.Qd4#
- 2.Qd5#
- 2.Qd6#
- 2.b4#
- 1...Ba4
- 2.Sfd3#
- 2.Rd5#
- 2.Qb4#
- 2.Qd4#
- 2.Qd5#
- 2.Qd6#
- 2.b4#
- 1...Bc4
- 2.Rxc7#
- 2.Qb4#
- 2.Qd4#
- 2.Qd6#
- 2.b4#
- 1...Bd5
- 2.Rxd5#
- 2.Qb4#
- 2.Qxd5#
- 2.b4#
- 1...Sc3
- 2.Sfd3#
- 2.Be3#
- 2.Rxc7#
- 2.Qe3#
- 2.Qd4#
- 2.Qd6#
- 1...Se2
- 2.Sfd3#
- 2.Se4#
- 2.Rxc7#
- 2.Qb4#
- 2.Qd6#
- 1...Se4
- 2.Sfd3#
- 2.Sxe4#
- 2.Rxc7#
- 2.Qb4#
- 2.Qd4#
- 1...Sf5
- 2.Sfd3#
- 2.Se4#
- 2.Rxc7#
- 2.Qb4#
- 1...Rxd7!
- threat
- 1.Re7?
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Bf7
- 2.b4#
- 1...Bg8
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sf1
- 2.Se4#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d6
- 2.Rxc7#
- 1...Rc6!
- 1...Sxb2
- 1.Rg7?
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Bf7
- 2.b4#
- 1...Bg8
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sf1
- 2.Se4#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d6
- 2.Rxc7#
- 1...Rc6!
- 1...Sxb2
- 1.Rh7?
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Bf7
- 2.b4#
- 1...Bg8
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sf1
- 2.Se4#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d6
- 2.Rxc7#
- 1...Rc6!
- 1...Sxb2
- 1.Rb8?
- 1...Bxf7
- 2.b4#
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sf1
- 2.Se4#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d6
- 2.Rxc7#
- 1...Rc6!
- 1...Bxf7
- 1.Rd8?
- 1...Bxf7
- 2.b4#
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Bd5
- 2.Qb4#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sf1
- 2.Se4#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d5
- 2.Rxc7#
- 2.Qb4#
- 1...d6
- 2.Rxc7#
- 2.Qxd6#
- 1...Rc6!
- 1...Bxf7
- 1.Re8?
- 1...Bxf7
- 2.b4#
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sf1
- 2.Se4#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d6
- 2.Rxc7#
- 1...Rc6!
- 1...Bxf7
- 1.Raf8?
- 1...Bxf7
- 2.b4#
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sf1
- 2.Se4#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d6
- 2.Rxc7#
- 1...Rc6!
- 1...Bxf7
- 1.Rg8?
- 1...Bxf7
- 2.b4#
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sf1
- 2.Se4#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d6
- 2.Rxc7#
- 1...Rc6!
- 1...Bxf7
- 1.Rh8?
- 1...Bxf7
- 2.b4#
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sf1
- 2.Se4#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d6
- 2.Rxc7#
- 1...Rc6!
- 1...Bxf7
- 1.bxc7?
- threat
- 2.c8Q#
- 2.c8R#
- 1...Bxf7
- 2.b4#
- 2.c8Q#
- 2.c8R#
- 1...Sxb2
- 2.Be3#
- 2.c8Q#
- 2.c8R#
- 1...Sxf2
- 2.Be3#
- 2.c8Q#
- 2.c8R#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Ba2
- 2.b4#
- 2.c8Q#
- 2.c8R#
- 1...Bc2
- 2.b4#
- 2.c8Q#
- 2.c8R#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 2.c8Q#
- 2.c8R#
- 1...Be6
- 2.b4#
- 2.c8Q#
- 2.c8R#
- 1...Sc3
- 2.Be3#
- 2.c8Q#
- 2.c8R#
- 1...Se3
- 2.Bxe3#
- 2.c8Q#
- 2.c8R#
- 1...Sf1
- 2.Se4#
- 2.c8Q#
- 2.c8R#
- 1...Sh1
- 2.Se4#
- 2.c8Q#
- 2.c8R#
- 1...Se2
- 2.Se4#
- 2.c8Q#
- 2.c8R#
- 1...Se4
- 2.Sxe4#
- 2.c8Q#
- 2.c8R#
- 1...Sf5
- 2.Se4#
- 2.c8Q#
- 2.c8R#
- 1...Sh5
- 2.Se4#
- 2.c8Q#
- 2.c8R#
- 1...b5
- 2.c8Q#
- 2.c8R#
- 1...d6
- 2.c8Q#
- 2.c8R#
- 1...b6+!
- threat
- 1.Sxd7+?
- Keys
- 1.Bf1!
- 1...Bxf7
- 2.b4#
- 1...Sxb2
- 2.Be3#
- 1...Sxf2
- 2.Be3#
- 1...Sxf1
- 2.Se4#
- 1...Bd5
- 2.Qb4#
- 1...d5
- 2.Qb4#
- 1...Rc6
- 2.Sxd7#
- 1...Rc8
- 2.Rxc8#
- 1...Ba2
- 2.b4#
- 1...Bc2
- 2.b4#
- 1...Ba4
- 2.b4#
- 1...Bc4
- 2.b4#
- 1...Be6
- 2.b4#
- 1...Sc3
- 2.Be3#
- 1...Se3
- 2.Bxe3#
- 1...Sh1
- 2.Se4#
- 1...Se2
- 2.Se4#
- 1...Se4
- 2.Sxe4#
- 1...Sf5
- 2.Se4#
- 1...Sh5
- 2.Se4#
- 1...d6
- 2.Rxc7#
- 1...Bxf7
- 1.Bf1!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- B(b);SBLOCK::QAB1(B)
- B(b);OGATE,XR(J)::P(A)
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- P(g);SBLOCK::QAB1(B)
- P(g);OGATE::R(J),XR(f)
- Tries
- Try
- S(H);CHECK,XP(g)
- Vars
- K(d);P-FLIGHT::QAB1(B)
- K(d);P-FLIGHT::QAR1(B)
- Refutation
- R(f);XS(H)
- Try
- B(D);
- Vars
- B(b);OGATE,XR(J)::P(A)
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- S(c);N_GUARD,XB(D)::S(C)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- S(c);N_GUARD::S(C)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C),XS(c)
- P(g);OGATE::R(J),XR(f)
- Refutation
- R(f);
- Try
- B(D);
- Vars
- B(b);OGATE,XR(J)::P(A)
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- P(g);OGATE::R(J),XR(f)
- Refutation
- R(f);
- Try
- B(F);XS(c)
- Threat
- S(C)
- Vars
- S(a);OGATE,XS(C)::B(F),XS(a)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- B(b);OGATE::P(A)
- Refutation
- S(a);
- Try
- B(F);
- Vars
- B(b);OGATE,XR(J)::P(A)
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- P(g);OGATE::R(J),XR(f)
- Refutation
- R(f);
- Try
- B(F);
- Vars
- B(b);OGATE,XR(J)::P(A)
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- P(g);OGATE::R(J),XR(f)
- Refutation
- R(f);
- Try
- R(J);
- Threat
- QAB1(B)
- Vars
- B(b);OGATE::P(A)
- S(c);N_GUARD::S(C),XS(c)
- S(c);N_GUARD::S(C)
- P(g);SBLOCK::QAB1(B)
- P(g);::QAB1(B),XP(g)
- Refutation
- R(f);
- Try
- R(J);XP(g)
- Threat
- DUALS(5)
- Refutation
- R(f);XR(J)
- Try
- R(J);
- Vars
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- P(g);OGATE::R(J),XR(f)
- Refutation
- R(f);
- Try
- R(J);
- Vars
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- P(g);OGATE::R(J),XR(f)
- Refutation
- R(f);
- Try
- R(J);
- Vars
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- P(g);OGATE::R(J),XR(f)
- Refutation
- R(f);
- Try
- R(K);
- Vars
- B(b);OGATE,XR(J)::P(A)
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- P(g);OGATE::R(J),XR(f)
- Refutation
- R(f);
- Try
- R(K);
- Vars
- B(b);OGATE,XR(J)::P(A)
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- B(b);SBLOCK::QAB1(B)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- Refutation
- R(f);
- Try
- R(K);
- Vars
- B(b);OGATE,XR(J)::P(A)
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- P(g);OGATE::R(J),XR(f)
- Refutation
- R(f);
- Try
- R(K);
- Vars
- B(b);OGATE,XR(J)::P(A)
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- P(g);OGATE::R(J),XR(f)
- Refutation
- R(f);
- Try
- R(K);
- Vars
- B(b);OGATE,XR(J)::P(A)
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- P(g);OGATE::R(J),XR(f)
- Refutation
- R(f);
- Try
- R(K);
- Vars
- B(b);OGATE,XR(J)::P(A)
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- P(g);OGATE::R(J),XR(f)
- Refutation
- R(f);
- Try
- P(I);XR(f)
- Threat
- P=Q
- Vars
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- B(b);OGATE::P(A)
- P(e);::P=Q
- P(g);::P=Q
- Refutation
- P(e);CHECK
- Try
- Actual
- B(D);
- Vars
- B(b);OGATE,XR(J)::P(A)
- S(a);N_GUARD,XP(A)::B(F)
- S(a);N_GUARD,XS(C)::B(F)
- S(c);N_GUARD,XB(D)::S(C)
- B(b);SBLOCK::QAB1(B)
- P(g);SBLOCK::QAB1(B)
- R(f);N_GUARD,SBLOCK::S(H),XP(g)
- R(f);OGATEB::R(K),XR(f)
- B(b);OGATE::P(A)
- S(a);N_GUARD::B(F)
- S(a);N_GUARD::B(F),XS(a)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- P(g);OGATE::R(J),XR(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).