MESON Chess Problem Database
Problem Display
PID: 69437 (KR4rk/3p2bq/3P4/5p2/5P2/8/8/BQ5R w - - 0 1)
van Dijk, Johannes
Tijdschrift vd NSB, 1898
#2
7 + 6
SOLUTION
- SOUND
- Sets
- 1...Qxh1+
- 2.Qxh1#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rxb8+
- 2.Qxb8#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bxa1
- 2.Qxa1#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Qxh1+
- Tries
- 1.Kb7?
- 1...Qxh1+
- 2.Qxh1#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Rxb8+!
- 1...Qxh1+
- 1.Bb2?
- 1...Qxh1+
- 2.Qxh1#
- 1...Bxb2
- 2.Qxb2#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Rxb8+!
- 1...Qxh1+
- 1.Bc3?
- 1...Qxh1+
- 2.Qxh1#
- 1...Rxb8+
- 2.Qxb8#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bxc3!
- 1...Qxh1+
- 1.Bd4?
- 1...Qxh1+
- 2.Qxh1#
- 1...Rxb8+
- 2.Qxb8#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bxd4!
- 1...Qxh1+
- 1.Be5?
- 1...Qxh1+
- 2.Qxh1#
- 1...Rxb8+
- 2.Qxb8#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bf6
- 2.Bxf6#
- 1...Bxe5!
- 1...Qxh1+
- 1.Bf6?
- 1...Qxh1+
- 2.Qxh1#
- 1...Rxb8+
- 2.Qxb8#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bxf6!
- 1...Qxh1+
- 1.Rh2?
- 1...Rxb8+
- 2.Qxb8#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Qxh2!
- 1...Rxb8+
- 1.Rh3?
- 1...Rxb8+
- 2.Qxb8#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Qxh3!
- 1...Rxb8+
- 1.Rh4?
- 1...Rxb8+
- 2.Qxb8#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Qxh4!
- 1...Rxb8+
- 1.Rh5?
- 1...Rxb8+
- 2.Qxb8#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Qxh5!
- 1...Rxb8+
- 1.Rh6?
- 1...Rxb8+
- 2.Qxb8#
- 1...Bxa1
- 2.Qxa1#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Qxh6!
- 1...Rxb8+
- 1.Rc8?
- 1...Qxh1+
- 2.Qxh1#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Rxc8+!
- 1...Qxh1+
- 1.Rd8?
- 1...Qxh1+
- 2.Qxh1#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Rxd8+!
- 1...Qxh1+
- 1.Re8?
- 1...Qxh1+
- 2.Qxh1#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Rxe8+!
- 1...Qxh1+
- 1.Rf8?
- 1...Qxh1+
- 2.Qxh1#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Rxf8+!
- 1...Qxh1+
- 1.Qc1?
- 1...Qxh1+
- 2.Qxh1#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 2.Qxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 2.Qxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Rxb8+!
- 1...Qxh1+
- 1.Qd1?
- 1...Qxh1+
- 2.Qxh1#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 2.Qxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 2.Qxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Rxb8+!
- 1...Qxh1+
- 1.Qe1?
- 1...Qxh1+
- 2.Qxh1#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 2.Qxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 2.Qxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 2.Qxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 2.Qxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Rxb8+!
- 1...Qxh1+
- 1.Qf1?
- 1...Qxh1+
- 2.Qxh1#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 2.Qxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Rxb8+!
- 1...Qxh1+
- 1.Qg1?
- threat
- 2.Bxg7#
- 2.Qxg7#
- 1...Qxh1+
- 2.Qxh1#
- 1...Bxa1
- 2.Rxg8#
- 2.Qxa1#
- 2.Qxg8#
- 1...Qh2
- 2.Rxh2#
- 2.Qxh2#
- 2.Qxg7#
- 1...Qh3
- 2.Rxh3#
- 2.Qxg7#
- 1...Qh4
- 2.Rxh4#
- 2.Qxg7#
- 1...Qh5
- 2.Rxh5#
- 2.Qxg7#
- 1...Qh6
- 2.Rxh6#
- 2.Qxg7#
- 1...Rc8
- 2.Rxc8#
- 2.Qxg7#
- 1...Rd8
- 2.Rxd8#
- 2.Qxg7#
- 1...Re8
- 2.Rxe8#
- 2.Qxg7#
- 1...Rf8
- 2.Rxf8#
- 2.Qxg7#
- 1...Bb2
- 2.Bxb2#
- 2.Rxg8#
- 2.Qxg8#
- 1...Bc3
- 2.Bxc3#
- 2.Rxg8#
- 2.Qxg8#
- 1...Bd4
- 2.Bxd4#
- 2.Rxg8#
- 2.Qxd4#
- 2.Qxg8#
- 1...Be5
- 2.Bxe5#
- 2.Rxg8#
- 2.Qxg8#
- 1...Bf6
- 2.Bxf6#
- 2.Rxg8#
- 2.Qxg8#
- 1...Rxb8+!
- threat
- 1.Qb2?
- threat
- 2.Qxg7#
- 1...Rxb8+
- 2.Qxb8#
- 1...Bxb2
- 2.Bxb2#
- 1...Bc3
- 2.Qxc3#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Qxe5#
- 1...Bf6
- 2.Qxf6#
- 1...Qxh1+!
- threat
- 1.Qb3?
- threat
- 2.Rxg8#
- 2.Qxg8#
- 1...Rxb8+
- 2.Qxb8#
- 1...Qh2
- 2.Rxh2#
- 2.Qxg8#
- 1...Qh3
- 2.Rxh3#
- 2.Qxg8#
- 2.Qxh3#
- 1...Qh4
- 2.Rxh4#
- 2.Qxg8#
- 1...Qh5
- 2.Rxh5#
- 2.Qxg8#
- 1...Qh6
- 2.Rxh6#
- 2.Qxg8#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Qxh1+!
- threat
- 1.Qb7?
- 1...Rxb8+
- 2.Qxb8#
- 1...Qxh1
- 2.Qxh1#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 2.Qxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bxa1!
- 1...Rxb8+
- 1.Kb7?
- Keys
- 1.Ka7!
- 1...Bd4+
- 2.Bxd4#
- 1...Qxh1
- 2.Qxh1#
- 1...Rxb8
- 2.Qxb8#
- 1...Bxa1
- 2.Qxa1#
- 1...Qh2
- 2.Rxh2#
- 1...Qh3
- 2.Rxh3#
- 1...Qh4
- 2.Rxh4#
- 1...Qh5
- 2.Rxh5#
- 1...Qh6
- 2.Rxh6#
- 1...Rc8
- 2.Rxc8#
- 1...Rd8
- 2.Rxd8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Bb2
- 2.Bxb2#
- 2.Qxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Be5
- 2.Bxe5#
- 1...Bf6
- 2.Bxf6#
- 1...Bd4+
- 1.Ka7!
FEATURES
- Static
- TYPE = WAITER
- CHANGED MATES = 0
- ADDED MATES = 0
- REMOVED MATES = 0
- Sets
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);CHECK,N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- R(e);::R(G),XR(e)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- B(c);OGATEB::B(A),XB(c)
- Tries
- Try
- K(F);N_SPINR(G),S_FLIGHT
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);OGATEB::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- R(e);CHECK,N_SPINR(e),XR(G)
- Try
- B(A);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- R(e);CHECK,N_SPINR(e),XR(G)
- Try
- B(A);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- R(e);CHECK,N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- B(c);N_SPINB(c),XB(A)
- Try
- B(A);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- R(e);CHECK,N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- B(c);N_SPINB(c),XB(A)
- Try
- B(A);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- R(e);CHECK,N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- B(c);N_SPINB(c),XB(A)
- Try
- B(A);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- R(e);CHECK,N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- Refutation
- B(c);N_SPINB(c),XB(A)
- Try
- R(C);
- Vars
- R(e);CHECK,N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- Q(d);N_SPINQ(d),XR(C)
- Try
- R(C);
- Vars
- R(e);CHECK,N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- Q(d);N_SPINQ(d),XR(C)
- Try
- R(C);
- Vars
- R(e);CHECK,N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- Q(d);N_SPINQ(d),XR(C)
- Try
- R(C);
- Vars
- R(e);CHECK,N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- Q(d);N_SPINQ(d),XR(C)
- Try
- R(C);
- Vars
- R(e);CHECK,N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- Q(d);N_SPINQ(d),XR(C)
- Try
- R(G);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- R(e);CHECK,N_SPINR(e),XR(G)
- Try
- R(G);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- R(e);CHECK,N_SPINR(e),XR(G)
- Try
- R(G);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- R(e);CHECK,N_SPINR(e),XR(G)
- Try
- R(G);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- R(e);CHECK,N_SPINR(e),XR(G)
- Try
- Q(B);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- R(e);CHECK,N_SPINR(e),XR(G)
- Try
- Q(B);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- R(e);CHECK,N_SPINR(e),XR(G)
- Try
- Q(B);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- R(e);CHECK,N_SPINR(e),XR(G)
- Try
- Q(B);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- R(e);CHECK,N_SPINR(e),XR(G)
- Try
- Q(B);
- Threat
- DUALS(2)
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- Refutation
- R(e);CHECK,N_SPINR(e),XR(G)
- Try
- Q(B);
- Threat
- QAB1(B),XB(c)
- Vars
- R(e);CHECK,N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- B(c);OGATE,XQ(B)::B(A),XB(c)
- B(c);OGATEB::QAB(B),XB(c)
- Refutation
- Q(d);CHECK,N_SPINQ(d),XR(C)
- Try
- Q(B);
- Threat
- DUALS(2)
- Vars
- R(e);CHECK,N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- R(e);::R(G),XR(e)
- Refutation
- Q(d);CHECK,N_SPINQ(d),XR(C)
- Try
- Q(B);
- Vars
- R(e);CHECK,N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- Q(d);N_SPINQ(d),OGATE,P_PINQ(B),XR(C)::QAB(B),XQ(d)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
- Refutation
- B(c);N_SPINB(c),XB(A)
- Try
- Actual
- K(F);N_SPINR(G),P-FLIGHT
- Vars
- B(c);CHECK,OGATEB::B(A),XB(c)
- Q(d);N_SPINQ(d),OGATE,XR(C)::QAB(B),XQ(d)
- R(e);N_SPINR(e),OGATE,XR(G)::QAR(B),XR(e)
- B(c);N_SPINB(c),OGATE,XB(A)::QAB(B),XB(c)
- Q(d);OGATEB::R(C),XQ(d)
- R(e);OGATEB::R(G),XR(e)
- B(c);OGATEB::B(A),XB(c)
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).