MESON Chess Problem Database
Problem Display
PID: 203538 (6qn/3P3N/1B6/1R6/2p1kPBn/5R2/r4p2/bN1Q1K2 w - - 0 1)
Trilling, Anton AC
2nd HM., Essener Arbeiter Schachzeitung, 1924
#2
10 + 8
| 6490 | yacpdb | 2020 |
SOLUTION
- SOUND
- Sets
- 1...Qd5
- 2.Qxd5#
- 1...Qe6
- 2.Sg5#
- 1...Qf7
- 2.Sg5#
- 1...Qxh7
- 2.Qd5#
- 1...Qxg4
- 2.Qd5#
- 1...Qg5
- 2.Sxg5#
- 1...Qg6
- 2.Qd5#
- 1...Qg7
- 2.Qd5#
- 1...Qa8
- 2.Sg5#
- 1...Qb8
- 2.Sg5#
- 2.Qd5#
- 1...Qc8
- 2.Sg5#
- 2.Qd5#
- 1...Qd8
- 2.Qd5#
- 1...Qe8
- 2.Sg5#
- 2.Qd5#
- 1...Qf8
- 2.Sg5#
- 2.Qd5#
- 1...Rb2
- 2.Sc3#
- 2.Sf6#
- 2.Re5#
- 2.Qd4#
- 1...Rc2
- 2.Qxc2#
- 1...Rd2
- 2.Sxd2#
- 1...Re2
- 2.Qxe2#
- 1...Ra3
- 2.Sd2#
- 1...Ra4
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra5
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra6
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra7
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra8
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bb2
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bc3
- 2.Sxc3#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Rxe5#
- 1...Bf6
- 2.Sxf6#
- 1...Bg7
- 2.Sg5#
- 1...Sg2
- 2.Bf5#
- 1...Sxf3
- 2.Qxf3#
- 1...Sf5
- 2.Bxf5#
- 1...S4g6
- 2.Sg5#
- 2.Bf5#
- 1...S8g6
- 2.Sg5#
- 1...Sf7
- 2.Qd5#
- 1...c3
- 2.Sf6#
- 2.Re5#
- 2.Qd3#
- 2.Qd4#
- 1...Qd5
- Tries
- 1.Bxf2?
- 1...Qxh7
- 2.Qd5#
- 1...Qxg4
- 2.Qd5#
- 1...Sxf3
- 2.Qxf3#
- 1...Qd5
- 2.Qxd5#
- 1...Qe6
- 2.Sg5#
- 1...Qf7
- 2.Sg5#
- 1...Qg5
- 2.Sxg5#
- 1...Qg6
- 2.Qd5#
- 1...Qg7
- 2.Qd5#
- 1...Qa8
- 2.Sg5#
- 1...Qb8
- 2.Sg5#
- 2.Qd5#
- 1...Qc8
- 2.Sg5#
- 2.Qd5#
- 1...Qd8
- 2.Qd5#
- 1...Qe8
- 2.Sg5#
- 2.Qd5#
- 1...Qf8
- 2.Sg5#
- 2.Qd5#
- 1...Rb2
- 2.Sc3#
- 2.Sf6#
- 2.Re5#
- 2.Qd4#
- 1...Rc2
- 2.Qxc2#
- 1...Rd2
- 2.Sxd2#
- 1...Re2
- 2.Qxe2#
- 1...Ra3
- 2.Sd2#
- 1...Ra4
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 2.Qe1#
- 1...Ra5
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 2.Qe1#
- 1...Ra6
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 2.Qe1#
- 1...Ra7
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 2.Qe1#
- 1...Ra8
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 2.Qe1#
- 1...Bb2
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 2.Qe1#
- 1...Bc3
- 2.Sxc3#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Rxe5#
- 1...Bf6
- 2.Sxf6#
- 1...Bg7
- 2.Sg5#
- 1...Sg2
- 2.Bf5#
- 1...Sf5
- 2.Bxf5#
- 1...S4g6
- 2.Sg5#
- 2.Bf5#
- 1...S8g6
- 2.Sg5#
- 1...Sf7
- 2.Qd5#
- 1...c3
- 2.Sf6#
- 2.Re5#
- 2.Qd3#
- 2.Qd4#
- 1...Rxf2+!
- 1...Qxh7
- 1.Ba7?
- 1...Qxh7
- 2.Qd5#
- 1...Qxg4
- 2.Qd5#
- 1...Sxf3
- 2.Qxf3#
- 1...Qd5
- 2.Qxd5#
- 1...Qe6
- 2.Sg5#
- 1...Qf7
- 2.Sg5#
- 1...Qg5
- 2.Sxg5#
- 1...Qg6
- 2.Qd5#
- 1...Qg7
- 2.Qd5#
- 1...Qa8
- 2.Sg5#
- 1...Qb8
- 2.Sg5#
- 2.Qd5#
- 1...Qc8
- 2.Sg5#
- 2.Qd5#
- 1...Qd8
- 2.Qd5#
- 1...Qe8
- 2.Sg5#
- 2.Qd5#
- 1...Qf8
- 2.Sg5#
- 2.Qd5#
- 1...Rb2
- 2.Sc3#
- 2.Sf6#
- 2.Re5#
- 2.Qd4#
- 1...Rc2
- 2.Qxc2#
- 1...Rd2
- 2.Sxd2#
- 1...Re2
- 2.Qxe2#
- 1...Ra3
- 2.Sd2#
- 1...Ra4
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra5
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra6
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bb2
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bc3
- 2.Sxc3#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Rxe5#
- 1...Bf6
- 2.Sxf6#
- 1...Bg7
- 2.Sg5#
- 1...Sg2
- 2.Bf5#
- 1...Sf5
- 2.Bxf5#
- 1...S4g6
- 2.Sg5#
- 2.Bf5#
- 1...S8g6
- 2.Sg5#
- 1...Sf7
- 2.Qd5#
- 1...c3
- 2.Sf6#
- 2.Re5#
- 2.Qd3#
- 2.Qd4#
- 1...Rxa7!
- 1...Qxh7
- 1.Ra5?
- 1...Qxh7
- 2.Qd5#
- 1...Qxg4
- 2.Qd5#
- 1...Sxf3
- 2.Qxf3#
- 1...Qd5
- 2.Qxd5#
- 1...Qe6
- 2.Sg5#
- 1...Qf7
- 2.Sg5#
- 1...Qg5
- 2.Sxg5#
- 1...Qg6
- 2.Qd5#
- 1...Qg7
- 2.Qd5#
- 1...Qa8
- 2.Sg5#
- 1...Qb8
- 2.Sg5#
- 2.Qd5#
- 1...Qc8
- 2.Sg5#
- 2.Qd5#
- 1...Qd8
- 2.Qd5#
- 1...Qe8
- 2.Sg5#
- 2.Qd5#
- 1...Qf8
- 2.Sg5#
- 2.Qd5#
- 1...Rb2
- 2.Sc3#
- 2.Sf6#
- 2.Re5#
- 2.Qd4#
- 1...Rc2
- 2.Qxc2#
- 1...Rd2
- 2.Sxd2#
- 1...Re2
- 2.Qxe2#
- 1...Ra3
- 2.Sd2#
- 1...Ra4
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bb2
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bc3
- 2.Sxc3#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Rxe5#
- 1...Bf6
- 2.Sxf6#
- 1...Bg7
- 2.Sg5#
- 1...Sg2
- 2.Bf5#
- 1...Sf5
- 2.Bxf5#
- 1...S4g6
- 2.Sg5#
- 2.Bf5#
- 1...S8g6
- 2.Sg5#
- 1...Sf7
- 2.Qd5#
- 1...c3
- 2.Sf6#
- 2.Re5#
- 2.Qd3#
- 2.Qd4#
- 1...Rxa5!
- 1...Qxh7
- 1.d8Q?
- 1...Qxh7
- 2.Q1d5#
- 2.Q8d5#
- 1...Qxg4
- 2.Q1d5#
- 2.Q8d5#
- 1...Sxf3
- 2.Qxf3#
- 1...Sg2
- 2.Bf5#
- 1...Qd5
- 2.Q1xd5#
- 2.Q8xd5#
- 1...Qe6
- 2.Sg5#
- 1...Qf7
- 2.Sg5#
- 1...Qg5
- 2.Sxg5#
- 1...Qg6
- 2.Q1d5#
- 2.Q8d5#
- 1...Qg7
- 2.Q1d5#
- 2.Q8d5#
- 1...Qe8
- 2.Sg5#
- 2.Q1d5#
- 2.Q8d5#
- 1...Qf8
- 2.Sg5#
- 2.Q1d5#
- 2.Q8d5#
- 1...Rb2
- 2.Sc3#
- 2.Sf6#
- 2.Re5#
- 2.Q1d4#
- 2.Q8d4#
- 1...Rc2
- 2.Qxc2#
- 1...Rd2
- 2.Sxd2#
- 1...Re2
- 2.Qxe2#
- 1...Ra3
- 2.Sd2#
- 1...Ra4
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra5
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra6
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra7
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra8
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bb2
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bc3
- 2.Sxc3#
- 1...Bd4
- 2.Q1xd4#
- 2.Q8xd4#
- 1...Be5
- 2.Rxe5#
- 1...Bf6
- 2.Sxf6#
- 1...Bg7
- 2.Sg5#
- 1...Sf5
- 2.Bxf5#
- 1...S4g6
- 2.Sg5#
- 2.Bf5#
- 1...S8g6
- 2.Sg5#
- 1...Sf7
- 2.Q1d5#
- 2.Q8d5#
- 1...c3
- 2.Sf6#
- 2.Re5#
- 2.Q1d3#
- 2.Q1d4#
- 2.Q8d3#
- 2.Q8d4#
- 1...Qxd8!
- 1...Qxh7
- 1.d8S?
- 1...Qxh7
- 2.Qd5#
- 1...Qxg4
- 2.Qd5#
- 1...Sxf3
- 2.Qxf3#
- 1...Sg2
- 2.Bf5#
- 1...Qd5
- 2.Qxd5#
- 1...Qe6
- 2.Sg5#
- 1...Qf7
- 2.Sg5#
- 1...Qg5
- 2.Sxg5#
- 1...Qg6
- 2.Qd5#
- 1...Qg7
- 2.Qd5#
- 1...Qe8
- 2.Sg5#
- 2.Qd5#
- 1...Qf8
- 2.Sg5#
- 2.Qd5#
- 1...Rb2
- 2.Sc3#
- 2.Sf6#
- 2.Re5#
- 2.Qd4#
- 1...Rc2
- 2.Qxc2#
- 1...Rd2
- 2.Sxd2#
- 1...Re2
- 2.Qxe2#
- 1...Ra3
- 2.Sd2#
- 1...Ra4
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra5
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra6
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra7
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra8
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bb2
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bc3
- 2.Sxc3#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Rxe5#
- 1...Bf6
- 2.Sxf6#
- 1...Bg7
- 2.Sg5#
- 1...Sf5
- 2.Bxf5#
- 1...S4g6
- 2.Sg5#
- 2.Bf5#
- 1...S8g6
- 2.Sg5#
- 1...Sf7
- 2.Qd5#
- 1...c3
- 2.Sf6#
- 2.Re5#
- 2.Qd3#
- 2.Qd4#
- 1...Qxd8!
- 1...Qxh7
- 1.d8B?
- 1...Qxh7
- 2.Qd5#
- 1...Qxg4
- 2.Qd5#
- 1...Sxf3
- 2.Qxf3#
- 1...Sg2
- 2.Bf5#
- 1...Qd5
- 2.Qxd5#
- 1...Qe6
- 2.Sg5#
- 1...Qf7
- 2.Sg5#
- 1...Qg5
- 2.Sxg5#
- 1...Qg6
- 2.Qd5#
- 1...Qg7
- 2.Qd5#
- 1...Qe8
- 2.Sg5#
- 2.Qd5#
- 1...Qf8
- 2.Sg5#
- 2.Qd5#
- 1...Rb2
- 2.Sc3#
- 2.Sf6#
- 2.Re5#
- 2.Qd4#
- 1...Rc2
- 2.Qxc2#
- 1...Rd2
- 2.Sxd2#
- 1...Re2
- 2.Qxe2#
- 1...Ra3
- 2.Sd2#
- 1...Ra4
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra5
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra6
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra7
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra8
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bb2
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bc3
- 2.Sxc3#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Rxe5#
- 1...Bf6
- 2.Sxf6#
- 1...Bg7
- 2.Sg5#
- 1...Sf5
- 2.Bxf5#
- 1...S4g6
- 2.Sg5#
- 2.Bf5#
- 1...S8g6
- 2.Sg5#
- 1...Sf7
- 2.Qd5#
- 1...c3
- 2.Sf6#
- 2.Re5#
- 2.Qd3#
- 2.Qd4#
- 1...Qxd8!
- 1...Qxh7
- 1.d8R?
- 1...Qxh7
- 2.Qd5#
- 1...Qxg4
- 2.Qd5#
- 1...Sxf3
- 2.Qxf3#
- 1...Sg2
- 2.Bf5#
- 1...Qd5
- 2.Qxd5#
- 1...Qe6
- 2.Sg5#
- 1...Qf7
- 2.Sg5#
- 1...Qg5
- 2.Sxg5#
- 1...Qg6
- 2.Qd5#
- 1...Qg7
- 2.Qd5#
- 1...Qe8
- 2.Sg5#
- 2.Qd5#
- 1...Qf8
- 2.Sg5#
- 2.Qd5#
- 1...Rb2
- 2.Sc3#
- 2.Sf6#
- 2.Re5#
- 2.Rd4#
- 2.Qd4#
- 1...Rc2
- 2.Qxc2#
- 1...Rd2
- 2.Sxd2#
- 1...Re2
- 2.Qxe2#
- 1...Ra3
- 2.Sd2#
- 1...Ra4
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra5
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra6
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra7
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra8
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bb2
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bc3
- 2.Sxc3#
- 1...Bd4
- 2.Rxd4#
- 2.Qxd4#
- 1...Be5
- 2.Rxe5#
- 1...Bf6
- 2.Sxf6#
- 1...Bg7
- 2.Sg5#
- 1...Sf5
- 2.Bxf5#
- 1...S4g6
- 2.Sg5#
- 2.Bf5#
- 1...S8g6
- 2.Sg5#
- 1...Sf7
- 2.Qd5#
- 1...c3
- 2.Sf6#
- 2.Re5#
- 2.Rd4#
- 2.Qd3#
- 2.Qd4#
- 1...Qxd8!
- 1...Qxh7
- 1.Bxf2?
- Keys
- 1.Rh5!
- 1...Qxh7
- 2.Qd5#
- 1...Qxg4
- 2.Qd5#
- 1...Sxf3
- 2.Qxf3#
- 1...Qe6
- 2.Sg5#
- 1...Qd5
- 2.Qxd5#
- 1...Qf7
- 2.Sg5#
- 1...Qg5
- 2.Sxg5#
- 1...Qg6
- 2.Qd5#
- 1...Qg7
- 2.Qd5#
- 1...Qa8
- 2.Sg5#
- 1...Qb8
- 2.Sg5#
- 2.Qd5#
- 1...Qc8
- 2.Sg5#
- 2.Qd5#
- 1...Qd8
- 2.Qd5#
- 1...Qe8
- 2.Sg5#
- 2.Qd5#
- 1...Qf8
- 2.Sg5#
- 2.Qd5#
- 1...Rb2
- 2.Sc3#
- 2.Sf6#
- 2.Re5#
- 2.Qd4#
- 1...Rc2
- 2.Qxc2#
- 1...Rd2
- 2.Sxd2#
- 1...Re2
- 2.Qxe2#
- 1...Ra3
- 2.Sd2#
- 1...Ra4
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra5
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra6
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra7
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Ra8
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bb2
- 2.Sd2#
- 2.Qc2#
- 2.Qe2#
- 1...Bc3
- 2.Sxc3#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Rxe5#
- 1...Bf6
- 2.Sxf6#
- 1...Bg7
- 2.Sg5#
- 1...Sg2
- 2.Bf5#
- 1...Sf5
- 2.Bxf5#
- 1...S4g6
- 2.Sg5#
- 2.Bf5#
- 1...S8g6
- 2.Sg5#
- 1...Sf7
- 2.Qd5#
- 1...c3
- 2.Sf6#
- 2.Re5#
- 2.Qd3#
- 2.Qd4#
- 1...Qxh7
- 1.Rh5!
FEATURES
- Static
- TYPE = WAITER
- CHANGED MATES = 0
- ADDED MATES = 0
- REMOVED MATES = 0
- Sets
- Q(g);N_GUARD::QAB1(B),XQ(g)
- Q(g);N_GUARD::S(J)
- Q(g);N_GUARD,XS(J)::QAB1(B)
- Q(g);N_GUARD,XB(F)::QAB1(B)
- Q(g);N_GUARD::S(J),XQ(g)
- Q(g);N_GUARD::QAB1(B)
- R(b);N_GUARD::QAB(B),XR(b)
- R(b);N_GUARD::S(A),XR(b)
- R(b);N_GUARD::QAR2(B),XR(b)
- R(b);N_GUARD::S(A)
- B(a);N_GUARD::S(A),XB(a)
- B(a);N_GUARD::QAR1(B),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- B(a);N_GUARD::S(J),XB(a)
- B(a);S_CUTQ(g)::S(J)
- S(f);N_GUARD::B(F)
- S(f);OGATE,XR(D)::QAB1(B),XS(f)
- S(f);N_GUARD::B(F),XS(f)
- S(h);S_CUTQ(g)::S(J)
- S(h);S_CUTQ(g)::QAB1(B)
- Tries
- Try
- B(H);XP(c)
- Vars
- Q(g);N_GUARD,XS(J)::QAB1(B)
- Q(g);N_GUARD,XB(F)::QAB1(B)
- S(f);OGATE,XR(D)::QAB1(B),XS(f)
- Q(g);N_GUARD::QAB1(B),XQ(g)
- Q(g);N_GUARD::S(J)
- Q(g);N_GUARD::S(J),XQ(g)
- Q(g);N_GUARD::QAB1(B)
- R(b);N_GUARD::QAB(B),XR(b)
- R(b);N_GUARD::S(A),XR(b)
- R(b);N_GUARD::QAR2(B),XR(b)
- R(b);N_GUARD::S(A)
- B(a);N_GUARD::S(A),XB(a)
- B(a);N_GUARD::QAR1(B),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- B(a);N_GUARD::S(J),XB(a)
- B(a);S_CUTQ(g)::S(J)
- S(f);N_GUARD::B(F)
- S(f);N_GUARD::B(F),XS(f)
- S(h);S_CUTQ(g)::S(J)
- S(h);S_CUTQ(g)::QAB1(B)
- Refutation
- R(b);CHECK,XB(H)
- Try
- B(H);
- Vars
- Q(g);N_GUARD,XS(J)::QAB1(B)
- Q(g);N_GUARD,XB(F)::QAB1(B)
- S(f);OGATE,XR(D)::QAB1(B),XS(f)
- Q(g);N_GUARD::QAB1(B),XQ(g)
- Q(g);N_GUARD::S(J)
- Q(g);N_GUARD::S(J),XQ(g)
- Q(g);N_GUARD::QAB1(B)
- R(b);N_GUARD::QAB(B),XR(b)
- R(b);N_GUARD::S(A),XR(b)
- R(b);N_GUARD::QAR2(B),XR(b)
- R(b);N_GUARD::S(A)
- B(a);N_GUARD::S(A),XB(a)
- B(a);N_GUARD::QAR1(B),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- B(a);N_GUARD::S(J),XB(a)
- B(a);S_CUTQ(g)::S(J)
- S(f);N_GUARD::B(F)
- S(f);N_GUARD::B(F),XS(f)
- S(h);S_CUTQ(g)::S(J)
- S(h);S_CUTQ(g)::QAB1(B)
- Refutation
- R(b);XB(H)
- Try
- R(G);
- Vars
- Q(g);N_GUARD,XS(J)::QAB1(B)
- Q(g);N_GUARD,XB(F)::QAB1(B)
- S(f);OGATE,XR(D)::QAB1(B),XS(f)
- Q(g);N_GUARD::QAB1(B),XQ(g)
- Q(g);N_GUARD::S(J)
- Q(g);N_GUARD::S(J),XQ(g)
- Q(g);N_GUARD::QAB1(B)
- R(b);N_GUARD::QAB(B),XR(b)
- R(b);N_GUARD::S(A),XR(b)
- R(b);N_GUARD::QAR2(B),XR(b)
- R(b);N_GUARD::S(A)
- B(a);N_GUARD::S(A),XB(a)
- B(a);N_GUARD::QAR1(B),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- B(a);N_GUARD::S(J),XB(a)
- B(a);S_CUTQ(g)::S(J)
- S(f);N_GUARD::B(F)
- S(f);N_GUARD::B(F),XS(f)
- S(h);S_CUTQ(g)::S(J)
- S(h);S_CUTQ(g)::QAB1(B)
- Refutation
- R(b);XR(G)
- Try
- P(I);
- Vars
- S(f);OGATE,XR(D)::QAB1(B),XS(f)
- S(f);N_GUARD::B(F)
- Q(g);N_GUARD::S(J)
- Q(g);N_GUARD::S(J),XQ(g)
- R(b);N_GUARD::QAB(B),XR(b)
- R(b);N_GUARD::S(A),XR(b)
- R(b);N_GUARD::QAR2(B),XR(b)
- R(b);N_GUARD::S(A)
- B(a);N_GUARD::S(A),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- B(a);N_GUARD::S(J),XB(a)
- B(a);S_CUTQ(g)::S(J)
- S(f);N_GUARD::B(F),XS(f)
- S(h);S_CUTQ(g)::S(J)
- Refutation
- Q(g);XQ(I)
- Try
- P(I);
- Vars
- Q(g);N_GUARD,XS(J)::QAB1(B)
- Q(g);N_GUARD,XB(F)::QAB1(B)
- S(f);OGATE,XR(D)::QAB1(B),XS(f)
- S(f);N_GUARD::B(F)
- Q(g);N_GUARD::QAB1(B),XQ(g)
- Q(g);N_GUARD::S(J)
- Q(g);N_GUARD::S(J),XQ(g)
- Q(g);N_GUARD::QAB1(B)
- R(b);N_GUARD::QAB(B),XR(b)
- R(b);N_GUARD::S(A),XR(b)
- R(b);N_GUARD::QAR2(B),XR(b)
- R(b);N_GUARD::S(A)
- B(a);N_GUARD::S(A),XB(a)
- B(a);N_GUARD::QAR1(B),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- B(a);N_GUARD::S(J),XB(a)
- B(a);S_CUTQ(g)::S(J)
- S(f);N_GUARD::B(F),XS(f)
- S(h);S_CUTQ(g)::S(J)
- S(h);S_CUTQ(g)::QAB1(B)
- Refutation
- Q(g);XS(I)
- Try
- P(I);
- Vars
- Q(g);N_GUARD,XS(J)::QAB1(B)
- Q(g);N_GUARD,XB(F)::QAB1(B)
- S(f);OGATE,XR(D)::QAB1(B),XS(f)
- S(f);N_GUARD::B(F)
- Q(g);N_GUARD::QAB1(B),XQ(g)
- Q(g);N_GUARD::S(J)
- Q(g);N_GUARD::S(J),XQ(g)
- Q(g);N_GUARD::QAB1(B)
- R(b);N_GUARD::QAB(B),XR(b)
- R(b);N_GUARD::S(A),XR(b)
- R(b);N_GUARD::QAR2(B),XR(b)
- R(b);N_GUARD::S(A)
- B(a);N_GUARD::S(A),XB(a)
- B(a);N_GUARD::QAR1(B),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- B(a);N_GUARD::S(J),XB(a)
- B(a);S_CUTQ(g)::S(J)
- S(f);N_GUARD::B(F),XS(f)
- S(h);S_CUTQ(g)::S(J)
- S(h);S_CUTQ(g)::QAB1(B)
- Refutation
- Q(g);XB(I)
- Try
- P(I);
- Vars
- Q(g);N_GUARD,XS(J)::QAB1(B)
- Q(g);N_GUARD,XB(F)::QAB1(B)
- S(f);OGATE,XR(D)::QAB1(B),XS(f)
- S(f);N_GUARD::B(F)
- Q(g);N_GUARD::QAB1(B),XQ(g)
- Q(g);N_GUARD::S(J)
- Q(g);N_GUARD::S(J),XQ(g)
- Q(g);N_GUARD::QAB1(B)
- R(b);N_GUARD::QAB(B),XR(b)
- R(b);N_GUARD::S(A),XR(b)
- R(b);N_GUARD::QAR2(B),XR(b)
- R(b);N_GUARD::S(A)
- B(a);N_GUARD::S(A),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- B(a);N_GUARD::S(J),XB(a)
- B(a);S_CUTQ(g)::S(J)
- S(f);N_GUARD::B(F),XS(f)
- S(h);S_CUTQ(g)::S(J)
- S(h);S_CUTQ(g)::QAB1(B)
- Refutation
- Q(g);XR(I)
- Try
- Actual
- R(G);
- Vars
- Q(g);N_GUARD,XS(J)::QAB1(B)
- Q(g);N_GUARD,XB(F)::QAB1(B)
- S(f);OGATE,XR(D)::QAB1(B),XS(f)
- Q(g);N_GUARD::S(J)
- Q(g);N_GUARD::QAB1(B),XQ(g)
- Q(g);N_GUARD::S(J),XQ(g)
- Q(g);N_GUARD::QAB1(B)
- R(b);N_GUARD::QAB(B),XR(b)
- R(b);N_GUARD::S(A),XR(b)
- R(b);N_GUARD::QAR2(B),XR(b)
- R(b);N_GUARD::S(A)
- B(a);N_GUARD::S(A),XB(a)
- B(a);N_GUARD::QAR1(B),XB(a)
- B(a);N_GUARD::R1(G),XB(a)
- B(a);N_GUARD::S(J),XB(a)
- B(a);S_CUTQ(g)::S(J)
- S(f);N_GUARD::B(F)
- S(f);N_GUARD::B(F),XS(f)
- S(h);S_CUTQ(g)::S(J)
- S(h);S_CUTQ(g)::QAB1(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).