MESON Chess Problem Database
Problem Display
PID: 78059 (8/8/1KB2Q2/8/8/5R2/5pq1/5Nbk w - - 0 1)
Meredith, William
Source?, 0000
#2
5 + 4
SOLUTION
- SOUND
- Sets
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Qxf1
- Tries
- 1.Be4?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rg3#
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rg3#
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Bd5?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Bb7?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Ba8?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Ra3?
- 1...Qxc6+
- 2.Qxc6#
- 1...Qf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qe4
- 2.Bxe4#
- 1...Qd5
- 2.Bxd5#
- 1...Bh2!
- 1...Qxc6+
- 1.Rb3?
- 1...Qxc6+
- 2.Qxc6#
- 1...Qf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qe4
- 2.Bxe4#
- 1...Qd5
- 2.Bxd5#
- 1...Bh2!
- 1...Qxc6+
- 1.Rc3?
- 1...Qxc6+
- 2.Qxc6#
- 1...Qf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qe4
- 2.Bxe4#
- 1...Qd5
- 2.Bxd5#
- 1...Bh2!
- 1...Qxc6+
- 1.Rd3?
- 1...Qxc6+
- 2.Qxc6#
- 1...Qf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qe4
- 2.Bxe4#
- 1...Qd5
- 2.Bxd5#
- 1...Bh2!
- 1...Qxc6+
- 1.Re3?
- 1...Qxc6+
- 2.Qxc6#
- 1...Qf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qe4
- 2.Bxe4#
- 1...Qd5
- 2.Bxd5#
- 1...Bh2!
- 1...Qxc6+
- 1.Rg3?
- threat
- 2.Bxg2#
- 1...Qxc6+
- 2.Qxc6#
- 1...Qf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qe4
- 2.Bxe4#
- 1...Qd5
- 2.Bxd5#
- 1...Bh2!
- threat
- 1.Rf4?
- 1...Qxc6+
- 2.Qxc6#
- 1...Qf3
- 2.Bxf3#
- 1...Qe4
- 2.Bxe4#
- 1...Qd5
- 2.Bxd5#
- 1...Bh2!
- 1...Qxc6+
- 1.Rf5?
- 1...Qxc6+
- 2.Qxc6#
- 1...Qf3
- 2.Bxf3#
- 1...Qe4
- 2.Bxe4#
- 1...Qd5
- 2.Bxd5#
- 1...Bh2!
- 1...Qxc6+
- 1.Qb2?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qc3?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qd4?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qh4+?
- 1...Qh3
- 2.Rxf2#
- 2.Ra3#
- 2.Rb3#
- 2.Rc3#
- 2.Rd3#
- 2.Re3#
- 2.Rg3#
- 2.Rxh3#
- 2.Rf4#
- 2.Rf5#
- 2.Rf6#
- 2.Rf7#
- 2.Rf8#
- 1...Qh2
- 2.Rxf2#
- 2.Ra3#
- 2.Rb3#
- 2.Rc3#
- 2.Rd3#
- 2.Re3#
- 2.Rg3#
- 2.Rh3#
- 2.Rf4#
- 2.Rf5#
- 2.Rf6#
- 2.Rf7#
- 2.Rf8#
- 1...Bh2!
- 1...Qh3
- 1.Qe5?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rg3#
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qg5?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 1...Qxg5
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qe7?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qg7?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 1...Qxg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qd8?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qh8+?
- 1...Qh3
- 2.Rxf2#
- 2.Ra3#
- 2.Rb3#
- 2.Rc3#
- 2.Rd3#
- 2.Re3#
- 2.Rg3#
- 2.Rxh3#
- 2.Rf4#
- 2.Rf5#
- 2.Rf6#
- 2.Rf7#
- 2.Rf8#
- 1...Qh2
- 2.Rxf2#
- 2.Ra3#
- 2.Rb3#
- 2.Rc3#
- 2.Rd3#
- 2.Re3#
- 2.Rg3#
- 2.Rh3#
- 2.Rf4#
- 2.Rf5#
- 2.Rf6#
- 2.Rf7#
- 2.Rf8#
- 1...Bh2!
- 1...Qh3
- 1.Qf4?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qf5?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rg3#
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qd6?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qe6?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rg3#
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qg6?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 1...Qxg6
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qh6+?
- 1...Qh3
- 2.Rxf2#
- 2.Ra3#
- 2.Rb3#
- 2.Rc3#
- 2.Rd3#
- 2.Re3#
- 2.Rg3#
- 2.Rxh3#
- 2.Rf4#
- 2.Rf5#
- 2.Rf6#
- 2.Rf7#
- 2.Rf8#
- 1...Qh2
- 2.Rxf2#
- 2.Ra3#
- 2.Rb3#
- 2.Rc3#
- 2.Rd3#
- 2.Re3#
- 2.Rg3#
- 2.Rh3#
- 2.Rf4#
- 2.Rf5#
- 2.Rf6#
- 2.Rf7#
- 2.Rf8#
- 1...Bh2!
- 1...Qh3
- 1.Qf7?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rg3#
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Qf8?
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2!
- 1...Qxf1
- 1.Be4?
- Keys
- 1.Qa1!
- 1...Qxf1
- 2.Rh3#
- 1...Qxf3
- 2.Bxf3#
- 1...Qh3
- 2.Rxh3#
- 1...Qh2
- 2.Rh3#
- 1...Qg3
- 2.Rxg3#
- 1...Qg4
- 2.Rh3#
- 1...Qg5
- 2.Rh3#
- 1...Qg6
- 2.Rh3#
- 1...Qg7
- 2.Rg3#
- 2.Rh3#
- 1...Qg8
- 2.Rh3#
- 1...Bh2
- 2.Sg3#
- 1...Qxf1
- 1.Qa1!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 2
- REMOVED MATES = 0
- Sets
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Tries
- Try
- B(D);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINQ(E)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- B(D);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINQ(E)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- B(D);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINQ(E)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- B(D);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINQ(E)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- R(B);P_PINQ(d)
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(E),XQ(d)
- Q(d);OGATEB::B(D),XQ(d)
- Refutation
- B(a);
- Try
- R(B);P_PINQ(d)
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(E),XQ(d)
- Q(d);OGATEB::B(D),XQ(d)
- Refutation
- B(a);
- Try
- R(B);P_PINQ(d)
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(E),XQ(d)
- Q(d);OGATEB::B(D),XQ(d)
- Refutation
- B(a);
- Try
- R(B);P_PINQ(d)
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(E),XQ(d)
- Q(d);OGATEB::B(D),XQ(d)
- Refutation
- B(a);
- Try
- R(B);P_PINQ(d)
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(E),XQ(d)
- Q(d);OGATEB::B(D),XQ(d)
- Refutation
- B(a);
- Try
- R(B);P_PINQ(d)
- Threat
- B(D),XQ(d)
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(E),XQ(d)
- Q(d);OGATEB::B(D),XQ(d)
- Refutation
- B(a);
- Try
- R(B);P_PINQ(d)
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(E),XQ(d)
- Q(d);OGATEB::B(D),XQ(d)
- Refutation
- B(a);
- Try
- R(B);P_PINQ(d)
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(D)::QAB(E),XQ(d)
- Q(d);OGATEB::B(D),XQ(d)
- Refutation
- B(a);
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);OGATE,P_SPINQ(d),XR(B)::B(D),XQ(d)
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINB(D)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINB(D)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);OGATE,P_SPINQ(d),XR(B)::B(D),XQ(d)
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINB(D)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- Q(E);CHECK
- Refutation
- B(a);P_SPINB(a)
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);OGATE,P_SPINQ(d),XR(B)::B(D),XQ(d)
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINB(D)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);OGATE,P_SPINQ(d),XR(B)::B(D),XQ(d)
- Q(d);XQ(E)::B(D)+R(B),DCHECK
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Refutation
- B(a);
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);OGATE,P_SPINQ(d),XR(B)::B(D),XQ(d)
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINB(D)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);OGATE,P_SPINQ(d),XR(B)::B(D),XQ(d)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINB(D)::B(D)+R(B),DCHECK
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Refutation
- B(a);
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);OGATE,P_SPINQ(d),XR(B)::B(D),XQ(d)
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINB(D)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- Q(E);CHECK
- Refutation
- B(a);P_SPINB(a)
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINB(D)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINB(D)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);OGATE,P_SPINQ(d),XR(B)::B(D),XQ(d)
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);OGATE,P_SPINQ(d),XR(B)::B(D),XQ(d)
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);OGATE,P_SPINQ(d),XR(B)::B(D),XQ(d)
- Q(d);P_PINB(D),XQ(E)::B(D)+R(B),DCHECK
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Refutation
- B(a);
- Try
- Q(E);CHECK
- Refutation
- B(a);P_SPINB(a)
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINB(D)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINB(D)::B(D)+R(B),DCHECK
- Refutation
- B(a);
- Try
- Actual
- Q(E);
- Vars
- Q(d);XS(A)::B(D)+R(B),DCHECK
- Q(d);OGATE,P_SPINQ(d),XR(B)::B(D),XQ(d)
- Q(d);::B(D)+R(B),DCHECK,XQ(d)
- Q(d);S_CUTB(a)::B(D)+R(B)
- Q(d);OGATEB::B(D)+R(B),XQ(d)
- Q(d);::B(D)+R(B),DCHECK
- Q(d);P_PINB(D)::B(D)+R(B),DCHECK
- B(a);SBLOCK::QAR(E)+S(A),DCHECK
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).