MESON Chess Problem Database
Problem Display
PID: 219032 (6R1/7Q/R5b1/3P4/8/4Pk1P/3K3p/1B5N w - - 0 1)
Klark, Dmitry Vasilevich
Vsemirnaya Illustrantiya, 1881
#2
9 + 3
| 6490 | yacpdb | 2020 |
SOLUTION
- SOUND
- Sets
- 1...Bxb1
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Bxh7
- 2.Rg3#
- 1...Be8
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Bxb1
- Tries
- 1.Bc2?
- 1...Bxc2
- 2.Rg3#
- 1...Bxh7
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bd1#
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Bd1#
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Bd1#
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Bd1#
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxc2
- 1.Bd3?
- 1...Bxd3
- 2.Rg3#
- 1...Bxh7
- 2.Rg3#
- 1...Be4
- 2.Be2#
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be2#
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be2#
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Be2#
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxd3
- 1.Be4+?
- 1...Bxe4
- 2.Rg3#
- 2.Qh5#
- 1...Kxe4!
- 1...Bxe4
- 1.Bf5?
- 1...Bxf5
- 2.Qxf5#
- 1...Bxh7
- 2.Rg3#
- 1...Bh5
- 2.Be4#
- 2.Rg3#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rg3#
- 1...Be8
- 2.Be4#
- 2.Rg3#
- 1...Kg2!
- 1...Bxf5
- 1.Ra2?
- 1...Bxb1
- 2.Rg3#
- 1...Bxh7
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxb1
- 1.Ra3?
- 1...Bxb1
- 2.Rg3#
- 1...Bxh7
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxb1
- 1.Ra4?
- 1...Bxb1
- 2.Rf4#
- 2.Rg3#
- 2.Qh5#
- 1...Bxh7
- 2.Rf4#
- 2.Rg3#
- 1...Bc2
- 2.Rf4#
- 2.Rg3#
- 2.Qh5#
- 1...Bd3
- 2.Rf4#
- 2.Rg3#
- 2.Qh5#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rf4#
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rf4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rf4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Be4#
- 2.Rf4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxb1
- 1.Ra5?
- 1...Bxb1
- 2.Rg3#
- 1...Bxh7
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxb1
- 1.Rb6?
- 1...Bxb1
- 2.Rg3#
- 1...Bxh7
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxb1
- 1.Rc6?
- 1...Bxb1
- 2.Rg3#
- 1...Bxh7
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxb1
- 1.Rd6?
- 1...Bxb1
- 2.Rg3#
- 1...Bxh7
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxb1
- 1.Re6?
- 1...Bxb1
- 2.Rg3#
- 2.Qh5#
- 1...Bxh7
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 2.Qh5#
- 1...Bd3
- 2.Rg3#
- 2.Qh5#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxb1
- 1.Rf6+?
- 1...Bf5
- 2.Rxf5#
- 2.Rg3#
- 2.Qxf5#
- 2.Qh5#
- 1...Kg2!
- 1...Bf5
- 1.Ra7?
- 1...Bxb1
- 2.Rg3#
- 1...Bxh7
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rxf7#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxb1
- 1.Raa8?
- 1...Bxb1
- 2.Rg3#
- 1...Bxh7
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxb1
- 1.Rg7?
- 1...Bxb1
- 2.Rg3#
- 1...Bxh7
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Be8
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxb1
- 1.Qh4?
- threat
- 2.Qf2#
- 2.Qg3#
- 2.Qg4#
- 1...Bxb1
- 2.Rg3#
- 2.Qf4#
- 2.Qg4#
- 1...Bc2
- 2.Rg3#
- 2.Qf4#
- 2.Qg4#
- 1...Bd3
- 2.Rg3#
- 2.Qf4#
- 2.Qg4#
- 1...Bf5
- 2.Rg3#
- 2.Qf2#
- 2.Qg3#
- 2.Qf4#
- 1...Bh5
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qf2#
- 2.Qg3#
- 2.Qf6#
- 2.Qe4#
- 2.Qf4#
- 2.Qxh5#
- 1...Kg2!
- threat
- 1.Qh5+?
- 1...Bxh5
- 2.Rf6#
- 2.Rg3#
- 1...Kg2!
- 1...Bxh5
- 1.Qh6?
- 1...Bxb1
- 2.Qf4#
- 1...Bc2
- 2.Qf4#
- 1...Bd3
- 2.Qf4#
- 1...Be4
- 2.Rg3#
- 2.Qf4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qf4#
- 1...Bh5
- 2.Rf6#
- 2.Rg3#
- 2.Qf4#
- 2.Qxh5#
- 2.Qf6#
- 1...Bf7
- 2.Rf6#
- 2.Rg3#
- 2.Qf4#
- 2.Qf6#
- 1...Bh7
- 2.Rg3#
- 2.Qf4#
- 2.Qh5#
- 1...Be8
- 2.Rf6#
- 2.Rg3#
- 2.Qf4#
- 2.Qf6#
- 1...Kg2!
- 1...Bxb1
- 1.Qc7?
- threat
- 2.Qg3#
- 1...Bxb1
- 2.Qf4#
- 1...Bc2
- 2.Qf4#
- 1...Bd3
- 2.Qf4#
- 1...Kg2!
- threat
- 1.Qd7?
- threat
- 2.Qg4#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Rf6#
- 2.Rg3#
- 2.Qf5#
- 1...Kg2!
- threat
- 1.Qe7?
- 1...Bxb1
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 1...Bf5
- 2.Rg3#
- 1...Bh5
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qf6#
- 2.Qe4#
- 1...Bf7
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qf6#
- 2.Qe4#
- 2.Qxf7#
- 1...Bh7
- 2.Rg3#
- 1...Be8
- 2.Be4#
- 2.Rf6#
- 2.Rg3#
- 2.Qf6#
- 2.Qe4#
- 1...Kg2!
- 1...Bxb1
- 1.Qf7+?
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bxf7
- 2.Rf6#
- 2.Rg3#
- 1...Kg2!
- 1...Bf5
- 1.Qg7?
- 1...Bxb1
- 2.Qg2#
- 2.Qg4#
- 1...Bc2
- 2.Qg2#
- 2.Qg4#
- 1...Bd3
- 2.Qg2#
- 2.Qg4#
- 1...Be4
- 2.Qg2#
- 2.Qg3#
- 2.Qg4#
- 1...Bf5
- 2.Qg2#
- 2.Qg3#
- 1...Bh5
- 2.Rf6#
- 2.Qf6#
- 2.Qg2#
- 2.Qg3#
- 1...Bf7
- 2.Rf6#
- 2.Qf6#
- 2.Qg2#
- 2.Qg3#
- 2.Qg4#
- 2.Qxf7#
- 1...Bh7
- 2.Qg2#
- 2.Qg3#
- 2.Qg4#
- 1...Be8
- 2.Rf6#
- 2.Qf6#
- 2.Qg2#
- 2.Qg3#
- 2.Qg4#
- 1...Kg2!
- 1...Bxb1
- 1.d6?
- 1...Bxb1
- 2.Rg3#
- 1...Bxh7
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 2.Qb7#
- 1...Bf7
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2!
- 1...Bxb1
- 1.Bc2?
- Keys
- 1.Ra1!
- 1...Kg2
- 2.Be4#
- 1...Bxb1
- 2.Rg3#
- 1...Bxh7
- 2.Rg3#
- 1...Bc2
- 2.Rg3#
- 1...Bd3
- 2.Rg3#
- 1...Be4
- 2.Bxe4#
- 2.Rg3#
- 2.Qxe4#
- 2.Qh5#
- 1...Bf5
- 2.Rg3#
- 2.Qxf5#
- 1...Bh5
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxh5#
- 1...Bf7
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 2.Qxf7#
- 1...Be8
- 2.Be4#
- 2.Rg3#
- 2.Qe4#
- 2.Qf5#
- 1...Kg2
- 1.Ra1!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- Tries
- Try
- B(A);
- Vars
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- B(c);OGATE::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- B(A);
- Vars
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- B(A);CHECK
- Refutation
- K(b);P_SPINB(c),S_FLIGHT,XB(A)
- Try
- B(A);
- Vars
- B(c);OGATE,XB(A)::QAR2(H),XB(c)
- B(c);OGATE,XQ(H)::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- R(G);
- Vars
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- B(c);OGATE::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- R(G);
- Vars
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- B(c);OGATE::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- R(G);
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- R(G);
- Vars
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- B(c);OGATE::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- R(G);
- Vars
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- B(c);OGATE::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- R(G);
- Vars
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- B(c);OGATE::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- R(G);
- Vars
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- B(c);OGATE::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- R(G);
- Vars
- B(c);OGATE,XQ(H)::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- R(G);CHECK
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- R(G);
- Vars
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- B(c);OGATE::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- R(G);
- Vars
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- B(c);OGATE::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- R(I);
- Vars
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- B(c);OGATE::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- Q(H);
- Threat
- DUALS(3)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- Q(H);CHECK
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- Q(H);
- Vars
- B(c);XB(A)::QAR1(H)
- B(c);::QAR1(H)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- Q(H);
- Threat
- QAR1(H)
- Vars
- B(c);XB(A)::QAR1(H)
- B(c);::QAR1(H)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- Q(H);
- Threat
- QAB1(H)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- Q(H);
- Vars
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- Q(H);CHECK
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- Q(H);
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- P(F);
- Vars
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- B(c);OGATE::R1(I)
- Refutation
- K(b);P_SPINB(c),S_FLIGHT
- Try
- Actual
- R(G);
- Vars
- K(b);P_SPINB(c),S_FLIGHT::B(A)
- B(c);OGATE,XB(A)::R1(I)
- B(c);OGATE,XQ(H)::R1(I)
- B(c);OGATE::R1(I)
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).