MESON Chess Problem Database
Problem Display
PID: 205187 (8/3B1p2/5Pp1/3R1brp/2r3kP/R3p3/3Pp1N1/KQ2B1N1 w - - 0 1)
Bernard, Henry D'Oyly
American Chess Bulletin, 1930
#2
11 + 9
| 15148 | Sadier Collection | 2020 |
SOLUTION
- SOUND
- Sets
- 1...Rc1
- 2.Rd4#
- 1...Rc2
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 2.Qe4#
- 1...Ra4
- 2.Rxa4#
- 1...Rb4
- 2.Qxb4#
- 1...Rd4
- 2.Rxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qe4#
- 1...Rc6
- 2.Rd4#
- 2.Qe4#
- 1...Rc7
- 2.Rd4#
- 2.Qe4#
- 1...Rc8
- 2.Rd4#
- 2.Qe4#
- 1...Be6
- 2.Rxg5#
- 1...Bxd7
- 2.Rxg5#
- 1...exd2
- 2.Rg3#
- 1...Rc1
- Tries
- 1.Ka2?
- 1...Bxd7
- 2.Rxg5#
- 1...exd2
- 2.Rg3#
- 1...Rc1
- 2.Rd4#
- 2.Qe4#
- 1...Rc3
- 2.Rd4#
- 2.Qe4#
- 1...Ra4
- 2.Rxa4#
- 1...Rb4
- 2.Qxb4#
- 1...Rd4
- 2.Rxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qe4#
- 1...Rc6
- 2.Rd4#
- 2.Qe4#
- 1...Rc7
- 2.Rd4#
- 2.Qe4#
- 1...Rc8
- 2.Rd4#
- 2.Qe4#
- 1...Be6
- 2.Rxg5#
- 1...Rc2+!
- 1...Bxd7
- 1.Be6?
- 1...Bxe6
- 2.Rxg5#
- 1...exd2
- 2.Rg3#
- 1...Rc1
- 2.Rd4#
- 1...Rc2
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 2.Qe4#
- 1...Ra4
- 2.Rxa4#
- 1...Rb4
- 2.Qxb4#
- 1...Rd4
- 2.Rxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qe4#
- 1...Rc6
- 2.Rd4#
- 2.Qe4#
- 1...Rc7
- 2.Rd4#
- 2.Qe4#
- 1...Rc8
- 2.Rd4#
- 2.Qe4#
- 1...fxe6!
- 1...Bxe6
- 1.Bc8?
- 1...Bxc8
- 2.Rxg5#
- 1...exd2
- 2.Rg3#
- 1...Rc1
- 2.Rd4#
- 1...Rc2
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 2.Qe4#
- 1...Ra4
- 2.Rxa4#
- 1...Rb4
- 2.Qxb4#
- 1...Rd4
- 2.Rxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qe4#
- 1...Rc6
- 2.Rd4#
- 2.Qe4#
- 1...Rc7
- 2.Rd4#
- 2.Qe4#
- 1...Be6
- 2.Rxg5#
- 1...Bd7
- 2.Rxg5#
- 1...Rxc8!
- 1...Bxc8
- 1.Ra2?
- 1...Bxd7
- 2.Rxg5#
- 1...Rc1
- 2.Rd4#
- 1...Rc2
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 2.Qe4#
- 1...Ra4
- 2.Rxa4#
- 1...Rb4
- 2.Qxb4#
- 1...Rd4
- 2.Rxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qe4#
- 1...Rc6
- 2.Rd4#
- 2.Qe4#
- 1...Rc7
- 2.Rd4#
- 2.Qe4#
- 1...Rc8
- 2.Rd4#
- 2.Qe4#
- 1...Be6
- 2.Rxg5#
- 1...exd2!
- 1...Bxd7
- 1.Rb3?
- 1...Bxd7
- 2.Rxg5#
- 1...exd2
- 2.Rg3#
- 1...Rc1
- 2.Rd4#
- 1...Rc2
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 2.Qe4#
- 1...Rb4
- 2.Rxb4#
- 1...Rd4
- 2.Rxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qe4#
- 1...Rc6
- 2.Rd4#
- 2.Qe4#
- 1...Rc7
- 2.Rd4#
- 2.Qe4#
- 1...Rc8
- 2.Rd4#
- 2.Qe4#
- 1...Be6
- 2.Rxg5#
- 1...Ra4+!
- 1...Bxd7
- 1.Rc3?
- threat
- 2.Rxc4#
- 1...Rxc3
- 2.Rd4#
- 2.Qe4#
- 1...Rb4
- 2.Qxb4#
- 1...Rd4
- 2.Rxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qe4#
- 1...Rc6
- 2.Rd4#
- 2.Qe4#
- 1...Rc7
- 2.Rd4#
- 2.Qe4#
- 1...Rc8
- 2.Rd4#
- 2.Qe4#
- 1...Ra4+!
- threat
- 1.Rxe3?
- threat
- 2.Rg3#
- 1...Rc3
- 2.Re4#
- 2.Rd4#
- 2.Qe4#
- 1...Ra4+!
- threat
- 1.Ra4?
- threat
- 2.Rxc4#
- 1...Rb4
- 2.Rxb4#
- 2.Qxb4#
- 1...Rd4
- 2.Raxd4#
- 2.Rdxd4#
- 1...Re4
- 2.Rxe4#
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 2.Rxf4#
- 1...Rxa4+!
- threat
- 1.Raa5?
- 1...Ra4+
- 2.Rxa4#
- 1...Bxd7
- 2.Rxg5#
- 1...Rc1
- 2.Rd4#
- 1...Rc2
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 2.Qe4#
- 1...Rb4
- 2.Qxb4#
- 1...Rd4
- 2.Rxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qe4#
- 1...Rc6
- 2.Rd4#
- 2.Qe4#
- 1...Rc7
- 2.Rd4#
- 2.Qe4#
- 1...Rc8
- 2.Rd4#
- 2.Qe4#
- 1...Be6
- 2.Rxg5#
- 1...exd2!
- 1...Ra4+
- 1.Ra6?
- 1...Ra4+
- 2.Rxa4#
- 1...Bxd7
- 2.Rxg5#
- 1...Rc1
- 2.Rd4#
- 1...Rc2
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 2.Qe4#
- 1...Rb4
- 2.Qxb4#
- 1...Rd4
- 2.Rxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qe4#
- 1...Rc6
- 2.Rd4#
- 2.Qe4#
- 1...Rc7
- 2.Rd4#
- 2.Qe4#
- 1...Rc8
- 2.Rd4#
- 2.Qe4#
- 1...Be6
- 2.Rxg5#
- 1...exd2!
- 1...Ra4+
- 1.Ra7?
- 1...Ra4+
- 2.Rxa4#
- 1...Bxd7
- 2.Rxg5#
- 1...Rc1
- 2.Rd4#
- 1...Rc2
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 2.Qe4#
- 1...Rb4
- 2.Qxb4#
- 1...Rd4
- 2.Rxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qe4#
- 1...Rc6
- 2.Rd4#
- 2.Qe4#
- 1...Rc7
- 2.Rd4#
- 2.Qe4#
- 1...Rc8
- 2.Rd4#
- 2.Qe4#
- 1...Be6
- 2.Rxg5#
- 1...exd2!
- 1...Ra4+
- 1.Ra8?
- 1...Ra4+
- 2.Rxa4#
- 1...Bxd7
- 2.Rxg5#
- 1...Rc1
- 2.Rd4#
- 1...Rc2
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 2.Qe4#
- 1...Rb4
- 2.Qxb4#
- 1...Rd4
- 2.Rxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qe4#
- 1...Rc6
- 2.Rd4#
- 2.Qe4#
- 1...Rc7
- 2.Rd4#
- 2.Qe4#
- 1...Rc8
- 2.Rd4#
- 2.Qe4#
- 1...Be6
- 2.Rxg5#
- 1...exd2!
- 1...Ra4+
- 1.Re5?
- 1...Bxd7
- 2.Rxg5#
- 1...exd2
- 2.Rg3#
- 1...Rc1
- 2.Re4#
- 1...Rc2
- 2.Re4#
- 1...Rc3
- 2.Re4#
- 2.Qe4#
- 1...Ra4
- 2.Rxa4#
- 1...Rb4
- 2.Qxb4#
- 1...Re4
- 2.Rxe4#
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Re4#
- 2.Qe4#
- 1...Rc6
- 2.Re4#
- 2.Qe4#
- 1...Rc7
- 2.Re4#
- 2.Qe4#
- 1...Rc8
- 2.Re4#
- 2.Qe4#
- 1...Be6
- 2.Rxg5#
- 1...Rd4!
- 1...Bxd7
- 1.Qc2?
- threat
- 2.Qxc4#
- 1...Rxc2
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 2.Qe4#
- 1...Ra4
- 2.Rxa4#
- 2.Qxa4#
- 1...Rd4
- 2.Rxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qe4#
- 1...Rc6
- 2.Rd4#
- 2.Qe4#
- 1...Rc7
- 2.Rd4#
- 2.Qe4#
- 1...Rc8
- 2.Rd4#
- 2.Qe4#
- 1...Rb4!
- threat
- 1.Qd3?
- threat
- 2.Qxe2#
- 2.Qxc4#
- 1...Rc2
- 2.Rd4#
- 2.Qxe2#
- 2.Qe4#
- 2.Qd4#
- 1...Rc3
- 2.Rd4#
- 2.Qxe2#
- 2.Qe4#
- 2.Qd4#
- 1...Ra4
- 2.Rxa4#
- 2.Qxe2#
- 1...Rb4
- 2.Qxe2#
- 1...Rd4
- 2.Rxd4#
- 2.Qxe2#
- 2.Qxd4#
- 1...Re4
- 2.Qxe2#
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qxe2#
- 2.Qe4#
- 2.Qd4#
- 1...Rc6
- 2.Rd4#
- 2.Qxe2#
- 2.Qe4#
- 2.Qd4#
- 1...Rc7
- 2.Rd4#
- 2.Qxe2#
- 2.Qe4#
- 2.Qd4#
- 1...Rc8
- 2.Rd4#
- 2.Qxe2#
- 2.Qe4#
- 2.Qd4#
- 1...Rc1+!
- threat
- 1.Qb4?
- threat
- 2.Qxc4#
- 1...Rd4
- 2.Rxd4#
- 2.Qxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rf4
- 2.Sxe3#
- 2.Qxf4#
- 1...Rxb4!
- threat
- 1.Qb5?
- threat
- 2.Qxc4#
- 1...Rc2
- 2.Rd4#
- 2.Qxe2#
- 1...Rc3
- 2.Rd4#
- 2.Qxe2#
- 1...Ra4
- 2.Rxa4#
- 2.Qxe2#
- 2.Qxa4#
- 1...Rb4
- 2.Qxe2#
- 2.Qxb4#
- 1...Rd4
- 2.Rxd4#
- 2.Qxe2#
- 1...Re4
- 2.Qxe2#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 2.Qxe2#
- 1...Rc6
- 2.Rd4#
- 2.Qxe2#
- 1...Rc7
- 2.Rd4#
- 2.Qxe2#
- 1...Rc8
- 2.Rd4#
- 2.Qxe2#
- 1...Rc1+!
- threat
- 1.Qb8?
- threat
- 2.Sxe3#
- 2.Qg3#
- 1...exd2
- 2.Se3#
- 2.Rg3#
- 2.Qg3#
- 1...Rc3
- 2.Rd4#
- 2.Qg3#
- 2.Qf4#
- 1...Re4
- 2.Qg3#
- 1...Rf4
- 2.Sxe3#
- 2.Qxf4#
- 1...Rc7
- 2.Rd4#
- 1...Rc1+!
- threat
- 1.dxe3?
- 1...Bxd7
- 2.Rxg5#
- 1...Rc1
- 2.Rd4#
- 1...Rc2
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 2.Qe4#
- 1...Ra4
- 2.Rxa4#
- 1...Rb4
- 2.Qxb4#
- 1...Rd4
- 2.Rxd4#
- 1...Re4
- 2.Qxe4#
- 1...Rc5
- 2.Rd4#
- 2.Qe4#
- 1...Rc6
- 2.Rd4#
- 2.Qe4#
- 1...Rc7
- 2.Rd4#
- 2.Qe4#
- 1...Rc8
- 2.Rd4#
- 2.Qe4#
- 1...Be6
- 2.Rxg5#
- 1...Rf4!
- 1...Bxd7
- 1.d3?
- 1...Bxd7
- 2.Rxg5#
- 1...Rc1
- 2.Rd4#
- 1...Rc2
- 2.Rd4#
- 1...Rc3
- 2.Rd4#
- 1...Ra4
- 2.Rxa4#
- 1...Rb4
- 2.Qxb4#
- 1...Rd4
- 2.Rxd4#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Rd4#
- 1...Rc6
- 2.Rd4#
- 1...Rc7
- 2.Rd4#
- 1...Rc8
- 2.Rd4#
- 1...Be6
- 2.Rxg5#
- 1...Re4!
- 1...Bxd7
- 1.Ka2?
- Keys
- 1.Bb5!
- 1...Bxb1
- 2.Rxg5#
- 1...exd2
- 2.Rg3#
- 1...Rc1
- 2.Bxe2#
- 1...Rc2
- 2.Bxe2#
- 1...Rc3
- 2.Bxe2#
- 1...Ra4
- 2.Bxe2#
- 1...Rb4
- 2.Bxe2#
- 1...Rd4
- 2.Bxe2#
- 1...Re4
- 2.Bxe2#
- 1...Rf4
- 2.Sxe3#
- 1...Rc5
- 2.Bxe2#
- 1...Rc6
- 2.Bxe2#
- 1...Rc7
- 2.Bxe2#
- 1...Rc8
- 2.Bxe2#
- 1...Bc2
- 2.Rxg5#
- 1...Bd3
- 2.Rxg5#
- 1...Be4
- 2.Rxg5#
- 1...Be6
- 2.Rxg5#
- 1...Bd7
- 2.Rxg5#
- 1...Bc8
- 2.Rxg5#
- 1...Bxb1
- 1.Bb5!
FEATURES
- Static
- TYPE = MUTATE
- CHANGED MATES = 6
- ADDED MATES = 10
- REMOVED MATES = 0
- Sets
- R(c);N_GUARD,P_PINQ(B)::R(I)
- R(c);N_GUARD::R(I)
- R(c);OGATEB,P_PINR(G)::R(G),XR(c)
- R(c);OGATEB::QAR(B),XR(c)
- R(c);N_GUARD::R(I),XR(c)
- R(c);N_GUARD::QAR2(B),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- B(e);OGATE::R1(I),XR(f)
- B(e);N_SPINB(e),OGATE,XB(K)::R1(I),XR(f)
- P(b);OGATE,XP(E)::R1(G)
- Tries
- Try
- K(A);P-FLIGHT
- Vars
- B(e);N_SPINB(e),OGATE,XB(K)::R1(I),XR(f)
- P(b);OGATE,XP(E)::R1(G)
- R(c);OGATEB,P_PINR(G)::R(G),XR(c)
- R(c);OGATEB::QAR(B),XR(c)
- R(c);N_GUARD::R(I),XR(c)
- R(c);N_GUARD::QAR2(B),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- B(e);OGATE::R1(I),XR(f)
- Refutation
- R(c);CHECK
- Try
- B(K);
- Vars
- B(e);N_SPINB(e),OGATE,XB(K)::R1(I),XR(f)
- P(b);OGATE,XP(E)::R1(G)
- R(c);N_GUARD,P_PINQ(B)::R(I)
- R(c);N_GUARD::R(I)
- R(c);OGATEB,P_PINR(G)::R(G),XR(c)
- R(c);OGATEB::QAR(B),XR(c)
- R(c);N_GUARD::R(I),XR(c)
- R(c);N_GUARD::QAR2(B),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- Refutation
- P(i);N_SPINB(e),XB(K)
- Try
- B(K);
- Vars
- B(e);N_SPINB(e),OGATE,XB(K)::R1(I),XR(f)
- P(b);OGATE,XP(E)::R1(G)
- R(c);N_GUARD,P_PINQ(B)::R(I)
- R(c);N_GUARD::R(I)
- R(c);OGATEB,P_PINR(G)::R(G),XR(c)
- R(c);OGATEB::QAR(B),XR(c)
- R(c);N_GUARD::R(I),XR(c)
- R(c);N_GUARD::QAR2(B),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- B(e);OGATE::R1(I),XR(f)
- Refutation
- R(c);N_SPINB(e),XB(K)
- Try
- R(G);
- Vars
- B(e);N_SPINB(e),OGATE,XB(K)::R1(I),XR(f)
- R(c);N_GUARD,P_PINQ(B)::R(I)
- R(c);N_GUARD::R(I)
- R(c);OGATEB,P_PINR(G)::R(G),XR(c)
- R(c);OGATEB::QAR(B),XR(c)
- R(c);N_GUARD::R(I),XR(c)
- R(c);N_GUARD::QAR2(B),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- B(e);OGATE::R1(I),XR(f)
- Refutation
- P(b);XP(E)
- Try
- R(G);
- Vars
- B(e);N_SPINB(e),OGATE,XB(K)::R1(I),XR(f)
- P(b);OGATE,XP(E)::R1(G)
- R(c);N_GUARD,P_PINQ(B)::R(I)
- R(c);N_GUARD::R(I)
- R(c);OGATEB::R(G),XR(c)
- R(c);N_GUARD::R(I),XR(c)
- R(c);N_GUARD::QAR2(B),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- B(e);OGATE::R1(I),XR(f)
- Refutation
- R(c);CHECK
- Try
- R(G);
- Threat
- R(G),XR(c)
- Vars
- R(c);OGATEB::QAR(B),XR(c)
- R(c);N_GUARD::R(I),XR(c)
- R(c);N_GUARD::QAR2(B),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- Refutation
- R(c);CHECK
- Try
- R(G);XP(b)
- Threat
- R1(G)
- Refutation
- R(c);CHECK
- Try
- R(G);P_PINR(c)
- Threat
- R(G),XR(c)
- Refutation
- R(c);CHECK,N_SPINR(c),XR(G)
- Try
- R(G);
- Vars
- R(c);CHECK,OGATEB::R(G),XR(c)
- B(e);N_SPINB(e),OGATE,XB(K)::R1(I),XR(f)
- R(c);N_GUARD,P_PINQ(B)::R(I)
- R(c);N_GUARD::R(I)
- R(c);OGATEB::QAR(B),XR(c)
- R(c);N_GUARD::R(I),XR(c)
- R(c);N_GUARD::QAR2(B),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- B(e);OGATE::R1(I),XR(f)
- Refutation
- P(b);XP(E)
- Try
- R(G);
- Vars
- R(c);CHECK,OGATEB::R(G),XR(c)
- B(e);N_SPINB(e),OGATE,XB(K)::R1(I),XR(f)
- R(c);N_GUARD,P_PINQ(B)::R(I)
- R(c);N_GUARD::R(I)
- R(c);OGATEB::QAR(B),XR(c)
- R(c);N_GUARD::R(I),XR(c)
- R(c);N_GUARD::QAR2(B),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- B(e);OGATE::R1(I),XR(f)
- Refutation
- P(b);XP(E)
- Try
- R(G);
- Vars
- R(c);CHECK,OGATEB::R(G),XR(c)
- B(e);N_SPINB(e),OGATE,XB(K)::R1(I),XR(f)
- R(c);N_GUARD,P_PINQ(B)::R(I)
- R(c);N_GUARD::R(I)
- R(c);OGATEB::QAR(B),XR(c)
- R(c);N_GUARD::R(I),XR(c)
- R(c);N_GUARD::QAR2(B),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- B(e);OGATE::R1(I),XR(f)
- Refutation
- P(b);XP(E)
- Try
- R(G);
- Vars
- R(c);CHECK,OGATEB::R(G),XR(c)
- B(e);N_SPINB(e),OGATE,XB(K)::R1(I),XR(f)
- R(c);N_GUARD,P_PINQ(B)::R(I)
- R(c);N_GUARD::R(I)
- R(c);OGATEB::QAR(B),XR(c)
- R(c);N_GUARD::R(I),XR(c)
- R(c);N_GUARD::QAR2(B),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- B(e);OGATE::R1(I),XR(f)
- Refutation
- P(b);XP(E)
- Try
- R(I);
- Vars
- B(e);N_SPINB(e),OGATE,XB(K)::R1(I),XR(f)
- P(b);OGATE,XP(E)::R1(G)
- R(c);N_GUARD,P_PINQ(B)::R(I)
- R(c);N_GUARD::R(I)
- R(c);OGATEB,P_PINR(G)::R(G),XR(c)
- R(c);OGATEB::QAR(B),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- B(e);OGATE::R1(I),XR(f)
- Refutation
- R(c);
- Try
- Q(B);
- Threat
- QAR(B),XR(c)
- Vars
- R(c);N_GUARD,XQ(B)::R(I)
- R(c);N_GUARD::R(I),XR(c)
- R(c);N_GUARD::QAR2(B),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- Refutation
- R(c);
- Try
- Q(B);
- Threat
- DUALS(2)
- Vars
- R(c);::QAB(B),XP(a)
- R(c);SBLOCK::S(F),XP(b)
- Refutation
- R(c);CHECK
- Try
- Q(B);P_PINR(c)
- Threat
- QAR(B),XR(c)
- Vars
- R(c);OGATE::QAR2(B),XR(c)
- Refutation
- R(c);N_SPINR(c),XQ(B)
- Try
- Q(B);
- Threat
- QAR(B),XR(c)
- Vars
- R(c);OGATE::QAB(B),XP(a)
- R(c);SBLOCK::S(F),XP(b)
- Refutation
- R(c);CHECK
- Try
- Q(B);
- Threat
- DUALS(2)
- Vars
- R(c);::QAR1(B)
- R(c);N_GUARD::R(I)
- Refutation
- R(c);CHECK
- Try
- P(E);XP(b)
- Vars
- B(e);N_SPINB(e),OGATE,XB(K)::R1(I),XR(f)
- R(c);N_GUARD,P_PINQ(B)::R(I)
- R(c);N_GUARD::R(I)
- R(c);OGATEB,P_PINR(G)::R(G),XR(c)
- R(c);OGATEB::QAR(B),XR(c)
- R(c);N_GUARD::R(I),XR(c)
- R(c);N_GUARD::QAR2(B),XR(c)
- B(e);OGATE::R1(I),XR(f)
- Refutation
- R(c);
- Try
- P(E);
- Vars
- B(e);N_SPINB(e),OGATE,XB(K)::R1(I),XR(f)
- R(c);N_GUARD,P_PINQ(B)::R(I)
- R(c);N_GUARD::R(I)
- R(c);OGATEB,P_PINR(G)::R(G),XR(c)
- R(c);OGATEB::QAR(B),XR(c)
- R(c);N_GUARD::R(I),XR(c)
- R(c);SBLOCK::S(F),XP(b)
- B(e);OGATE::R1(I),XR(f)
- Refutation
- R(c);
- Try
- Actual
- B(K);N_PINB(e)
- Vars
- B(e);OGATE,XQ(B)::R1(I),XR(f)
- P(b);OGATE,XP(E)::R1(G)
- R(c);OGATE,P_PINQ(B)::B(K),XP(a)
- R(c);OGATE::B(K),XP(a)
- R(c);OGATE,P_PINR(G)::B(K),XP(a)
- R(c);SBLOCK::S(F),XP(b)
- B(e);OGATE::R1(I),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).