MESON Chess Problem Database
Problem Display
PID: 218445 (B5K1/6P1/1B2p3/Q1pbPP2/5NP1/2P4R/7r/R5rk w - - 0 1)
Dennis, Charles Edwin
Philadelphia Times, 1881
#2
12 + 6
| 6490 | yacpdb | 2020 |
SOLUTION
- SOUND
- Sets
- 1...Rxa1
- 2.Qxa1#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...Bxa8
- 2.Qxa8#
- 1...c4
- 2.Rxg1#
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- Tries
- 1.Kf7?
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...c4
- 2.Rxg1#
- 1...Rxh3!
- 1...exf5+
- 1.Kh7?
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...exf5
- 2.Bxd5#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...c4
- 2.Rxg1#
- 1...Rxh3+!
- 1...Rxa1
- 1.Kf8?
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...exf5
- 2.Bxd5#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...c4
- 2.Rxg1#
- 1...Rxh3!
- 1...Rxa1
- 1.Kh8?
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...exf5
- 2.Bxd5#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...c4
- 2.Rxg1#
- 1...Rxh3+!
- 1...Rxa1
- 1.Bxc5?
- threat
- 2.Rxg1#
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rxh3!
- threat
- 1.Rh4?
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rh3
- 2.Rxh3#
- 1...c4
- 2.Rxg1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...Rxh4!
- 1...exf5+
- 1.Rh5?
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rh3
- 2.Rxh3#
- 1...Rh4
- 2.Rxh4#
- 1...c4
- 2.Rxg1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...Rxh5!
- 1...exf5+
- 1.Rh6?
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rh3
- 2.Rxh3#
- 1...Rh4
- 2.Rxh4#
- 1...Rh5
- 2.Rxh5#
- 1...c4
- 2.Rxg1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...Rxh6!
- 1...exf5+
- 1.Rh7?
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rh3
- 2.Rxh3#
- 1...Rh4
- 2.Rxh4#
- 1...Rh5
- 2.Rxh5#
- 1...Rh6
- 2.Rxh6#
- 1...c4
- 2.Rxg1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...Rxh7!
- 1...exf5+
- 1.Qa2?
- threat
- 2.Rxh2#
- 2.Qxh2#
- 1...exf5+
- 2.Bxd5#
- 2.Qxd5#
- 1...Rxa1
- 2.Qxa1#
- 2.Qxh2#
- 1...Rb1
- 2.Rxb1#
- 2.Qxb1#
- 2.Qxh2#
- 1...Rc1
- 2.Rxc1#
- 2.Qxh2#
- 1...Rd1
- 2.Rxd1#
- 2.Qxh2#
- 1...Re1
- 2.Rxe1#
- 2.Qxh2#
- 1...Rf1
- 2.Rxf1#
- 2.Qxh2#
- 1...Bg2
- 2.Bxg2#
- 2.Qxg2#
- 1...Rxh3!
- threat
- 1.Qa3?
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 2.Qxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...c4
- 2.Rxg1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...Rxh3!
- 1...exf5+
- 1.Qa4?
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 2.Qxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...c4
- 2.Rxg1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 2.Qxe4#
- 1...Bc6
- 2.Bxc6#
- 2.Qxc6#
- 1...Bb7
- 2.Bxb7#
- 1...Rxh3!
- 1...exf5+
- 1.Qxc5?
- threat
- 2.Rxg1#
- 2.Qxg1#
- 1...exf5+
- 2.Bxd5#
- 2.Qxd5#
- 1...Rxh3
- 2.Qxg1#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rxa1!
- threat
- 1.Qa6?
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 2.Qxf1#
- 1...c4
- 2.Rxg1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 2.Qxb7#
- 1...Rxh3!
- 1...exf5+
- 1.Qa7?
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...c4
- 2.Rxg1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 2.Qxb7#
- 1...Rxh3!
- 1...exf5+
- 1.c4?
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 2.Qxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...Rxh3!
- 1...exf5+
- 1.g5?
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...c4
- 2.Rxg1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...Rxh3!
- 1...exf5+
- 1.fxe6?
- threat
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...Rxh3!
- threat
- 1.f6?
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...c4
- 2.Rxg1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...Rxh3!
- 1...Rxa1
- 1.Kf7?
- Keys
- 1.Rh8!
- 1...Rxh8+
- 2.gxh8Q#
- 2.gxh8R#
- 1...exf5+
- 2.Bxd5#
- 1...Rxa1
- 2.Qxa1#
- 1...Bxa8
- 2.Qxa8#
- 1...Rb1
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rh3
- 2.Rxh3#
- 1...Rh4
- 2.Rxh4#
- 1...Rh5
- 2.Rxh5#
- 1...Rh6
- 2.Rxh6#
- 1...Rh7
- 2.Rxh7#
- 1...c4
- 2.Rxg1#
- 1...Bg2
- 2.Bxg2#
- 1...Bf3
- 2.Bxf3#
- 1...Be4
- 2.Bxe4#
- 1...Bc6
- 2.Bxc6#
- 1...Bb7
- 2.Bxb7#
- 1...Rxh8+
- 1.Rh8!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 5
- REMOVED MATES = 0
- Sets
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- R(a);OGATEB::R(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- P(d);::R1(A),XR(a)
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- Tries
- Try
- K(L);S_FLIGHT
- Vars
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- P(d);::R1(A),XR(a)
- Refutation
- R(c);XR(C)
- Try
- K(L);P_SPINR(C),S_FLIGHT
- Vars
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- P(f);N_GUARD,XP(H)::B(K),XB(e)
- R(a);OGATEB::R(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATE,P_PINP(H)::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- P(d);::R1(A),XR(a)
- Refutation
- R(c);CHECK,XR(C)
- Try
- K(L);P-FLIGHT
- Vars
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- P(f);N_GUARD,XP(H)::B(K),XB(e)
- R(a);OGATEB::R(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- P(d);::R1(A),XR(a)
- Refutation
- R(c);XR(C)
- Try
- K(L);P-FLIGHT,P_SPINR(C)
- Vars
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- P(f);N_GUARD,XP(H)::B(K),XB(e)
- R(a);OGATEB::R(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- P(d);::R1(A),XR(a)
- Refutation
- R(c);CHECK,XR(C)
- Try
- B(I);XP(d)
- Threat
- R1(A),XR(a)
- Vars
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- R(a);OGATEB::R(A),XR(a)
- Refutation
- R(c);XR(C)
- Try
- R(C);
- Vars
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- R(c);OGATEB::R(C),XR(c)
- P(d);::R1(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- Refutation
- R(c);XR(C)
- Try
- R(C);
- Vars
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- R(c);OGATEB::R(C),XR(c)
- P(d);::R1(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- Refutation
- R(c);XR(C)
- Try
- R(C);
- Vars
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- R(c);OGATEB::R(C),XR(c)
- P(d);::R1(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- Refutation
- R(c);XR(C)
- Try
- R(C);
- Vars
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- R(c);OGATEB::R(C),XR(c)
- P(d);::R1(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- Refutation
- R(c);XR(C)
- Try
- Q(F);
- Threat
- DUALS(2)
- Refutation
- R(c);XR(C)
- Try
- Q(F);
- Vars
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- P(d);::R1(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- Refutation
- R(c);XR(C)
- Try
- Q(F);
- Vars
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- P(d);::R1(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- Refutation
- R(c);XR(C)
- Try
- Q(F);XP(d)
- Threat
- DUALS(2)
- Vars
- R(c);XR(C)::QAR1(F),XR(a)
- R(a);OGATEB::R(A),XR(a)
- Refutation
- R(a);N_SPINR(a),P_SPINR(c),XR(A)
- Try
- Q(F);
- Vars
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- P(d);::R1(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- Refutation
- R(c);XR(C)
- Try
- Q(F);
- Vars
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- P(d);::R1(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- Refutation
- R(c);XR(C)
- Try
- P(B);
- Vars
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- Refutation
- R(c);XR(C)
- Try
- P(E);
- Vars
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- P(d);::R1(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- Refutation
- R(c);XR(C)
- Try
- P(H);P_SPINP(H),XP(f)
- Threat
- B(K),XB(e)
- Vars
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_PINP(H),N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- B(e);N_PINP(H),OGATE::B(K),XB(e)
- B(e);N_PINP(H),OGATEB::B(K),XB(e)
- Refutation
- R(c);XR(C)
- Try
- P(H);
- Vars
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- P(d);::R1(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
- Refutation
- R(c);XR(C)
- Try
- Actual
- R(C);
- Vars
- R(c);CHECK,OGATE,XR(C)::PXR(c)=Q
- P(f);CHECK,N_GUARD,XP(H)::B(K),XB(e)
- R(a);N_SPINR(a),OGATE,P_SPINR(c),XR(A)::QAB1(F),XR(a)
- B(e);N_SPINB(e),OGATE,XB(K)::QAB(F),XB(e)
- R(a);OGATEB::R(A),XR(a)
- R(c);OGATEB::R(C),XR(c)
- P(d);::R1(A),XR(a)
- B(e);OGATE::B(K),XB(e)
- B(e);OGATEB::B(K),XB(e)
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).