MESON Chess Problem Database
Problem Display
PID: 219574 (8/N1K1P2n/Bpp2p2/n4Q2/1B1kPN2/3P2R1/q7/1b6 w - - 0 1)
Andrade, Barry Jack da Costa
British Chess Magazine, 1924
#2
10 + 8
SOLUTION
- SOUND
- Sets
- 1...Qb3
- 2.Se2#
- 1...Qc4
- 2.Se2#
- 1...Qd5
- 2.Se2#
- 1...Qe6
- 2.Se2#
- 2.Sxe6#
- 1...Qf7
- 2.Se2#
- 1...Qg8
- 2.Se2#
- 1...Qa1
- 2.Se2#
- 2.Se6#
- 1...Qb2
- 2.Se6#
- 1...Qc2
- 2.Se6#
- 1...Qd2
- 2.Se6#
- 1...Qe2
- 2.Sxe2#
- 2.Se6#
- 1...Qf2
- 2.Se6#
- 1...Qg2
- 2.Se6#
- 1...Qh2
- 2.Se6#
- 1...Qa3
- 2.Se2#
- 2.Se6#
- 1...Qa4
- 2.Se2#
- 2.Se6#
- 1...Bc2
- 2.Se2#
- 1...Bxd3
- 2.Rxd3#
- 1...Sb3
- 2.Se6#
- 2.Sxc6#
- 1...Sc4
- 2.Se6#
- 2.Sxc6#
- 1...Sb7
- 2.Sxc6#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...b5
- 2.Qc5#
- 1...c5
- 2.Sb5#
- 1...Qb3
- Tries
- 1.Kxb6?
- threat
- 2.Qc5#
- 1...Bxd3
- 2.Rxd3#
- 1...Qc4
- 2.Se2#
- 1...Qd5
- 2.Se2#
- 1...Qc2
- 2.Se6#
- 1...Sb3
- 2.Se6#
- 2.Sxc6#
- 1...Sb7
- 2.Sxc6#
- 1...c5
- 2.Sb5#
- 2.Qxc5#
- 1...Sc4+!
- threat
- 1.Kb8?
- 1...Bxd3
- 2.Rxd3#
- 1...Qb3
- 2.Se2#
- 1...Qc4
- 2.Se2#
- 1...Qd5
- 2.Se2#
- 1...Qe6
- 2.Se2#
- 2.Sxe6#
- 1...Qf7
- 2.Se2#
- 1...Qa1
- 2.Se2#
- 2.Se6#
- 1...Qb2
- 2.Se6#
- 1...Qc2
- 2.Se6#
- 1...Qd2
- 2.Se6#
- 1...Qe2
- 2.Sxe2#
- 2.Se6#
- 1...Qf2
- 2.Se6#
- 1...Qg2
- 2.Se6#
- 1...Qh2
- 2.Se6#
- 1...Qa3
- 2.Se2#
- 2.Se6#
- 1...Qa4
- 2.Se2#
- 2.Se6#
- 1...Bc2
- 2.Se2#
- 1...Sb3
- 2.Se6#
- 2.Sxc6#
- 1...Sc4
- 2.Se6#
- 2.Sxc6#
- 1...Sb7
- 2.Sxc6#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...b5
- 2.Qc5#
- 1...c5
- 2.Sb5#
- 1...Qg8+!
- 1...Bxd3
- 1.Kc8?
- 1...Qe6+
- 2.Sxe6#
- 1...Bxd3
- 2.Rxd3#
- 1...Qb3
- 2.Se2#
- 1...Qc4
- 2.Se2#
- 1...Qd5
- 2.Se2#
- 1...Qf7
- 2.Se2#
- 1...Qa1
- 2.Se2#
- 2.Se6#
- 1...Qb2
- 2.Se6#
- 1...Qc2
- 2.Se6#
- 1...Qd2
- 2.Se6#
- 1...Qe2
- 2.Sxe2#
- 2.Se6#
- 1...Qf2
- 2.Se6#
- 1...Qg2
- 2.Se6#
- 1...Qh2
- 2.Se6#
- 1...Qa3
- 2.Se2#
- 2.Se6#
- 1...Qa4
- 2.Se2#
- 2.Se6#
- 1...Bc2
- 2.Se2#
- 1...Sb3
- 2.Se6#
- 2.Sxc6#
- 1...Sc4
- 2.Se6#
- 2.Sxc6#
- 1...Sb7
- 2.Sxc6#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...b5
- 2.Qc5#
- 1...c5
- 2.Sb5#
- 1...Qg8+!
- 1...Qe6+
- 1.Bc4?
- threat
- 2.Se6#
- 1...Qxc4
- 2.Se2#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...Bxd3!
- threat
- 1.Bb5?
- 1...Bxd3
- 2.Rxd3#
- 1...cxb5
- 2.Sxb5#
- 1...Qb3
- 2.Se2#
- 1...Qc4
- 2.Se2#
- 1...Qd5
- 2.Se2#
- 1...Qe6
- 2.Se2#
- 2.Sxe6#
- 1...Qf7
- 2.Se2#
- 1...Qg8
- 2.Se2#
- 1...Qa1
- 2.Se2#
- 2.Se6#
- 1...Qb2
- 2.Se6#
- 1...Qc2
- 2.Se6#
- 1...Qd2
- 2.Se6#
- 1...Qe2
- 2.Sxe2#
- 2.Se6#
- 1...Qf2
- 2.Se6#
- 1...Qg2
- 2.Se6#
- 1...Qh2
- 2.Se6#
- 1...Qa3
- 2.Se2#
- 2.Se6#
- 1...Qa4
- 2.Se2#
- 2.Se6#
- 1...Bc2
- 2.Se2#
- 1...Sb3
- 2.Se6#
- 2.Sxc6#
- 1...Sc4
- 2.Se6#
- 2.Sxc6#
- 1...Sb7
- 2.Sxc6#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...c5!
- 1...Bxd3
- 1.Bb7?
- 1...Sxb7
- 2.Sxc6#
- 1...Qb3
- 2.Se2#
- 1...Qc4
- 2.Se2#
- 1...Qd5
- 2.Se2#
- 1...Qe6
- 2.Se2#
- 2.Sxe6#
- 1...Qf7
- 2.Se2#
- 1...Qg8
- 2.Se2#
- 1...Qa1
- 2.Se2#
- 2.Se6#
- 1...Qb2
- 2.Se6#
- 1...Qc2
- 2.Se6#
- 1...Qd2
- 2.Se6#
- 1...Qe2
- 2.Sxe2#
- 2.Se6#
- 1...Qf2
- 2.Se6#
- 1...Qg2
- 2.Se6#
- 1...Qh2
- 2.Se6#
- 1...Qa3
- 2.Se2#
- 2.Se6#
- 1...Qa4
- 2.Se2#
- 2.Se6#
- 1...Bc2
- 2.Se2#
- 1...Sb3
- 2.Se6#
- 2.Sxc6#
- 1...Sc4
- 2.Se6#
- 2.Sxc6#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...b5
- 2.Qc5#
- 1...c5
- 2.Sb5#
- 1...Bxd3!
- 1...Sxb7
- 1.Bc8?
- 1...Qb3
- 2.Se2#
- 1...Qc4
- 2.Se2#
- 1...Qd5
- 2.Se2#
- 1...Qe6
- 2.Se2#
- 2.Sxe6#
- 1...Qf7
- 2.Se2#
- 1...Qg8
- 2.Se2#
- 1...Qa1
- 2.Se2#
- 2.Se6#
- 1...Qb2
- 2.Se6#
- 1...Qc2
- 2.Se6#
- 1...Qd2
- 2.Se6#
- 1...Qe2
- 2.Sxe2#
- 2.Se6#
- 1...Qf2
- 2.Se6#
- 1...Qg2
- 2.Se6#
- 1...Qh2
- 2.Se6#
- 1...Qa3
- 2.Se2#
- 2.Se6#
- 1...Qa4
- 2.Se2#
- 2.Se6#
- 1...Bc2
- 2.Se2#
- 1...Sb3
- 2.Se6#
- 2.Sxc6#
- 1...Sc4
- 2.Se6#
- 2.Sxc6#
- 1...Sb7
- 2.Sxc6#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...b5
- 2.Qc5#
- 1...c5
- 2.Sb5#
- 1...Bxd3!
- 1...Qb3
- 1.Rf3?
- 1...Bxd3
- 2.Rxd3#
- 1...Qb3
- 2.Se2#
- 1...Qc4
- 2.Se2#
- 1...Qd5
- 2.Se2#
- 1...Qe6
- 2.Se2#
- 2.Sxe6#
- 1...Qf7
- 2.Se2#
- 1...Qg8
- 2.Se2#
- 1...Qa1
- 2.Se2#
- 2.Se6#
- 1...Qb2
- 2.Se6#
- 1...Qc2
- 2.Se6#
- 1...Qd2
- 2.Se6#
- 1...Qe2
- 2.Sxe2#
- 2.Se6#
- 1...Qf2
- 2.Se6#
- 1...Qg2
- 2.Se6#
- 1...Qa3
- 2.Se2#
- 2.Se6#
- 1...Qa4
- 2.Se2#
- 2.Se6#
- 1...Bc2
- 2.Se2#
- 1...Sb3
- 2.Se6#
- 2.Sxc6#
- 1...Sc4
- 2.Se6#
- 2.Sxc6#
- 1...Sb7
- 2.Sxc6#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...b5
- 2.Qc5#
- 1...c5
- 2.Sb5#
- 1...Qh2!
- 1...Bxd3
- 1.Rh3?
- 1...Bxd3
- 2.Rxd3#
- 1...Qb3
- 2.Se2#
- 1...Qc4
- 2.Se2#
- 1...Qd5
- 2.Se2#
- 1...Qe6
- 2.Se2#
- 2.Sxe6#
- 1...Qf7
- 2.Se2#
- 1...Qg8
- 2.Se2#
- 1...Qa1
- 2.Se2#
- 2.Se6#
- 1...Qb2
- 2.Se6#
- 1...Qc2
- 2.Se6#
- 1...Qd2
- 2.Se6#
- 1...Qe2
- 2.Sxe2#
- 2.Se6#
- 1...Qf2
- 2.Se6#
- 1...Qg2
- 2.Se6#
- 1...Qa3
- 2.Se2#
- 2.Se6#
- 1...Qa4
- 2.Se2#
- 2.Se6#
- 1...Bc2
- 2.Se2#
- 1...Sb3
- 2.Se6#
- 2.Sxc6#
- 1...Sc4
- 2.Se6#
- 2.Sxc6#
- 1...Sb7
- 2.Sxc6#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...b5
- 2.Qc5#
- 1...c5
- 2.Sb5#
- 1...Qh2!
- 1...Bxd3
- 1.Qd7+?
- 1...Ke5
- 2.Sg6#
- 2.Qd6#
- 1...Qd5!
- 1...Ke5
- 1.Qxa5?
- threat
- 2.Sxc6#
- 2.Bc3#
- 1...Qxa5
- 2.Sxc6#
- 1...bxa5
- 2.Sxc6#
- 1...Qd5
- 2.Bc3#
- 2.Qa1#
- 1...b5
- 2.Sxc6#
- 1...c5
- 2.Sc6#
- 2.Bc3#
- 1...Qb3
- 2.Se2#
- 2.Sxc6#
- 1...Qc4
- 2.Se2#
- 1...Qe6
- 2.Se2#
- 2.Sxe6#
- 2.Bc3#
- 2.Qa1#
- 1...Qa1
- 2.Se2#
- 2.Se6#
- 2.Sxc6#
- 2.Qxa1#
- 1...Qb2
- 2.Se6#
- 2.Sxc6#
- 1...Qc2
- 2.Se6#
- 1...Qd2
- 2.Se6#
- 2.Sxc6#
- 1...Qa3
- 2.Se2#
- 2.Se6#
- 2.Sxc6#
- 1...Qa4
- 2.Se2#
- 2.Se6#
- 2.Bc3#
- 1...Bxd3!
- threat
- 1.e8Q?
- 1...Bxd3
- 2.Rxd3#
- 1...Qb3
- 2.Se2#
- 1...Qc4
- 2.Se2#
- 1...Qd5
- 2.Se2#
- 1...Qe6
- 2.Se2#
- 2.Sxe6#
- 1...Qg8
- 2.Se2#
- 1...Qa1
- 2.Se2#
- 2.Se6#
- 2.Qfd7#
- 2.Qed7#
- 2.Qd8#
- 1...Qb2
- 2.Se6#
- 2.Qfd7#
- 2.Qed7#
- 2.Qd8#
- 1...Qc2
- 2.Se6#
- 2.Qfd7#
- 2.Qed7#
- 2.Qd8#
- 1...Qd2
- 2.Se6#
- 2.Qfd7#
- 2.Qed7#
- 2.Qd8#
- 1...Qe2
- 2.Sxe2#
- 2.Se6#
- 2.Qfd7#
- 2.Qed7#
- 2.Qd8#
- 1...Qf2
- 2.Se6#
- 2.Qfd7#
- 2.Qed7#
- 2.Qd8#
- 1...Qg2
- 2.Se6#
- 2.Qfd7#
- 2.Qed7#
- 2.Qd8#
- 1...Qh2
- 2.Se6#
- 2.Qfd7#
- 2.Qed7#
- 2.Qd8#
- 1...Qa3
- 2.Se2#
- 2.Se6#
- 2.Qfd7#
- 2.Qed7#
- 2.Qd8#
- 1...Qa4
- 2.Se2#
- 2.Se6#
- 2.Qfd7#
- 2.Qed7#
- 2.Qd8#
- 1...Bc2
- 2.Se2#
- 1...Sb3
- 2.Se6#
- 2.Sxc6#
- 2.Qfd7#
- 2.Qed7#
- 2.Qd8#
- 1...Sc4
- 2.Se6#
- 2.Sxc6#
- 1...Sb7
- 2.Sxc6#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...b5
- 2.Qc5#
- 1...c5
- 2.Sb5#
- 1...Qf7+!
- 1...Bxd3
- 1.e8S?
- 1...Bxd3
- 2.Rxd3#
- 1...Qb3
- 2.Se2#
- 1...Qc4
- 2.Se2#
- 1...Qd5
- 2.Se2#
- 1...Qe6
- 2.Se2#
- 2.Sxe6#
- 1...Qg8
- 2.Se2#
- 1...Qa1
- 2.Se2#
- 2.Se6#
- 1...Qb2
- 2.Se6#
- 1...Qc2
- 2.Se6#
- 1...Qd2
- 2.Se6#
- 1...Qe2
- 2.Sxe2#
- 2.Se6#
- 1...Qf2
- 2.Se6#
- 1...Qg2
- 2.Se6#
- 1...Qh2
- 2.Se6#
- 1...Qa3
- 2.Se2#
- 2.Se6#
- 1...Qa4
- 2.Se2#
- 2.Se6#
- 1...Bc2
- 2.Se2#
- 1...Sb3
- 2.Se6#
- 2.Sxc6#
- 1...Sc4
- 2.Se6#
- 2.Sxc6#
- 1...Sb7
- 2.Sxc6#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...b5
- 2.Qc5#
- 1...c5
- 2.Sb5#
- 1...Qf7+!
- 1...Bxd3
- 1.e8B?
- 1...Bxd3
- 2.Rxd3#
- 1...Qb3
- 2.Se2#
- 1...Qc4
- 2.Se2#
- 1...Qd5
- 2.Se2#
- 1...Qe6
- 2.Se2#
- 2.Sxe6#
- 1...Qg8
- 2.Se2#
- 1...Qa1
- 2.Se2#
- 2.Se6#
- 1...Qb2
- 2.Se6#
- 1...Qc2
- 2.Se6#
- 1...Qd2
- 2.Se6#
- 1...Qe2
- 2.Sxe2#
- 2.Se6#
- 1...Qf2
- 2.Se6#
- 1...Qg2
- 2.Se6#
- 1...Qh2
- 2.Se6#
- 1...Qa3
- 2.Se2#
- 2.Se6#
- 1...Qa4
- 2.Se2#
- 2.Se6#
- 1...Bc2
- 2.Se2#
- 1...Sb3
- 2.Se6#
- 2.Sxc6#
- 1...Sc4
- 2.Se6#
- 2.Sxc6#
- 1...Sb7
- 2.Sxc6#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...b5
- 2.Qc5#
- 1...c5
- 2.Sb5#
- 1...Qf7+!
- 1...Bxd3
- 1.e8R?
- 1...Bxd3
- 2.Rxd3#
- 1...Qb3
- 2.Se2#
- 1...Qc4
- 2.Se2#
- 1...Qd5
- 2.Se2#
- 1...Qe6
- 2.Se2#
- 2.Sxe6#
- 1...Qg8
- 2.Se2#
- 1...Qa1
- 2.Se2#
- 2.Se6#
- 2.Rd8#
- 2.Qd7#
- 1...Qb2
- 2.Se6#
- 2.Rd8#
- 2.Qd7#
- 1...Qc2
- 2.Se6#
- 2.Rd8#
- 2.Qd7#
- 1...Qd2
- 2.Se6#
- 2.Rd8#
- 2.Qd7#
- 1...Qe2
- 2.Sxe2#
- 2.Se6#
- 2.Rd8#
- 2.Qd7#
- 1...Qf2
- 2.Se6#
- 2.Rd8#
- 2.Qd7#
- 1...Qg2
- 2.Se6#
- 2.Rd8#
- 2.Qd7#
- 1...Qh2
- 2.Se6#
- 2.Rd8#
- 2.Qd7#
- 1...Qa3
- 2.Se2#
- 2.Se6#
- 2.Rd8#
- 2.Qd7#
- 1...Qa4
- 2.Se2#
- 2.Se6#
- 2.Rd8#
- 2.Qd7#
- 1...Bc2
- 2.Se2#
- 1...Sb3
- 2.Se6#
- 2.Sxc6#
- 2.Rd8#
- 2.Qd7#
- 1...Sc4
- 2.Se6#
- 2.Sxc6#
- 1...Sb7
- 2.Sxc6#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...b5
- 2.Qc5#
- 1...c5
- 2.Sb5#
- 1...Qf7+!
- 1...Bxd3
- 1.Kxb6?
- Keys
- 1.Sg6!
- 1...Bxd3
- 2.Rxd3#
- 1...Qb3
- 2.Qf2#
- 1...Qc4
- 2.Qf2#
- 1...Qd5
- 2.Qf2#
- 1...Qe6
- 2.Qf2#
- 1...Qf7
- 2.Qf2#
- 1...Qg8
- 2.Qf2#
- 1...Qa1
- 2.Qd7#
- 2.Qf2#
- 1...Qb2
- 2.Qd7#
- 1...Qc2
- 2.Qd7#
- 1...Qd2
- 2.Qd7#
- 1...Qe2
- 2.Qd7#
- 1...Qf2
- 2.Qd7#
- 2.Qxf2#
- 1...Qg2
- 2.Qd7#
- 1...Qh2
- 2.Qd7#
- 1...Qa3
- 2.Qd7#
- 2.Qf2#
- 1...Qa4
- 2.Qd7#
- 2.Qf2#
- 1...Bc2
- 2.Qf2#
- 1...Sb3
- 2.Sxc6#
- 2.Qd7#
- 1...Sc4
- 2.Sxc6#
- 1...Sb7
- 2.Sxc6#
- 1...Sg5
- 2.Qxf6#
- 1...Sf8
- 2.Qxf6#
- 1...b5
- 2.Qc5#
- 1...c5
- 2.Sb5#
- 1...Bxd3
- 1.Sg6!
There are these versions: 247893
FEATURES
- Static
- TYPE = MUTATE
- CHANGED MATES = 11
- ADDED MATES = 3
- REMOVED MATES = 1
- Sets
- Q(b);N_GUARD::S(E)
- Q(b);N_GUARD,P_PINP(J)::S(E)
- B(a);S_CUTQ(b)::S(E)
- B(a);OGATE,XP(A)::R1(B),XB(a)
- S(d);N_GUARD::S(H),XP(f)
- S(h);N_GUARD::QAB(F),XP(g)
- P(e);N_GUARD::QAB1(F)
- P(f);N_GUARD::S(H)
- Tries
- Try
- K(I);S_FLIGHT,XP(e)
- Threat
- QAB1(F)
- Vars
- B(a);OGATE,XP(A)::R1(B),XB(a)
- Q(b);N_GUARD::S(E)
- S(d);N_GUARD::S(H),XP(f)
- Refutation
- S(d);CHECK
- Try
- K(I);S_FLIGHT
- Vars
- B(a);OGATE,XP(A)::R1(B),XB(a)
- Q(b);N_GUARD::S(E)
- B(a);S_CUTQ(b)::S(E)
- S(d);N_GUARD::S(H),XP(f)
- S(h);N_GUARD::QAB(F),XP(g)
- P(e);N_GUARD::QAB1(F)
- P(f);N_GUARD::S(H)
- Refutation
- Q(b);CHECK
- Try
- K(I);P-FLIGHT
- Vars
- Q(b);CHECK,N_GUARD::S(E),XQ(b)
- B(a);OGATE,XP(A)::R1(B),XB(a)
- Q(b);N_GUARD::S(E)
- B(a);S_CUTQ(b)::S(E)
- S(d);N_GUARD::S(H),XP(f)
- S(h);N_GUARD::QAB(F),XP(g)
- P(e);N_GUARD::QAB1(F)
- P(f);N_GUARD::S(H)
- Refutation
- Q(b);CHECK
- Try
- B(G);
- Threat
- S(E)
- Vars
- Q(b);N_GUARD,XB(G)::S(E)
- S(h);N_GUARD::QAB(F),XP(g)
- Refutation
- B(a);XP(A)
- Try
- B(G);
- Vars
- B(a);OGATE,XP(A)::R1(B),XB(a)
- P(f);XB(G)::S(H),XP(f)
- Q(b);N_GUARD::S(E)
- Q(b);N_GUARD,P_PINP(J)::S(E)
- B(a);S_CUTQ(b)::S(E)
- S(d);N_GUARD::S(H),XP(f)
- S(h);N_GUARD::QAB(F),XP(g)
- Refutation
- P(f);
- Try
- B(G);
- Vars
- S(d);N_GUARD,XB(G)::S(H),XP(f)
- Q(b);N_GUARD::S(E)
- Q(b);N_GUARD,P_PINP(J)::S(E)
- B(a);S_CUTQ(b)::S(E)
- S(h);N_GUARD::QAB(F),XP(g)
- P(e);N_GUARD::QAB1(F)
- P(f);N_GUARD::S(H)
- Refutation
- B(a);XP(A)
- Try
- B(G);
- Vars
- Q(b);N_GUARD::S(E)
- Q(b);N_GUARD,P_PINP(J)::S(E)
- B(a);S_CUTQ(b)::S(E)
- S(d);N_GUARD::S(H),XP(f)
- S(h);N_GUARD::QAB(F),XP(g)
- P(e);N_GUARD::QAB1(F)
- P(f);N_GUARD::S(H)
- Refutation
- B(a);XP(A)
- Try
- R(B);
- Vars
- B(a);OGATE,XP(A)::R1(B),XB(a)
- Q(b);N_GUARD::S(E)
- Q(b);N_GUARD,P_PINP(J)::S(E)
- B(a);S_CUTQ(b)::S(E)
- S(d);N_GUARD::S(H),XP(f)
- S(h);N_GUARD::QAB(F),XP(g)
- P(e);N_GUARD::QAB1(F)
- P(f);N_GUARD::S(H)
- Refutation
- Q(b);P_PINS(E)
- Try
- R(B);
- Vars
- B(a);OGATE,XP(A)::R1(B),XB(a)
- Q(b);N_GUARD::S(E)
- Q(b);N_GUARD,P_PINP(J)::S(E)
- B(a);S_CUTQ(b)::S(E)
- S(d);N_GUARD::S(H),XP(f)
- S(h);N_GUARD::QAB(F),XP(g)
- P(e);N_GUARD::QAB1(F)
- P(f);N_GUARD::S(H)
- Refutation
- Q(b);P_PINS(E)
- Try
- Q(F);CHECK
- Refutation
- Q(b);P_SPINQ(b)
- Try
- Q(F);XS(d)
- Threat
- DUALS(2)
- Vars
- Q(b);XQ(F)::S(H),XP(f)
- P(e);XQ(F)::S(H),XP(f)
- P(e);::S(H),XP(f)
- Q(b);N_GUARD::S(E)
- Refutation
- B(a);XP(A)
- Try
- P(J);
- Vars
- B(a);OGATE,XP(A)::R1(B),XB(a)
- Q(b);N_GUARD::S(E)
- B(a);S_CUTQ(b)::S(E)
- S(d);N_GUARD::S(H),XP(f)
- S(h);N_GUARD::QAB(F),XP(g)
- P(e);N_GUARD::QAB1(F)
- P(f);N_GUARD::S(H)
- Refutation
- Q(b);CHECK
- Try
- P(J);
- Vars
- B(a);OGATE,XP(A)::R1(B),XB(a)
- Q(b);N_GUARD::S(E)
- B(a);S_CUTQ(b)::S(E)
- S(d);N_GUARD::S(H),XP(f)
- S(h);N_GUARD::QAB(F),XP(g)
- P(e);N_GUARD::QAB1(F)
- P(f);N_GUARD::S(H)
- Refutation
- Q(b);CHECK
- Try
- P(J);
- Vars
- B(a);OGATE,XP(A)::R1(B),XB(a)
- Q(b);N_GUARD::S(E)
- B(a);S_CUTQ(b)::S(E)
- S(d);N_GUARD::S(H),XP(f)
- S(h);N_GUARD::QAB(F),XP(g)
- P(e);N_GUARD::QAB1(F)
- P(f);N_GUARD::S(H)
- Refutation
- Q(b);CHECK
- Try
- P(J);
- Vars
- B(a);OGATE,XP(A)::R1(B),XB(a)
- Q(b);N_GUARD::S(E)
- B(a);S_CUTQ(b)::S(E)
- S(d);N_GUARD::S(H),XP(f)
- S(h);N_GUARD::QAB(F),XP(g)
- P(e);N_GUARD::QAB1(F)
- P(f);N_GUARD::S(H)
- Refutation
- Q(b);CHECK
- Try
- Actual
- S(E);
- Vars
- B(a);OGATE,XP(A)::R1(B),XB(a)
- Q(b);N_GUARD::QAB(F)
- Q(b);N_GUARD,P_PINP(J)::QAB(F)
- Q(b);N_GUARD::QAR(F)
- Q(b);N_GUARD,P_PINR(B)::QAR(F)
- B(a);S_CUTQ(b)::QAB(F)
- S(d);N_GUARD::S(H),XP(f)
- S(h);N_GUARD::QAB(F),XP(g)
- P(e);N_GUARD::QAB1(F)
- P(f);N_GUARD::S(H)
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).