MESON Chess Problem Database
Problem Display
PID: 21404 (b1N4K/1n1nN3/8/1p1R2Q1/1Bk1r3/P2R4/2r3P1/8 w - - 0 1)
Bernard, Henry D'Oyly
Sussex Chess Problem Fraternity, 1918
#2
9 + 7
| 15 | British Chess Magazine | 1918 |
| 3360 | Simple Two-move Themes | 1924 |
SOLUTION
- SOUND
- Sets
- 1...Rc1
- 2.Qxc1#
- 1...Ra2
- 2.Rc3#
- 1...Rb2
- 2.Rc3#
- 1...Rd2
- 2.Rc3#
- 1...Rce2
- 2.Rc3#
- 1...Rf2
- 2.Rc3#
- 1...Rxg2
- 2.Rc3#
- 1...Rc3
- 2.Rxc3#
- 1...Re1
- 2.R5d4#
- 1...Ree2
- 2.R5d4#
- 1...Re3
- 2.R5d4#
- 1...Rd4
- 2.R5xd4#
- 1...Rf4
- 2.Qxf4#
- 1...Rg4
- 2.Qxg4#
- 1...Rh4+
- 2.Qxh4#
- 1...Re5
- 2.R5d4#
- 1...Re6
- 2.R5d4#
- 1...Rxe7
- 2.R5d4#
- 1...Sa5
- 2.Sd6#
- 1...Sbc5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sd8
- 2.Sd6#
- 1...Sdc5
- 2.Sb6#
- 1...Se5
- 2.Sb6#
- 1...Sb6
- 2.Sxb6#
- 1...Sf6
- 2.Sb6#
- 1...Sb8
- 2.Sb6#
- 1...Sf8
- 2.Sb6#
- 1...Rc1
- Tries
- 1.Kg7?
- 1...Rxg2
- 2.Rc3#
- 1...Rc3
- 2.Rxc3#
- 1...Rd4
- 2.R5xd4#
- 1...Rc1
- 2.Qxc1#
- 1...Ra2
- 2.Rc3#
- 1...Rb2
- 2.Rc3#
- 1...Rd2
- 2.Rc3#
- 1...Rce2
- 2.Rc3#
- 1...Rf2
- 2.Rc3#
- 1...Re1
- 2.R5d4#
- 1...Ree2
- 2.R5d4#
- 1...Re3
- 2.R5d4#
- 1...Rf4
- 2.Qxf4#
- 1...Rg4
- 2.Qxg4#
- 1...Rh4
- 2.Qxh4#
- 1...Re5
- 2.R5d4#
- 1...Re6
- 2.R5d4#
- 1...Sa5
- 2.Sd6#
- 1...Sbc5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sd8
- 2.Sd6#
- 1...Sdc5
- 2.Sb6#
- 1...Se5
- 2.Sb6#
- 1...Sb6
- 2.Sxb6#
- 1...Sf6
- 2.Sb6#
- 1...Sb8
- 2.Sb6#
- 1...Sf8
- 2.Sb6#
- 1...Rxe7+!
- 1...Rxg2
- 1.Kg8?
- 1...Rxg2
- 2.Rc3#
- 1...Rxe7
- 2.R5d4#
- 1...Rc3
- 2.Rxc3#
- 1...Rd4
- 2.R5xd4#
- 1...Rc1
- 2.Qxc1#
- 1...Ra2
- 2.Rc3#
- 1...Rb2
- 2.Rc3#
- 1...Rd2
- 2.Rc3#
- 1...Rce2
- 2.Rc3#
- 1...Rf2
- 2.Rc3#
- 1...Re1
- 2.R5d4#
- 1...Ree2
- 2.R5d4#
- 1...Re3
- 2.R5d4#
- 1...Rf4
- 2.Qxf4#
- 1...Rg4
- 2.Qxg4#
- 1...Rh4
- 2.Qxh4#
- 1...Re5
- 2.R5d4#
- 1...Re6
- 2.R5d4#
- 1...Sa5
- 2.Sd6#
- 1...Sbc5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sd8
- 2.Sd6#
- 1...Sdc5
- 2.Sb6#
- 1...Se5
- 2.Sb6#
- 1...Sb6
- 2.Sxb6#
- 1...Sb8
- 2.Sb6#
- 1...Sf8
- 2.Sb6#
- 1...Sf6+!
- 1...Rxg2
- 1.Sc6?
- 1...Rh4+
- 2.Qxh4#
- 1...Rxg2
- 2.Rc3#
- 1...Rc3
- 2.Rxc3#
- 1...Rd4
- 2.R5xd4#
- 1...Rc1
- 2.Qxc1#
- 1...Ra2
- 2.Rc3#
- 1...Rb2
- 2.Rc3#
- 1...Rd2
- 2.Rc3#
- 1...Rce2
- 2.Rc3#
- 1...Rf2
- 2.Rc3#
- 1...Re1
- 2.R5d4#
- 1...Ree2
- 2.R5d4#
- 1...Re3
- 2.R5d4#
- 1...Rf4
- 2.Qxf4#
- 1...Rg4
- 2.Qxg4#
- 1...Re5
- 2.R5d4#
- 1...Re6
- 2.R5d4#
- 1...Re7
- 2.R5d4#
- 1...Sa5
- 2.Sxa5#
- 2.Sd6#
- 1...Sbc5
- 2.Sa5#
- 2.Sd6#
- 1...Sd6
- 2.Sa5#
- 2.Sxd6#
- 1...Sd8
- 2.Sa5#
- 2.Sd6#
- 1...Sdc5
- 2.Sb6#
- 1...Se5
- 2.Sb6#
- 1...Sb6
- 2.Sxb6#
- 1...Sf6
- 2.Sb6#
- 1...Sb8
- 2.Sb6#
- 1...Sf8
- 2.Sb6#
- 1...Re8+!
- 1...Rh4+
- 1.Sg6?
- 1...Rh4+
- 2.Qxh4#
- 1...Rxg2
- 2.Rc3#
- 1...Rc3
- 2.Rxc3#
- 1...Rd4
- 2.R5xd4#
- 1...Rc1
- 2.Qxc1#
- 1...Ra2
- 2.Rc3#
- 1...Rb2
- 2.Rc3#
- 1...Rd2
- 2.Rc3#
- 1...Rce2
- 2.Rc3#
- 1...Rf2
- 2.Rc3#
- 1...Re1
- 2.R5d4#
- 1...Ree2
- 2.R5d4#
- 1...Re3
- 2.R5d4#
- 1...Rf4
- 2.Qxf4#
- 1...Rg4
- 2.Qxg4#
- 1...Re5
- 2.R5d4#
- 1...Re6
- 2.R5d4#
- 1...Re7
- 2.R5d4#
- 1...Sa5
- 2.Sd6#
- 1...Sbc5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sd8
- 2.Sd6#
- 1...Sdc5
- 2.Sb6#
- 1...Se5
- 2.Sb6#
- 1...Sb6
- 2.Sxb6#
- 1...Sf6
- 2.Sb6#
- 1...Sb8
- 2.Sb6#
- 1...Sf8
- 2.Sb6#
- 1...Re8+!
- 1...Rh4+
- 1.Rxd7?
- threat
- 2.Sb6#
- 2.Qd5#
- 1...Rh4+
- 2.Qxh4#
- 1...Rc3
- 2.Rxc3#
- 2.Qd5#
- 1...Rd4
- 2.R7xd4#
- 1...Sa5
- 2.Sb6#
- 2.Qc5#
- 1...Re5
- 2.Sb6#
- 2.R7d4#
- 1...Re6
- 2.R7d4#
- 2.Qd5#
- 1...Sc5
- 2.Sb6#
- 2.Qxc5#
- 1...Sd8
- 2.Sb6#
- 2.Qc5#
- 1...Sd6!
- threat
- 1.Qd2?
- threat
- 2.Qxc2#
- 1...Rxd2
- 2.Rc3#
- 1...Rc3
- 2.Rxc3#
- 2.Qxc3#
- 1...Rc1
- 2.Qxc1#
- 2.Qa2#
- 1...Ra2
- 2.Rc3#
- 2.Qc3#
- 2.Qxa2#
- 1...Rb2
- 2.Rc3#
- 2.Qc3#
- 1...Re2
- 2.R5d4#
- 1...Rh4+!
- threat
- 1.Qf4?
- threat
- 2.Qxe4#
- 1...Rc3
- 2.Rxc3#
- 1...Rd4
- 2.R5xd4#
- 2.Qxd4#
- 1...Re2
- 2.Rc3#
- 1...Sbc5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sdc5
- 2.Sb6#
- 1...Sf6
- 2.Sb6#
- 1...Rxf4!
- threat
- 1.Qh4?
- threat
- 2.Qxe4#
- 1...Rc3
- 2.Rxc3#
- 1...Rd4
- 2.R5xd4#
- 2.Qxd4#
- 1...Re2
- 2.Rc3#
- 1...Rf4
- 2.Qxf4#
- 1...Rg4
- 2.Qxg4#
- 1...Sbc5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sdc5
- 2.Sb6#
- 1...Sf6
- 2.Sb6#
- 1...Rxh4+!
- threat
- 1.Qh6?
- 1...Rxg2
- 2.Rc3#
- 1...Rxe7
- 2.R5d4#
- 1...Rc3
- 2.Rxc3#
- 1...Rd4
- 2.R5xd4#
- 1...Sa5
- 2.Sd6#
- 1...Rc1
- 2.Qxc1#
- 1...Ra2
- 2.Rc3#
- 1...Rb2
- 2.Rc3#
- 1...Rd2
- 2.Rc3#
- 1...Rce2
- 2.Rc3#
- 1...Rf2
- 2.Rc3#
- 1...Re1
- 2.R5d4#
- 1...Ree2
- 2.R5d4#
- 1...Re3
- 2.R5d4#
- 1...Rf4
- 2.Qxf4#
- 1...Rh4
- 2.Qxh4#
- 1...Re5
- 2.R5d4#
- 1...Re6
- 2.R5d4#
- 1...Sbc5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sd8
- 2.Sd6#
- 1...Sdc5
- 2.Sb6#
- 1...Se5
- 2.Sb6#
- 1...Sb6
- 2.Sxb6#
- 1...Sf6
- 2.Sb6#
- 1...Sb8
- 2.Sb6#
- 1...Sf8
- 2.Sb6#
- 1...Rg4!
- 1...Rxg2
- 1.Qg3?
- 1...Rh4+
- 2.Qxh4#
- 1...Rxg2
- 2.Rc3#
- 1...Rxe7
- 2.R3d4#
- 2.R5d4#
- 1...Rc3
- 2.Rxc3#
- 1...Rg4
- 2.Qxg4#
- 1...Ra2
- 2.Rc3#
- 1...Rb2
- 2.Rc3#
- 1...Rd2
- 2.Rc3#
- 1...Rce2
- 2.Rc3#
- 1...Rf2
- 2.Rc3#
- 1...Re1
- 2.R3d4#
- 2.R5d4#
- 1...Ree2
- 2.R3d4#
- 2.R5d4#
- 1...Re3
- 2.R5d4#
- 1...Rd4
- 2.R3xd4#
- 2.R5xd4#
- 1...Rf4
- 2.Qxf4#
- 1...Re5
- 2.R3d4#
- 2.R5d4#
- 1...Re6
- 2.R3d4#
- 2.R5d4#
- 1...Sa5
- 2.Sd6#
- 1...Sbc5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sd8
- 2.Sd6#
- 1...Sdc5
- 2.Sb6#
- 1...Se5
- 2.Sb6#
- 1...Sb6
- 2.Sxb6#
- 1...Sf6
- 2.Sb6#
- 1...Sb8
- 2.Sb6#
- 1...Sf8
- 2.Sb6#
- 1...Rc1!
- 1...Rh4+
- 1.Qg4?
- threat
- 2.Qxe4#
- 1...Rc3
- 2.Rxc3#
- 1...Rd4
- 2.R5xd4#
- 2.Qxd4#
- 1...Re2
- 2.Rc3#
- 1...Rf4
- 2.Qxf4#
- 1...Sbc5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sdc5
- 2.Sb6#
- 1...Sf6
- 2.Sb6#
- 1...Rxg4!
- threat
- 1.Qf5?
- threat
- 2.Qxe4#
- 1...Rxe7
- 2.R5d4#
- 1...Rc3
- 2.Rxc3#
- 1...Rg4
- 2.Qxg4#
- 1...Rce2
- 2.Rc3#
- 1...Re1
- 2.R5d4#
- 1...Ree2
- 2.R5d4#
- 1...Re3
- 2.R5d4#
- 1...Rd4
- 2.R5xd4#
- 1...Rf4
- 2.Qxf4#
- 1...Re5
- 2.R5d4#
- 1...Re6
- 2.R5d4#
- 1...Sbc5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sdc5
- 2.Sb6#
- 1...Sf6
- 2.Sb6#
- 1...Rh4+!
- threat
- 1.Qg8?
- threat
- 2.R5d4#
- 1...Rd4
- 2.R5xd4#
- 1...Rh4+!
- threat
- 1.g3?
- 1...Rh4+
- 2.Qxh4#
- 1...Rxe7
- 2.R5d4#
- 1...Rc3
- 2.Rxc3#
- 1...Rd4
- 2.R5xd4#
- 1...Rc1
- 2.Qxc1#
- 1...Ra2
- 2.Rc3#
- 1...Rb2
- 2.Rc3#
- 1...Rd2
- 2.Rc3#
- 1...Rce2
- 2.Rc3#
- 1...Rf2
- 2.Rc3#
- 1...Rg2
- 2.Rc3#
- 1...Re1
- 2.R5d4#
- 1...Ree2
- 2.R5d4#
- 1...Re3
- 2.R5d4#
- 1...Rf4
- 2.Qxf4#
- 1...Rg4
- 2.Qxg4#
- 1...Re5
- 2.R5d4#
- 1...Re6
- 2.R5d4#
- 1...Sa5
- 2.Sd6#
- 1...Sbc5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sd8
- 2.Sd6#
- 1...Sdc5
- 2.Sb6#
- 1...Se5
- 2.Sb6#
- 1...Sb6
- 2.Sxb6#
- 1...Sf6
- 2.Sb6#
- 1...Sb8
- 2.Sb6#
- 1...Sf8
- 2.Sb6#
- 1...Rh2+!
- 1...Rh4+
- 1.g4?
- 1...Rxg4
- 2.Qxg4#
- 1...Rxe7
- 2.R5d4#
- 1...Rc3
- 2.Rxc3#
- 1...Rd4
- 2.R5xd4#
- 1...Rc1
- 2.Qxc1#
- 1...Ra2
- 2.Rc3#
- 1...Rb2
- 2.Rc3#
- 1...Rd2
- 2.Rc3#
- 1...Rce2
- 2.Rc3#
- 1...Rf2
- 2.Rc3#
- 1...Rg2
- 2.Rc3#
- 1...Re1
- 2.R5d4#
- 1...Ree2
- 2.R5d4#
- 1...Re3
- 2.R5d4#
- 1...Rf4
- 2.Qxf4#
- 1...Re5
- 2.R5d4#
- 1...Re6
- 2.R5d4#
- 1...Sa5
- 2.Sd6#
- 1...Sbc5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sd8
- 2.Sd6#
- 1...Sdc5
- 2.Sb6#
- 1...Se5
- 2.Sb6#
- 1...Sb6
- 2.Sxb6#
- 1...Sf6
- 2.Sb6#
- 1...Sb8
- 2.Sb6#
- 1...Sf8
- 2.Sb6#
- 1...Rh2+!
- 1...Rxg4
- 1.Kg7?
- Keys
- 1.Sg8!
- 1...Rh4+
- 2.Qxh4#
- 1...Rxg2
- 2.Rc3#
- 1...Rc3
- 2.Rxc3#
- 1...Rd4
- 2.R5xd4#
- 1...Rc1
- 2.Qxc1#
- 1...Ra2
- 2.Rc3#
- 1...Rb2
- 2.Rc3#
- 1...Rd2
- 2.Rc3#
- 1...Rce2
- 2.Rc3#
- 1...Rf2
- 2.Rc3#
- 1...Re1
- 2.R5d4#
- 1...Ree2
- 2.R5d4#
- 1...Re3
- 2.R5d4#
- 1...Rf4
- 2.Qxf4#
- 1...Rg4
- 2.Qxg4#
- 1...Re5
- 2.R5d4#
- 1...Re6
- 2.R5d4#
- 1...Re7
- 2.R5d4#
- 1...Re8
- 2.R5d4#
- 1...Sa5
- 2.Sd6#
- 1...Sbc5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sd8
- 2.Sd6#
- 1...Sdc5
- 2.Sb6#
- 1...Se5
- 2.Sb6#
- 1...Sb6
- 2.Sxb6#
- 1...Sf6
- 2.Sb6#
- 1...Sb8
- 2.Sb6#
- 1...Sf8
- 2.Sb6#
- 1...Rh4+
- 1.Sg8!
FEATURES
- Static
- TYPE = WAITER
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- R(a);OGATEB::QAR(F),XR(a)
- R(a);N_GUARD::R1(C)
- R(a);N_GUARD,XP(A)::R1(C)
- R(a);N_GUARD::R1(C),XR(a)
- R(c);N_GUARD::R1(E)
- R(c);N_GUARD::R1(E),XR(c)
- R(c);OGATEB::QAR(F),XR(c)
- R(c);CHECK,OGATEB::QAR(F),XR(c)
- R(c);N_GUARD,XS(G)::R1(E)
- S(e);N_GUARD::S(H)
- S(e);N_GUARD::S(H),XS(e)
- S(f);N_GUARD::S(H)
- S(f);N_GUARD::S(H),XS(f)
- Tries
- Try
- K(I);S_FLIGHT
- Vars
- R(a);N_GUARD,P_PINQ(F),XP(A)::R1(C)
- R(a);N_GUARD::R1(C),XR(a)
- R(c);N_GUARD::R1(E),XR(c)
- R(a);OGATEB::QAR(F),XR(a)
- R(a);N_GUARD::R1(C)
- R(c);N_GUARD::R1(E)
- R(c);OGATEB::QAR(F),XR(c)
- R(c);OGATEB,P_PINQ(F)::QAR(F),XR(c)
- S(e);N_GUARD::S(H)
- S(e);N_GUARD::S(H),XS(e)
- S(f);N_GUARD::S(H)
- S(f);N_GUARD::S(H),XS(f)
- Refutation
- R(c);CHECK,XS(G)
- Try
- K(I);P-FLIGHT
- Vars
- R(a);N_GUARD,P_PINQ(F),XP(A)::R1(C)
- R(c);N_GUARD,XS(G)::R1(E)
- R(a);N_GUARD::R1(C),XR(a)
- R(c);N_GUARD::R1(E),XR(c)
- R(a);OGATEB::QAR(F),XR(a)
- R(a);N_GUARD::R1(C)
- R(c);N_GUARD::R1(E)
- R(c);OGATEB::QAR(F),XR(c)
- R(c);OGATEB,P_PINQ(F)::QAR(F),XR(c)
- S(e);N_GUARD::S(H)
- S(e);N_GUARD::S(H),XS(e)
- S(f);N_GUARD::S(H)
- S(f);N_GUARD::S(H),XS(f)
- Refutation
- S(f);CHECK
- Try
- S(G);
- Vars
- R(c);CHECK,OGATEB::QAR(F),XR(c)
- R(a);N_GUARD,XP(A)::R1(C)
- R(a);N_GUARD::R1(C),XR(a)
- R(c);N_GUARD::R1(E),XR(c)
- R(a);OGATEB::QAR(F),XR(a)
- R(a);N_GUARD::R1(C)
- R(c);N_GUARD::R1(E)
- R(c);OGATEB::QAR(F),XR(c)
- S(f);N_GUARD::S(H)
- S(f);N_GUARD::S(H),XS(f)
- Refutation
- R(c);CHECK
- Try
- S(G);
- Vars
- R(c);CHECK,OGATEB::QAR(F),XR(c)
- R(a);N_GUARD,XP(A)::R1(C)
- R(a);N_GUARD::R1(C),XR(a)
- R(c);N_GUARD::R1(E),XR(c)
- R(a);OGATEB::QAR(F),XR(a)
- R(a);N_GUARD::R1(C)
- R(c);N_GUARD::R1(E)
- R(c);OGATEB::QAR(F),XR(c)
- S(e);N_GUARD::S(H)
- S(e);N_GUARD::S(H),XS(e)
- S(f);N_GUARD::S(H)
- S(f);N_GUARD::S(H),XS(f)
- Refutation
- R(c);CHECK
- Try
- R(E);XS(f)
- Threat
- DUALS(2)
- Vars
- R(c);CHECK,OGATEB::QAR(F),XR(c)
- R(c);N_GUARD::R1(E),XR(c)
- Refutation
- S(e);
- Try
- Q(F);
- Threat
- QAR2(F),XR(a)
- Vars
- R(a);N_GUARD,XQ(F)::R1(C)
- R(c);N_GUARD::R1(E)
- Refutation
- R(c);CHECK
- Try
- Q(F);P_PINR(c)
- Threat
- QAR2(F),XR(c)
- Vars
- R(a);N_GUARD::R1(C),XR(a)
- R(a);N_GUARD::R1(C)
- S(e);N_GUARD::S(H)
- S(e);N_GUARD::S(H),XS(e)
- S(f);N_GUARD::S(H)
- Refutation
- R(c);N_SPINR(c),XQ(F)
- Try
- Q(F);P_PINR(c)
- Threat
- QAR2(F),XR(c)
- Vars
- R(a);N_GUARD::R1(C),XR(a)
- R(a);N_GUARD::R1(C)
- R(c);OGATEB::QAR(F),XR(c)
- S(e);N_GUARD::S(H)
- S(e);N_GUARD::S(H),XS(e)
- S(f);N_GUARD::S(H)
- Refutation
- R(c);CHECK,N_SPINR(c),XQ(F)
- Try
- Q(F);
- Vars
- R(a);N_GUARD,XP(A)::R1(C)
- R(c);N_GUARD,XS(G)::R1(E)
- R(a);N_GUARD::R1(C),XR(a)
- R(c);N_GUARD::R1(E),XR(c)
- S(e);N_GUARD::S(H)
- R(a);OGATEB::QAR(F),XR(a)
- R(a);N_GUARD::R1(C)
- R(c);N_GUARD::R1(E)
- R(c);OGATEB::QAR(F),XR(c)
- R(c);OGATEB,P_PINQ(F)::QAR(F),XR(c)
- S(e);N_GUARD::S(H),XS(e)
- S(f);N_GUARD::S(H)
- S(f);N_GUARD::S(H),XS(f)
- Refutation
- R(c);
- Try
- Q(F);
- Vars
- R(c);CHECK,OGATEB::QAR(F),XR(c)
- R(a);N_GUARD,XP(A)::R1(C)
- R(a);N_GUARD::R1(C),XR(a)
- R(c);OGATEB::QAR(F),XR(c)
- R(a);N_GUARD::R1(C)
- R(c);N_GUARD::R1(E)
- S(e);N_GUARD::S(H)
- S(e);N_GUARD::S(H),XS(e)
- S(f);N_GUARD::S(H)
- S(f);N_GUARD::S(H),XS(f)
- Refutation
- R(a);
- Try
- Q(F);P_PINR(c)
- Threat
- QAR2(F),XR(c)
- Vars
- R(a);N_GUARD::R1(C),XR(a)
- R(a);N_GUARD::R1(C)
- R(c);OGATEB::QAR(F),XR(c)
- S(e);N_GUARD::S(H)
- S(e);N_GUARD::S(H),XS(e)
- S(f);N_GUARD::S(H)
- Refutation
- R(c);N_SPINR(c),XQ(F)
- Try
- Q(F);
- Threat
- QAR2(F),XR(c)
- Vars
- R(c);N_GUARD,XS(G)::R1(E)
- R(a);N_GUARD::R1(C),XR(a)
- R(c);OGATEB::QAR(F),XR(c)
- R(a);N_GUARD::R1(C)
- R(c);N_GUARD::R1(E)
- R(c);N_GUARD::R1(E),XR(c)
- S(e);N_GUARD::S(H)
- S(e);N_GUARD::S(H),XS(e)
- S(f);N_GUARD::S(H)
- Refutation
- R(c);CHECK
- Try
- Q(F);
- Threat
- QAB(F)+R(E),DCHECK
- Vars
- R(c);::QAB(F)+R(E),DCHECK,XR(c)
- Refutation
- R(c);CHECK
- Try
- P(A);
- Vars
- R(c);CHECK,OGATEB::QAR(F),XR(c)
- R(c);N_GUARD,XS(G)::R1(E)
- R(a);N_GUARD::R1(C),XR(a)
- R(c);N_GUARD::R1(E),XR(c)
- R(a);OGATEB::QAR(F),XR(a)
- R(a);N_GUARD::R1(C)
- R(c);N_GUARD::R1(E)
- R(c);OGATEB::QAR(F),XR(c)
- S(e);N_GUARD::S(H)
- S(e);N_GUARD::S(H),XS(e)
- S(f);N_GUARD::S(H)
- S(f);N_GUARD::S(H),XS(f)
- Refutation
- R(a);CHECK
- Try
- P(A);
- Vars
- R(c);OGATE,XP(A)::QAR(F),XR(c)
- R(c);N_GUARD,XS(G)::R1(E)
- R(a);N_GUARD::R1(C),XR(a)
- R(c);N_GUARD::R1(E),XR(c)
- R(a);OGATEB::QAR(F),XR(a)
- R(a);N_GUARD::R1(C)
- R(c);N_GUARD::R1(E)
- R(c);OGATEB::QAR(F),XR(c)
- S(e);N_GUARD::S(H)
- S(e);N_GUARD::S(H),XS(e)
- S(f);N_GUARD::S(H)
- S(f);N_GUARD::S(H),XS(f)
- Refutation
- R(a);CHECK
- Try
- Actual
- S(G);
- Vars
- R(c);CHECK,OGATEB::QAR(F),XR(c)
- R(a);N_GUARD,XP(A)::R1(C)
- R(a);N_GUARD::R1(C),XR(a)
- R(c);N_GUARD::R1(E),XR(c)
- R(a);OGATEB::QAR(F),XR(a)
- R(a);N_GUARD::R1(C)
- R(c);N_GUARD::R1(E)
- R(c);OGATEB::QAR(F),XR(c)
- R(c);N_GUARD,P_PINS(G)::R1(E)
- S(e);N_GUARD::S(H)
- S(e);N_GUARD::S(H),XS(e)
- S(f);N_GUARD::S(H)
- S(f);N_GUARD::S(H),XS(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).