MESON Chess Problem Database
Problem Display
PID: 222471 (2b5/1P3Q2/K1kBr1N1/1p1R4/1P2N3/1n6/6B1/8 w - - 0 1)
Whitner, HK
Philadelphia Times, 1883
#2
9 + 5
| 6490 | yacpdb | 2020 |
SOLUTION
- SOUND
- Sets
- 1...Rxe4
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re5
- 2.Sxe5#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxd6
- 2.Se5#
- 2.Rxd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rf6
- 2.Se5#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxg6
- 2.bxc8Q#
- 2.bxc8R#
- 1...Bxb7+
- 2.Qxb7#
- 1...Sa1
- 2.Rc5#
- 1...Sc1
- 2.Rc5#
- 1...Sd2
- 2.Rc5#
- 1...Sd4
- 2.Rc5#
- 1...Sa5
- 2.Rc5#
- 1...Sc5+
- 2.Rxc5#
- 1...Rxe4
- Tries
- 1.Sc5?
- threat
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Bxb7+
- 2.Qxb7#
- 1...Rxd6
- 2.Se5#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxg6
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re1
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re2
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re3
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re4
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re5
- 2.Sxe5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rf6
- 2.Se5#
- 2.Se7#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re7
- 2.Sxe7#
- 1...Re8
- 2.Qc7#
- 1...Bd7
- 2.Qxd7#
- 2.b8S#
- 1...Sa1
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sc1
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd2
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd4
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sa5
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sxc5+!
- threat
- 1.Sf6?
- threat
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Bxb7+
- 2.Qxb7#
- 1...Rxd6
- 2.Se5#
- 2.Rc5#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxf6
- 2.Se5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re1
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re2
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re3
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re4
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re5
- 2.Sxe5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re7
- 2.Sxe7#
- 1...Re8
- 2.Qc7#
- 1...Bd7
- 2.Qxd7#
- 2.b8S#
- 1...Sa1
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sc1
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd2
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd4
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sa5
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sc5+!
- threat
- 1.Sf4?
- threat
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Bxb7+
- 2.Qxb7#
- 1...Sc5+
- 2.Rxc5#
- 1...Rxe4
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxd6
- 2.Rxd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re5
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rf6
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rg6
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rh6
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re8
- 2.Qc7#
- 1...Bd7
- 2.b8S#
- 1...Sa1
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sc1
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd2
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd4
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sa5
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re7!
- threat
- 1.Se5+?
- 1...Rxe5
- 2.bxc8Q#
- 2.bxc8R#
- 1...Kxd5!
- 1...Rxe5
- 1.Se7+?
- 1...Kd7
- 2.bxc8Q#
- 1...Rxe7!
- 1...Kd7
- 1.Bh2?
- 1...Bxb7+
- 2.Qxb7#
- 1...Sc5+
- 2.Rxc5#
- 1...Rxe4
- 2.Rd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxg6
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re7
- 2.Sxe7#
- 1...Re5
- 2.Sxe5#
- 2.Rd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rd6
- 2.Se5#
- 2.Rxd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rf6
- 2.Se5#
- 2.Se7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re8
- 2.Rd6#
- 1...Bd7
- 2.Qxd7#
- 1...Sa1
- 2.Rc5#
- 1...Sc1
- 2.Rc5#
- 1...Sd2
- 2.Rc5#
- 1...Sd4
- 2.Rc5#
- 1...Sa5
- 2.Rc5#
- 1...Kxd5+!
- 1...Bxb7+
- 1.Bg3?
- 1...Bxb7+
- 2.Qxb7#
- 1...Sc5+
- 2.Rxc5#
- 1...Rxe4
- 2.Rd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxg6
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re7
- 2.Sxe7#
- 1...Re5
- 2.Sxe5#
- 2.Rd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rd6
- 2.Se5#
- 2.Rxd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rf6
- 2.Se5#
- 2.Se7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re8
- 2.Rd6#
- 1...Bd7
- 2.Qxd7#
- 1...Sa1
- 2.Rc5#
- 1...Sc1
- 2.Rc5#
- 1...Sd2
- 2.Rc5#
- 1...Sd4
- 2.Rc5#
- 1...Sa5
- 2.Rc5#
- 1...Kxd5+!
- 1...Bxb7+
- 1.Bf4?
- 1...Bxb7+
- 2.Qxb7#
- 1...Sc5+
- 2.Rxc5#
- 1...Rxe4
- 2.Rd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxg6
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re7
- 2.Sxe7#
- 1...Re5
- 2.Sxe5#
- 2.Rd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rd6
- 2.Se5#
- 2.Rxd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rf6
- 2.Se5#
- 2.Se7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re8
- 2.Rd6#
- 1...Bd7
- 2.Qxd7#
- 1...Sa1
- 2.Rc5#
- 1...Sc1
- 2.Rc5#
- 1...Sd2
- 2.Rc5#
- 1...Sd4
- 2.Rc5#
- 1...Sa5
- 2.Rc5#
- 1...Kxd5+!
- 1...Bxb7+
- 1.Bb8?
- 1...Bxb7+
- 2.Qxb7#
- 1...Sc5+
- 2.Rxc5#
- 1...Rxe4
- 2.Rd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxg6
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re7
- 2.Sxe7#
- 2.Rd6#
- 1...Re5
- 2.Sxe5#
- 2.Rd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rd6
- 2.Se5#
- 2.Rxd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rf6
- 2.Se5#
- 2.Se7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re8
- 2.Rd6#
- 1...Bd7
- 2.Qxd7#
- 1...Sa1
- 2.Rc5#
- 1...Sc1
- 2.Rc5#
- 1...Sd2
- 2.Rc5#
- 1...Sd4
- 2.Rc5#
- 1...Sa5
- 2.Rc5#
- 1...Kxd5+!
- 1...Bxb7+
- 1.Rxb5?
- threat
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Bxb7+
- 2.Qxb7#
- 1...Sc5+
- 2.Rxc5#
- 1...Rxe4
- 2.Rb6#
- 2.Qc7#
- 1...Rxd6
- 2.Se5#
- 2.Rb6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxg6
- 2.Rb6#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re5
- 2.Sxe5#
- 2.Rb6#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rf6
- 2.Se5#
- 2.Rb6#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re8
- 2.Rb6#
- 2.Qc7#
- 1...Bd7
- 2.b8S#
- 1...Sa1
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sc1
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd2
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd4
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sa5
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re7!
- threat
- 1.Re5?
- threat
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Bxb7+
- 2.Qxb7#
- 1...Sc5+
- 2.Rxc5#
- 1...Rxe5
- 2.Sxe5#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxd6
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxg6
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rf6
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re8
- 2.Qc7#
- 1...Bd7
- 2.b8S#
- 1...Sa1
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sc1
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd2
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd4
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sa5
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re7!
- threat
- 1.Rf5?
- threat
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Bxb7+
- 2.Qxb7#
- 1...Sc5+
- 2.Rxc5#
- 1...Rxe4
- 2.Qc7#
- 1...Rxd6
- 2.Se5#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxg6
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re5
- 2.Sxe5#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rf6
- 2.Se5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re8
- 2.Qc7#
- 1...Bd7
- 2.b8S#
- 1...Sa1
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sc1
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd2
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd4
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sa5
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re7!
- threat
- 1.Rg5?
- threat
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Bxb7+
- 2.Qxb7#
- 1...Sc5+
- 2.Rxc5#
- 1...Rxe4
- 2.Qc7#
- 1...Rxd6
- 2.Se5#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxg6
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re5
- 2.Sxe5#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rf6
- 2.Se5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re8
- 2.Qc7#
- 1...Bd7
- 2.b8S#
- 1...Sa1
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sc1
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd2
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd4
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sa5
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re7!
- threat
- 1.Rh5?
- threat
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Bxb7+
- 2.Qxb7#
- 1...Sc5+
- 2.Rxc5#
- 1...Rxe4
- 2.Qc7#
- 1...Rxd6
- 2.Se5#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxg6
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re5
- 2.Sxe5#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rf6
- 2.Se5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re8
- 2.Qc7#
- 1...Bd7
- 2.b8S#
- 1...Sa1
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sc1
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd2
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sd4
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Sa5
- 2.Rc5#
- 2.Qc7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re7!
- threat
- 1.bxc8B?
- threat
- 2.Bb7#
- 2.Qb7#
- 1...Sc5+
- 2.Rxc5#
- 1...Re7
- 2.Sxe7#
- 1...Sa5
- 2.Rc5#
- 1...Kxd5!
- threat
- 1.Sc5?
- Keys
- 1.Be5!
- 1...Kxd5+
- 2.Sd6#
- 1...Bxb7+
- 2.Qxb7#
- 1...Sc5+
- 2.Rxc5#
- 1...Rxe5
- 2.Sxe5#
- 2.Rd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rxg6
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re7
- 2.Sxe7#
- 1...Rd6
- 2.Rxd6#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Rf6
- 2.Se7#
- 2.bxc8Q#
- 2.bxc8R#
- 1...Re8
- 2.Rd6#
- 1...Bd7
- 2.Qxd7#
- 1...Sa1
- 2.Rc5#
- 1...Sc1
- 2.Rc5#
- 1...Sd2
- 2.Rc5#
- 1...Sd4
- 2.Rc5#
- 1...Sa5
- 2.Rc5#
- 1...Kxd5+
- 1.Be5!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 4
- REMOVED MATES = 0
- Sets
- R(d);XS(C)::PXB(e)=Q
- R(d);XS(G)::PXB(e)=Q
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- S(a);N_GUARD::R1(D)
- S(a);CHECK,N_GUARD::R1(D),XS(a)
- Tries
- Try
- S(C);
- Threat
- DUALS(3)
- Vars
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- R(d);::PXB(e)=Q
- R(d);N_GUARD::S(G),XR(d)
- R(d);::QAR1(I)
- Refutation
- S(a);CHECK,XS(C)
- Try
- S(C);
- Threat
- DUALS(3)
- Vars
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- R(d);N_GUARD::S(G),XR(d)
- R(d);::QAR1(I)
- Refutation
- S(a);CHECK
- Try
- S(G);
- Threat
- DUALS(3)
- Vars
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- S(a);CHECK,N_GUARD::R1(D),XS(a)
- R(d);::QAR1(I)
- B(e);N_PINP(H)::P=S
- Refutation
- R(d);
- Try
- S(G);CHECK
- Vars
- R(d);XS(G)::PXB(e)=Q
- Refutation
- K(c);P_PINB(F),P_SPINR(d),S_FLIGHT,XR(D)
- Try
- S(G);CHECK
- Vars
- K(c);P_PINB(F),S_FLIGHT::PXB(e)=Q
- Refutation
- R(d);XS(G)
- Try
- B(F);
- Vars
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- S(a);CHECK,N_GUARD::R1(D),XS(a)
- R(d);XS(G)::PXB(e)=Q
- R(d);N_GUARD::S(G),XR(d)
- R(d);N_GUARD::R1(D)
- B(e);N_GUARD,N_PINP(H)::QAB1(I),XB(e)
- S(a);N_GUARD::R1(D)
- Refutation
- K(c);CHECK,P_SPINR(d),S_FLIGHT,XR(D)
- Try
- B(F);
- Vars
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- S(a);CHECK,N_GUARD::R1(D),XS(a)
- R(d);XS(G)::PXB(e)=Q
- R(d);N_GUARD::S(G),XR(d)
- R(d);N_GUARD::R1(D)
- B(e);N_GUARD,N_PINP(H)::QAB1(I),XB(e)
- S(a);N_GUARD::R1(D)
- Refutation
- K(c);CHECK,P_SPINR(d),S_FLIGHT,XR(D)
- Try
- B(F);
- Vars
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- S(a);CHECK,N_GUARD::R1(D),XS(a)
- R(d);XS(G)::PXB(e)=Q
- R(d);N_GUARD::S(G),XR(d)
- R(d);N_GUARD::R1(D)
- B(e);N_GUARD,N_PINP(H)::QAB1(I),XB(e)
- S(a);N_GUARD::R1(D)
- Refutation
- K(c);CHECK,P_SPINR(d),S_FLIGHT,XR(D)
- Try
- B(F);
- Vars
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- S(a);CHECK,N_GUARD::R1(D),XS(a)
- R(d);XS(G)::PXB(e)=Q
- R(d);N_GUARD::R1(D)
- B(e);N_GUARD,N_PINP(H)::QAB1(I),XB(e)
- S(a);N_GUARD::R1(D)
- Refutation
- K(c);CHECK,P_SPINR(d),S_FLIGHT,XR(D)
- Try
- R(D);XP(b)
- Threat
- DUALS(3)
- Vars
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- S(a);CHECK,N_GUARD::R1(D),XS(a)
- B(e);N_PINP(H)::P=S
- Refutation
- R(d);
- Try
- R(D);
- Threat
- DUALS(3)
- Vars
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- S(a);CHECK,N_GUARD::R1(D),XS(a)
- R(d);XB(F)::PXB(e)=Q
- R(d);::QAR1(I)
- B(e);N_PINP(H)::P=S
- Refutation
- R(d);
- Try
- R(D);
- Threat
- DUALS(3)
- Vars
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- S(a);CHECK,N_GUARD::R1(D),XS(a)
- R(d);P_SPINR(d),XS(C)::QAR1(I)
- R(d);::QAR1(I)
- B(e);N_PINP(H)::P=S
- Refutation
- R(d);
- Try
- R(D);
- Threat
- DUALS(3)
- Vars
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- S(a);CHECK,N_GUARD::R1(D),XS(a)
- R(d);P_SPINR(d),XS(C)::QAR1(I)
- R(d);::QAR1(I)
- B(e);N_PINP(H)::P=S
- Refutation
- R(d);
- Try
- R(D);
- Threat
- DUALS(3)
- Vars
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- S(a);CHECK,N_GUARD::R1(D),XS(a)
- R(d);P_SPINR(d),XS(C)::QAR1(I)
- R(d);::QAR1(I)
- B(e);N_PINP(H)::P=S
- Refutation
- R(d);
- Try
- P(H);N_SPINP(H),XB(e)
- Threat
- DUALS(2)
- Vars
- S(a);CHECK,N_GUARD::R1(D),XS(a)
- R(d);N_GUARD::S(G),XR(d)
- S(a);N_GUARD::R1(D)
- Refutation
- K(c);P_PINB(F),P_SPINR(d),S_FLIGHT,XR(D)
- Try
- Actual
- B(F);
- Vars
- K(c);CHECK,P_SPINR(d),S_FLIGHT,XR(D)::B(A)+S(C)
- B(e);CHECK,OGATE,XP(H)::QAB1(I),XB(e)
- S(a);CHECK,N_GUARD::R1(D),XS(a)
- R(d);XS(G)::PXB(e)=Q
- R(d);N_GUARD::S(G),XR(d)
- R(d);N_GUARD::R1(D)
- B(e);N_GUARD,N_PINP(H)::QAB1(I),XB(e)
- S(a);N_GUARD::R1(D)
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).