MESON Chess Problem Database
Problem Display
PID: 189812 (Q6B/K4P2/8/2N5/1R6/1b6/Bq1n4/k1N5 w - - 0 1)
Rudolph, William E
Pittsburgh Gazette-Times, 1912
#2
8 + 4
| 6490 | yacpdb | 2019 |
SOLUTION
- SOUND
- Sets
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Qxh8
- 2.Qxh8#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Bxf7
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 1...Sf1
- 2.S5xb3#
- 1...Sf3
- 2.S5xb3#
- 1...Sc4
- 2.S5xb3#
- 1...Se4
- 2.S5xb3#
- 1...Qc3
- Tries
- 1.Kb6?
- 1...Qf6+
- 2.Bxf6#
- 1...Qxh8
- 2.Qxh8#
- 1...Bxa2
- 2.Qxa2#
- 1...Bxf7
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 1...Qg7
- 2.Bxg7#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S1xb3#
- 2.S5xb3#
- 1...Sf1
- 2.S1xb3#
- 2.S5xb3#
- 1...Sf3
- 2.S1xb3#
- 2.S5xb3#
- 1...Se4
- 2.S1xb3#
- 2.S5xb3#
- 1...Sc4+!
- 1...Qf6+
- 1.Kb7?
- 1...Qxh8
- 2.Qxh8#
- 1...Bxa2
- 2.Qxa2#
- 1...Bxf7
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S1xb3#
- 2.S5xb3#
- 1...Sf1
- 2.S1xb3#
- 2.S5xb3#
- 1...Sf3
- 2.S1xb3#
- 2.S5xb3#
- 1...Sc4
- 2.S1xb3#
- 2.S5xb3#
- 1...Se4
- 2.S1xb3#
- 2.S5xb3#
- 1...Bd5+!
- 1...Qxh8
- 1.Kb8?
- 1...Qe5+
- 2.Bxe5#
- 1...Bxa2
- 2.Qxa2#
- 1...Bxf7
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S1xb3#
- 2.S5xb3#
- 1...Sf1
- 2.S1xb3#
- 2.S5xb3#
- 1...Sf3
- 2.S1xb3#
- 2.S5xb3#
- 1...Sc4
- 2.S1xb3#
- 2.S5xb3#
- 1...Se4
- 2.S1xb3#
- 2.S5xb3#
- 1...Qxh8+!
- 1...Qe5+
- 1.Rxb3?
- threat
- 2.Bxb2#
- 1...Qxh8
- 2.Qxh8#
- 1...Sxb3
- 2.S5xb3#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Sc4!
- threat
- 1.Rb5?
- 1...Qxh8
- 2.Qxh8#
- 1...Bxf7
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Sc4
- 2.S5xb3#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 1...Sf1
- 2.S5xb3#
- 1...Sf3
- 2.S5xb3#
- 1...Se4
- 2.S5xb3#
- 1...Bxa2!
- 1...Qxh8
- 1.Rb6?
- 1...Qxh8
- 2.Qxh8#
- 1...Bxf7
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Sc4
- 2.S5xb3#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 1...Sf1
- 2.S5xb3#
- 1...Sf3
- 2.S5xb3#
- 1...Se4
- 2.S5xb3#
- 1...Bxa2!
- 1...Qxh8
- 1.Rb7?
- 1...Qxh8
- 2.Qxh8#
- 1...Bxf7
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Sc4
- 2.S5xb3#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 1...Sf1
- 2.S5xb3#
- 1...Sf3
- 2.S5xb3#
- 1...Se4
- 2.S5xb3#
- 1...Bxa2!
- 1...Qxh8
- 1.Qe4?
- 1...Bxa2
- 2.Bxb2#
- 1...Bxf7
- 2.Bxb2#
- 1...Sxe4
- 2.S5xb3#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 2.Qxd4#
- 1...Qe5
- 2.Bxe5#
- 2.Qxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Sc4
- 2.S5xb3#
- 2.Qb1#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 2.Qxb1#
- 1...Sf1
- 2.S5xb3#
- 2.Qb1#
- 1...Sf3
- 2.S5xb3#
- 2.Qb1#
- 1...Qxh8!
- 1...Bxa2
- 1.Qd5?
- 1...Bxa2
- 2.Qxa2#
- 1...Bxd5
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 2.Qxd4#
- 1...Qe5
- 2.Bxe5#
- 2.Qxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Sc4
- 2.S5xb3#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 1...Sf1
- 2.S5xb3#
- 1...Sf3
- 2.S5xb3#
- 1...Se4
- 2.S5xb3#
- 1...Qxh8!
- 1...Bxa2
- 1.Qb8?
- 1...Qxh8
- 2.Qxh8#
- 1...Bxf7
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 2.Qxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Sc4
- 2.S5xb3#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 1...Sf1
- 2.S5xb3#
- 1...Sf3
- 2.S5xb3#
- 1...Se4
- 2.S5xb3#
- 1...Bxa2!
- 1...Qxh8
- 1.Qc8?
- 1...Qxh8
- 2.Qxh8#
- 1...Bxf7
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Sc4
- 2.S5xb3#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 1...Sf1
- 2.S5xb3#
- 1...Sf3
- 2.S5xb3#
- 1...Se4
- 2.S5xb3#
- 1...Bxa2!
- 1...Qxh8
- 1.Qd8?
- 1...Qxh8
- 2.Qxh8#
- 1...Bxf7
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 2.Qxd4#
- 1...Qe5
- 2.Bxe5#
- 1...Qf6
- 2.Bxf6#
- 2.Qxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Sc4
- 2.S5xb3#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 1...Sf1
- 2.S5xb3#
- 1...Sf3
- 2.S5xb3#
- 1...Se4
- 2.S5xb3#
- 1...Bxa2!
- 1...Qxh8
- 1.Qe8?
- 1...Qxh8
- 2.Qxh8#
- 1...Bxf7
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 2.Qxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Sc4
- 2.S5xb3#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 1...Sf1
- 2.S5xb3#
- 1...Sf3
- 2.S5xb3#
- 1...Se4
- 2.S5xb3#
- 1...Bxa2!
- 1...Qxh8
- 1.Qf8?
- 1...Qxh8
- 2.Qxh8#
- 1...Bxf7
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 2.Qxg7#
- 1...Sc4
- 2.S5xb3#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 1...Sf1
- 2.S5xb3#
- 1...Sf3
- 2.S5xb3#
- 1...Se4
- 2.S5xb3#
- 1...Bxa2!
- 1...Qxh8
- 1.Qg8?
- 1...Qxh8
- 2.Qxh8#
- 1...Bxf7
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 2.Qxg7#
- 1...Sc4
- 2.S5xb3#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 1...Sf1
- 2.S5xb3#
- 1...Sf3
- 2.S5xb3#
- 1...Se4
- 2.S5xb3#
- 1...Bxa2!
- 1...Qxh8
- 1.f8Q?
- 1...Qg7+
- 2.Bxg7#
- 2.Qxg7#
- 1...Qxh8
- 2.Qxh8#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 1...Qf6
- 2.Bxf6#
- 2.Qxf6#
- 1...Sc4
- 2.S5xb3#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Bf7
- 2.Bxb2#
- 1...Bg8
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 1...Sf1
- 2.S5xb3#
- 1...Sf3
- 2.S5xb3#
- 1...Se4
- 2.S5xb3#
- 1...Bxa2!
- 1...Qg7+
- 1.Kb6?
- Keys
- 1.Qh1!
- 1...Qxh8
- 2.Qxh8#
- 1...Bxa2
- 2.S1b3#
- 1...Bxf7
- 2.Bxb2#
- 1...Qc3
- 2.Bxc3#
- 1...Qd4
- 2.Bxd4#
- 1...Qe5
- 2.Bxe5#
- 1...Qf6
- 2.Bxf6#
- 1...Qg7
- 2.Bxg7#
- 1...Sc4
- 2.S5xb3#
- 1...Bd1
- 2.Bxb2#
- 1...Bc2
- 2.Bxb2#
- 1...Ba4
- 2.Bxb2#
- 1...Bc4
- 2.Bxb2#
- 1...Bd5
- 2.Bxb2#
- 1...Be6
- 2.Bxb2#
- 1...Sb1
- 2.S5xb3#
- 1...Sf1
- 2.S5xb3#
- 1...Sf3
- 2.S5xb3#
- 1...Se4
- 2.S5xb3#
- 1...Qxh8
- 1.Qh1!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINS(D)::B(H),XQ(b)
- Q(b);OGATEB,P_PINP(F)::B(H),XQ(b)
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- B(d);::B(H),XQ(b)
- B(d);XP(F)::B(H),XQ(b)
- S(c);N_GUARD::S(D),XB(d)
- Tries
- Try
- K(E);S_FLIGHT
- Vars
- Q(b);CHECK,OGATEB::B(H),XQ(b)
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- B(d);OGATE,P_PINR(C),P_SPINB(d),XB(B)::QAR1(G),XB(d)
- B(d);P_PINR(C),XP(F)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINS(D)::B(H),XQ(b)
- B(d);P_PINR(C)::B(H),XQ(b)
- Refutation
- S(c);CHECK
- Try
- K(E);P-FLIGHT
- Vars
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- B(d);OGATE,P_PINR(C),P_SPINB(d),XB(B)::QAR1(G),XB(d)
- B(d);P_PINR(C),XP(F)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINP(F)::B(H),XQ(b)
- B(d);P_PINR(C)::B(H),XQ(b)
- Refutation
- B(d);CHECK,P_PINR(C)
- Try
- K(E);S_FLIGHT
- Vars
- Q(b);CHECK,OGATEB::B(H),XQ(b)
- B(d);OGATE,P_PINR(C),P_SPINB(d),XB(B)::QAR1(G),XB(d)
- B(d);P_PINR(C),XP(F)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- B(d);P_PINR(C)::B(H),XQ(b)
- Refutation
- Q(b);CHECK,N_SPINQ(b),XB(H)
- Try
- R(C);XB(d)
- Threat
- B(H),XQ(b)
- Vars
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- S(c);XR(C)::S(D),XS(c)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINS(D)::B(H),XQ(b)
- Q(b);OGATEB,P_PINP(F)::B(H),XQ(b)
- Refutation
- S(c);
- Try
- R(C);
- Vars
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- B(d);XP(F)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINS(D)::B(H),XQ(b)
- Q(b);OGATEB,P_PINP(F)::B(H),XQ(b)
- S(c);N_GUARD::S(D),XB(d)
- B(d);::B(H),XQ(b)
- Refutation
- B(d);XB(B)
- Try
- R(C);
- Vars
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- B(d);XP(F)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINP(F)::B(H),XQ(b)
- S(c);N_GUARD::S(D),XB(d)
- B(d);::B(H),XQ(b)
- Refutation
- B(d);XB(B)
- Try
- R(C);
- Vars
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- B(d);XP(F)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINS(D)::B(H),XQ(b)
- S(c);N_GUARD::S(D),XB(d)
- B(d);::B(H),XQ(b)
- Refutation
- B(d);XB(B)
- Try
- Q(G);
- Vars
- B(d);XB(B)::B(H),XQ(b)
- B(d);XP(F)::B(H),XQ(b)
- S(c);N_GUARD,XQ(G)::S(D),XB(d)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINP(F)::B(H),XQ(b)
- B(d);::B(H),XQ(b)
- Refutation
- Q(b);N_SPINQ(b),XB(H)
- Try
- Q(G);
- Vars
- B(d);OGATE,XB(B)::QAR1(G),XB(d)
- B(d);XQ(G)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINP(F)::B(H),XQ(b)
- S(c);N_GUARD::S(D),XB(d)
- B(d);::B(H),XQ(b)
- Refutation
- Q(b);N_SPINQ(b),XB(H)
- Try
- Q(G);
- Vars
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- B(d);XP(F)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINS(D)::B(H),XQ(b)
- Q(b);OGATEB,P_PINP(F)::B(H),XQ(b)
- S(c);N_GUARD::S(D),XB(d)
- B(d);::B(H),XQ(b)
- Refutation
- B(d);XB(B)
- Try
- Q(G);
- Vars
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- B(d);XP(F)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINS(D)::B(H),XQ(b)
- Q(b);OGATEB,P_PINP(F)::B(H),XQ(b)
- S(c);N_GUARD::S(D),XB(d)
- B(d);::B(H),XQ(b)
- Refutation
- B(d);XB(B)
- Try
- Q(G);
- Vars
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- B(d);XP(F)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINP(F)::B(H),XQ(b)
- S(c);N_GUARD::S(D),XB(d)
- B(d);::B(H),XQ(b)
- Refutation
- B(d);XB(B)
- Try
- Q(G);
- Vars
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- B(d);XP(F)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINS(D)::B(H),XQ(b)
- Q(b);OGATEB,P_PINP(F)::B(H),XQ(b)
- S(c);N_GUARD::S(D),XB(d)
- B(d);::B(H),XQ(b)
- Refutation
- B(d);XB(B)
- Try
- Q(G);
- Vars
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- B(d);XP(F)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINS(D)::B(H),XQ(b)
- S(c);N_GUARD::S(D),XB(d)
- B(d);::B(H),XQ(b)
- Refutation
- B(d);XB(B)
- Try
- Q(G);
- Vars
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- B(d);XP(F)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINS(D)::B(H),XQ(b)
- S(c);N_GUARD::S(D),XB(d)
- B(d);::B(H),XQ(b)
- Refutation
- B(d);XB(B)
- Try
- P(F);
- Vars
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(F),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINS(D)::B(H),XQ(b)
- S(c);N_GUARD::S(D),XB(d)
- B(d);::B(H),XQ(b)
- Refutation
- B(d);XB(B)
- Try
- Actual
- Q(G);
- Vars
- Q(b);N_SPINQ(b),OGATE,XB(H)::QAB(G),XQ(b)
- B(d);SBLOCK,XB(B)::QAR(G)+S(A),DCHECK
- B(d);XP(F)::B(H),XQ(b)
- Q(b);OGATEB::B(H),XQ(b)
- Q(b);OGATEB,P_PINS(D)::B(H),XQ(b)
- Q(b);OGATEB,P_PINP(F)::B(H),XQ(b)
- S(c);N_GUARD::S(D),XB(d)
- B(d);::B(H),XQ(b)
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).