MESON Chess Problem Database

Problem Display
PID: 78728 (3n4/1N1rB3/1p3R2/3k2bQ/2RpqP2/1K3B1n/8/8 w - - 0 1)

Andrade, Barry Jack da Costa

The Tablet, 1960

(First published on Sat Jan 16 1960)

3n4/1N1rB3/1p3R2/3k2bQ/2RpqP2/1K3B1n/8/8

#2

8 + 8

15239 Valois Notebooks 2017

SOLUTION

  • SOUND
  • Sets
    • 1...Qxf3+
      • 2.Qxf3#
    • 1...Rd6
      • 2.Rxd6#
    • 1...Rxb7
      • 2.Rd6#
    • 1...Rc7
      • 2.Rd6#
    • 1...Rxe7
      • 2.Rd6#
    • 1...Sg1
      • 2.Qxg5#
    • 1...Sf2
      • 2.Qxg5#
    • 1...Sxf4
      • 2.Qxg5#
    • 1...Sc6
      • 2.Qf7#
    • 1...Se6
      • 2.Rf5#
    • 1...Sxb7
      • 2.Qf7#
    • 1...Sf7
      • 2.Qxf7#
    • 1...d3
      • 2.Bxe4#
    • 1...b5
      • 2.Rc5#
  • Tries
    • 1.Kb4?
      • 1...Qxf3
        • 2.Qxf3#
      • 1...Rxb7
        • 2.Rd6#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...Sxb7
        • 2.Qf7#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rc7
        • 2.Rd6#
      • 1...Sg1
        • 2.Qxg5#
      • 1...Sf2
        • 2.Qxg5#
      • 1...Se6
        • 2.Rf5#
      • 1...Sf7
        • 2.Qxf7#
      • 1...d3
        • 2.Bxe4#
      • 1...b5
        • 2.Rc5#
      • 1...Sc6+!
    • 1.Sa5?
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...bxa5
        • 2.Rc5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Ra7
        • 2.Rd6#
      • 1...Rb7
        • 2.Rd6#
      • 1...Rc7
        • 2.Rd6#
      • 1...Sg1
        • 2.Qxg5#
      • 1...Sf2
        • 2.Qxg5#
      • 1...Sc6
        • 2.Qf7#
      • 1...Se6
        • 2.Rf5#
      • 1...Sb7
        • 2.Qf7#
      • 1...Sf7
        • 2.Qxf7#
      • 1...d3
        • 2.Bxe4#
      • 1...b5
        • 2.Rc5#
      • 1...Rxe7!
    • 1.Sc5?
      • threat
        • 2.Bxe4#
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...bxc5
        • 2.Rxc5#
      • 1...Sf2
        • 2.Qxg5#
      • 1...Rxe7!
    • 1.Sd6?
      • threat
        • 2.Bxe4#
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Rxd6
        • 2.Rxd6#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...Sf2
        • 2.Qxg5#
      • 1...Rxe7!
    • 1.Sxd8?
      • threat
        • 2.Rf5#
        • 2.Qf7#
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Rxd8
        • 2.Qf7#
      • 1...Sxf4
        • 2.Rf5#
        • 2.Qxg5#
      • 1...Rd6
        • 2.Rf5#
        • 2.Rxd6#
      • 1...Rxe7!
    • 1.Bh1?
      • 1...Qf3+
        • 2.Bxf3#
        • 2.Qxf3#
      • 1...Rxb7
        • 2.Rd6#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...Sxb7
        • 2.Qf7#
      • 1...Qg2
        • 2.Bxg2#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rc7
        • 2.Rd6#
      • 1...Sg1
        • 2.Qxg5#
      • 1...Sf2
        • 2.Qxg5#
      • 1...Sc6
        • 2.Qf7#
      • 1...Se6
        • 2.Rf5#
      • 1...Sf7
        • 2.Qxf7#
      • 1...d3
        • 2.Bxe4#
      • 1...b5
        • 2.Rc5#
      • 1...Qxh1!
    • 1.Bg2?
      • 1...Qf3+
        • 2.Bxf3#
        • 2.Qxf3#
      • 1...Rxb7
        • 2.Rd6#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...Sxb7
        • 2.Qf7#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rc7
        • 2.Rd6#
      • 1...Sg1
        • 2.Qxg5#
      • 1...Sf2
        • 2.Qxg5#
      • 1...Sc6
        • 2.Qf7#
      • 1...Se6
        • 2.Rf5#
      • 1...Sf7
        • 2.Qxf7#
      • 1...d3
        • 2.Bxe4#
      • 1...b5
        • 2.Rc5#
      • 1...Qxg2!
    • 1.Bxd8?
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Rxd8
        • 2.Qf7#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rc7
        • 2.Rd6#
      • 1...Re7
        • 2.Rd6#
      • 1...Rf7
        • 2.Rd6#
        • 2.Qxf7#
      • 1...Rg7
        • 2.Rd6#
      • 1...Rh7
        • 2.Rd6#
      • 1...Sg1
        • 2.Qxg5#
      • 1...Sf2
        • 2.Qxg5#
      • 1...d3
        • 2.Bxe4#
      • 1...b5
        • 2.Rc5#
      • 1...Rxb7!
    • 1.Rc1?
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Rxb7
        • 2.Rd6#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...Sxb7
        • 2.Qf7#
      • 1...Sc6
        • 2.Qf7#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rc7
        • 2.Rd6#
      • 1...Sg1
        • 2.Qxg5#
      • 1...Sf2
        • 2.Qxg5#
      • 1...Se6
        • 2.Rf5#
      • 1...Sf7
        • 2.Qxf7#
      • 1...b5
        • 2.Rc5#
      • 1...d3!
    • 1.Rc2?
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Rxb7
        • 2.Rd6#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...Sxb7
        • 2.Qf7#
      • 1...Sc6
        • 2.Qf7#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rc7
        • 2.Rd6#
      • 1...Sg1
        • 2.Qxg5#
      • 1...Sf2
        • 2.Qxg5#
      • 1...Se6
        • 2.Rf5#
      • 1...Sf7
        • 2.Qxf7#
      • 1...b5
        • 2.Rc5#
      • 1...d3!
    • 1.Rc3?
      • 1...Qxf3
        • 2.Qxf3#
      • 1...Rxb7
        • 2.Rd6#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...Sxb7
        • 2.Qf7#
      • 1...d3
        • 2.Rxd3#
      • 1...Sc6
        • 2.Qf7#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rc7
        • 2.Rd6#
      • 1...Sg1
        • 2.Qxg5#
      • 1...Sf2
        • 2.Qxg5#
      • 1...Se6
        • 2.Rf5#
      • 1...Sf7
        • 2.Qxf7#
      • 1...b5
        • 2.Rc5#
      • 1...dxc3!
    • 1.Rb4?
      • threat
        • 2.Rb5#
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Sxb7
        • 2.Qf7#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rc7
        • 2.Rd6#
      • 1...d3
        • 2.Bxe4#
      • 1...b5
        • 2.Rxb5#
      • 1...Se6!
    • 1.Rc8?
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Rxb7
        • 2.Rd6#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...Sxb7
        • 2.Qf7#
      • 1...Sc6
        • 2.Qf7#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rc7
        • 2.Rd6#
      • 1...Sg1
        • 2.Qxg5#
      • 1...Sf2
        • 2.Qxg5#
      • 1...Se6
        • 2.Rf5#
      • 1...Sf7
        • 2.Qxf7#
      • 1...b5
        • 2.Rc5#
      • 1...d3!
    • 1.Rxb6?
      • threat
        • 2.Rc5#
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Sxb7
        • 2.Qf7#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Sc6
        • 2.Qf7#
      • 1...Rc7
        • 2.Rd6#
      • 1...d3
        • 2.Bxe4#
      • 1...Se6!
    • 1.Rfc6?
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Rxb7
        • 2.Rd6#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...Sxc6
        • 2.Qf7#
      • 1...Sxb7
        • 2.Qf7#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rc7
        • 2.Rd6#
      • 1...Sg1
        • 2.Qxg5#
      • 1...Sf2
        • 2.Qxg5#
      • 1...Sf7
        • 2.Qxf7#
      • 1...d3
        • 2.Bxe4#
      • 1...b5
        • 2.R4c5#
      • 1...Se6!
    • 1.Rh6?
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Rxb7
        • 2.Rd6#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...Sxb7
        • 2.Qf7#
      • 1...Sc6
        • 2.Qf7#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Rc7
        • 2.Rd6#
      • 1...Sg1
        • 2.Qxg5#
      • 1...Sf2
        • 2.Qxg5#
      • 1...Sf7
        • 2.Qxf7#
      • 1...d3
        • 2.Bxe4#
      • 1...b5
        • 2.Rc5#
      • 1...Se6!
    • 1.Qg4?
      • threat
        • 2.Qf5#
        • 2.Qxd7#
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Rxb7
        • 2.Rd6#
        • 2.Qf5#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Bxf6
        • 2.Qxd7#
      • 1...Sxf4
        • 2.Qf5#
        • 2.Qxg5#
      • 1...Sxb7
        • 2.Qf5#
        • 2.Qe6#
      • 1...Sc6
        • 2.Qe6#
        • 2.Qxd7#
      • 1...Rd6
        • 2.Rxd6#
        • 2.Qf5#
      • 1...Rc7
        • 2.Rd6#
        • 2.Qf5#
      • 1...Se6
        • 2.Rf5#
        • 2.Qf5#
        • 2.Qxe6#
      • 1...Sf7
        • 2.Qe6#
      • 1...Bxf4!
    • 1.Qg6?
      • threat
        • 2.Bxe4#
        • 2.Rf5#
        • 2.Qxe4#
        • 2.Qf5#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Bxf4
        • 2.Qxe4#
      • 1...Bxf6
        • 2.Qxe4#
      • 1...Sxf4
        • 2.Rf5#
        • 2.Qxe4#
        • 2.Qf5#
        • 2.Qxg5#
      • 1...Sc6
        • 2.Bxe4#
        • 2.Qxe4#
        • 2.Qf7#
        • 2.Qg8#
      • 1...Sf2
        • 2.Rf5#
        • 2.Qf5#
        • 2.Qxg5#
      • 1...Sf7
        • 2.Bxe4#
        • 2.Qxe4#
        • 2.Qxf7#
      • 1...Qxf3+!
    • 1.Qf7+?
      • 1...Se6
        • 2.Rf5#
        • 2.Qxe6#
      • 1...Sxf7!
    • 1.Qxh3?
      • threat
        • 2.Qf5#
        • 2.Qxd7#
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Rxb7
        • 2.Rd6#
        • 2.Qf5#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Bxf6
        • 2.Qxd7#
      • 1...Sxb7
        • 2.Qf5#
        • 2.Qe6#
      • 1...Sc6
        • 2.Qe6#
        • 2.Qxd7#
      • 1...Rd6
        • 2.Rxd6#
        • 2.Qf5#
      • 1...Rc7
        • 2.Rd6#
        • 2.Qf5#
      • 1...Se6
        • 2.Rf5#
        • 2.Qf5#
        • 2.Qxe6#
      • 1...Sf7
        • 2.Qe6#
      • 1...Bxf4!
    • 1.Qh7?
      • threat
        • 2.Bxe4#
        • 2.Qxe4#
        • 2.Qf5#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Bxf4
        • 2.Qxe4#
      • 1...Bxf6
        • 2.Qxe4#
      • 1...Sxf4
        • 2.Qxe4#
        • 2.Qf5#
      • 1...Sc6
        • 2.Bxe4#
        • 2.Qxe4#
        • 2.Qg8#
        • 2.Qf7#
      • 1...Sf2
        • 2.Qf5#
      • 1...Sf7
        • 2.Bxe4#
        • 2.Qxe4#
        • 2.Qxf7#
      • 1...Qxf3+!
  • Keys
    • 1.Rc7!
      • threat
        • 2.Rxd7#
      • 1...Qxf3+
        • 2.Qxf3#
      • 1...Rxc7
        • 2.Rd6#
      • 1...Rxe7
        • 2.Rd6#
      • 1...Sxf4
        • 2.Qxg5#
      • 1...Sxb7
        • 2.Qf7#
      • 1...Rd6
        • 2.Rxd6#
      • 1...Se6
        • 2.Rf5#
      • 1...Sf7
        • 2.Qxf7#

FEATURES

  • Static
    • TYPE = BLOCK_THREAT
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 6
  • Sets
    • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
    • R(g);N_GUARD::R1(F),XR(g)
    • R(g);N_GUARD,XS(G)::R1(F)
    • R(g);N_GUARD::R1(F)
    • R(g);N_GUARD,XB(H)::R1(F)
    • S(a);N_GUARD::QAR(E),XB(e)
    • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
    • S(h);N_GUARD::QAB(E)
    • S(h);SBLOCK::R(F)
    • S(h);N_GUARD,XS(G)::QAB(E)
    • S(h);N_GUARD::QAB(E),XS(h)
    • P(b);::B(B),XQ(c)
    • P(f);N_GUARD::R1(C)
  • Tries
    • Try
      • K(A);P-FLIGHT
      • Vars
        • Q(c);N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • R(g);N_GUARD,XS(G)::R1(F)
        • R(g);N_GUARD,XB(H)::R1(F)
        • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
        • S(h);N_GUARD,XS(G)::QAB(E)
        • R(g);N_GUARD::R1(F),XR(g)
        • R(g);N_GUARD::R1(F)
        • S(a);N_GUARD::QAR(E),XB(e)
        • S(h);SBLOCK::R(F)
        • S(h);N_GUARD::QAB(E),XS(h)
        • P(b);P_PINR(C)::B(B),XQ(c)
        • P(f);N_GUARD::R1(C)
      • Refutation
        • S(h);CHECK
    • Try
      • S(G);
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
        • P(f);N_GUARD,XS(G)::R1(C)
        • R(g);N_GUARD::R1(F),XR(g)
        • R(g);N_GUARD::R1(F)
        • S(a);N_GUARD::QAR(E),XB(e)
        • S(h);N_GUARD::QAB(E)
        • S(h);SBLOCK::R(F)
        • S(h);N_GUARD::QAB(E),XS(h)
        • P(b);::B(B),XQ(c)
        • P(f);N_GUARD::R1(C)
      • Refutation
        • R(g);XB(H)
    • Try
      • S(G);
      • Threat
        • B(B),XQ(c)
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
        • P(f);OGATE,XS(G)::R1(C),XP(f)
        • S(a);N_GUARD::QAR(E),XB(e)
      • Refutation
        • R(g);XB(H)
    • Try
      • S(G);
      • Threat
        • B(B),XQ(c)
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • R(g);OGATE,XS(G)::R1(F),XR(g)
        • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
        • S(a);N_GUARD::QAR(E),XB(e)
      • Refutation
        • R(g);XB(H)
    • Try
      • S(G);XS(h)
      • Threat
        • DUALS(2)
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • R(g);XS(G)::QAB(E)
      • Refutation
        • R(g);XB(H)
    • Try
      • B(B);
      • Vars
        • R(g);N_GUARD,XS(G)::R1(F)
        • R(g);N_GUARD,XB(H)::R1(F)
        • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
        • S(h);N_GUARD,XS(G)::QAB(E)
        • Q(c);OGATEB::B(B),XQ(c)
        • R(g);N_GUARD::R1(F),XR(g)
        • R(g);N_GUARD::R1(F)
        • S(a);N_GUARD::QAR(E),XB(e)
        • S(h);N_GUARD::QAB(E)
        • S(h);SBLOCK::R(F)
        • S(h);N_GUARD::QAB(E),XS(h)
        • P(b);::B(B),XQ(c)
        • P(f);N_GUARD::R1(C)
      • Refutation
        • Q(c);N_SPINQ(c),XB(B)
    • Try
      • B(B);
      • Vars
        • R(g);N_GUARD,XS(G)::R1(F)
        • R(g);N_GUARD,XB(H)::R1(F)
        • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
        • S(h);N_GUARD,XS(G)::QAB(E)
        • R(g);N_GUARD::R1(F),XR(g)
        • R(g);N_GUARD::R1(F)
        • S(a);N_GUARD::QAR(E),XB(e)
        • S(h);N_GUARD::QAB(E)
        • S(h);SBLOCK::R(F)
        • S(h);N_GUARD::QAB(E),XS(h)
        • P(b);::B(B),XQ(c)
        • P(f);N_GUARD::R1(C)
      • Refutation
        • Q(c);N_SPINQ(c),XB(B)
    • Try
      • B(H);XS(h)
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • R(g);N_GUARD,XB(H)::QAB(E)
        • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
        • R(g);N_GUARD::R1(F),XR(g)
        • R(g);N_GUARD::R1(F)
        • S(a);N_GUARD::QAR(E),XB(e)
        • P(b);::B(B),XQ(c)
        • P(f);N_GUARD::R1(C)
      • Refutation
        • R(g);XS(G)
    • Try
      • R(C);
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • R(g);N_GUARD,XS(G)::R1(F)
        • R(g);N_GUARD,XB(H)::R1(F)
        • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
        • S(h);N_GUARD,XS(G)::QAB(E)
        • S(h);N_GUARD::QAB(E)
        • R(g);N_GUARD::R1(F),XR(g)
        • R(g);N_GUARD::R1(F)
        • S(a);N_GUARD::QAR(E),XB(e)
        • S(h);SBLOCK::R(F)
        • S(h);N_GUARD::QAB(E),XS(h)
        • P(f);N_GUARD::R1(C)
      • Refutation
        • P(b);
    • Try
      • R(C);
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • R(g);N_GUARD,XS(G)::R1(F)
        • R(g);N_GUARD,XB(H)::R1(F)
        • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
        • S(h);N_GUARD,XS(G)::QAB(E)
        • S(h);N_GUARD::QAB(E)
        • R(g);N_GUARD::R1(F),XR(g)
        • R(g);N_GUARD::R1(F)
        • S(a);N_GUARD::QAR(E),XB(e)
        • S(h);SBLOCK::R(F)
        • S(h);N_GUARD::QAB(E),XS(h)
        • P(f);N_GUARD::R1(C)
      • Refutation
        • P(b);
    • Try
      • R(C);
      • Vars
        • Q(c);N_SPINQ(c),OGATE,P_PINR(C),XB(B)::QAB(E),XQ(c)
        • R(g);N_GUARD,XS(G)::R1(F)
        • R(g);N_GUARD,XB(H)::R1(F)
        • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
        • S(h);N_GUARD,XS(G)::QAB(E)
        • P(b);OGATEB::R(C),XP(b)
        • S(h);N_GUARD::QAB(E)
        • R(g);N_GUARD::R1(F),XR(g)
        • R(g);N_GUARD::R1(F)
        • S(a);N_GUARD::QAR(E),XB(e)
        • S(h);SBLOCK::R(F)
        • S(h);N_GUARD::QAB(E),XS(h)
        • P(f);N_GUARD::R1(C)
      • Refutation
        • P(b);XR(C)
    • Try
      • R(C);
      • Threat
        • R(C)
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • S(h);N_GUARD,XS(G)::QAB(E)
        • R(g);N_GUARD::R1(F),XR(g)
        • R(g);N_GUARD::R1(F)
        • P(b);::B(B),XQ(c)
        • P(f);::R(C),XP(f)
      • Refutation
        • S(h);
    • Try
      • R(C);
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • R(g);N_GUARD,XS(G)::R1(F)
        • R(g);N_GUARD,XB(H)::R1(F)
        • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
        • S(h);N_GUARD,XS(G)::QAB(E)
        • S(h);N_GUARD::QAB(E)
        • R(g);N_GUARD::R1(F),XR(g)
        • R(g);N_GUARD::R1(F)
        • S(a);N_GUARD::QAR(E),XB(e)
        • S(h);SBLOCK::R(F)
        • S(h);N_GUARD::QAB(E),XS(h)
        • P(f);N_GUARD::R1(C)
      • Refutation
        • P(b);
    • Try
      • R(F);XP(f)
      • Threat
        • R1(C)
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • S(h);N_GUARD,XS(G)::QAB(E)
        • R(g);N_GUARD::R1(F),XR(g)
        • S(h);N_GUARD::QAB(E)
        • R(g);N_GUARD::R1(F)
        • P(b);::B(B),XQ(c)
      • Refutation
        • S(h);
    • Try
      • R(F);
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • R(g);N_GUARD,XS(G)::R1(F)
        • R(g);N_GUARD,XB(H)::R1(F)
        • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
        • S(h);N_GUARD,XR(F)::QAB(E)
        • S(h);N_GUARD,XS(G)::QAB(E)
        • R(g);N_GUARD::R1(F),XR(g)
        • R(g);N_GUARD::R1(F)
        • S(a);N_GUARD::QAR(E),XB(e)
        • S(h);N_GUARD::QAB(E),XS(h)
        • P(b);::B(B),XQ(c)
        • P(f);N_GUARD::R1(C)
      • Refutation
        • S(h);
    • Try
      • R(F);
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • R(g);N_GUARD,XS(G)::R1(F)
        • R(g);N_GUARD,XB(H)::R1(F)
        • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
        • S(h);N_GUARD,XS(G)::QAB(E)
        • S(h);N_GUARD::QAB(E)
        • R(g);N_GUARD::R1(F),XR(g)
        • R(g);N_GUARD::R1(F)
        • S(a);N_GUARD::QAR(E),XB(e)
        • S(h);N_GUARD::QAB(E),XS(h)
        • P(b);::B(B),XQ(c)
        • P(f);N_GUARD::R1(C)
      • Refutation
        • S(h);
    • Try
      • Q(E);N_PINB(e)
      • Threat
        • DUALS(2)
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • R(g);N_GUARD,XB(H)::R1(F)
        • B(e);XR(F)::QAR2(E),XR(g)
        • S(h);N_GUARD::QAB1(E)
      • Refutation
        • B(e);XP(D)
    • Try
      • Q(E);N_PINB(e)
      • Threat
        • DUALS(4)
      • Vars
        • R(g);N_GUARD,XB(H)::R1(F)
        • B(e);XP(D)::QAB1(E),XQ(c)
        • B(e);XR(F)::QAB1(E),XQ(c)
      • Refutation
        • Q(c);CHECK,N_SPINQ(c),XB(B)
    • Try
      • Q(E);CHECK,N_PINB(e)
      • Refutation
        • S(h);XQ(E)
    • Try
      • Q(E);N_PINB(e),XS(a)
      • Threat
        • DUALS(2)
      • Vars
        • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
        • R(g);N_GUARD,XB(H)::R1(F)
        • B(e);XR(F)::QAR2(E),XR(g)
        • S(h);N_GUARD::QAB1(E)
      • Refutation
        • B(e);XP(D)
    • Try
      • Q(E);N_PINB(e)
      • Threat
        • DUALS(3)
      • Vars
        • R(g);N_GUARD,XB(H)::R1(F)
        • B(e);XP(D)::QAB1(E),XQ(c)
        • B(e);XR(F)::QAB1(E),XQ(c)
        • S(a);::QAR2(E)
      • Refutation
        • Q(c);CHECK,N_SPINQ(c),XB(B)
  • Actual
    • R(C);
    • Threat
      • R(C),XR(g)
    • Vars
      • Q(c);CHECK,N_SPINQ(c),OGATE,XB(B)::QAB(E),XQ(c)
      • R(g);N_GUARD,XR(C)::R1(F)
      • R(g);N_GUARD,XB(H)::R1(F)
      • S(a);N_GUARD,XP(D)::QAR(E),XB(e)
      • S(h);N_GUARD,XS(G)::QAB(E)
      • R(g);N_GUARD::R1(F),XR(g)
      • S(h);SBLOCK::R(F)
      • S(h);N_GUARD::QAB(E),XS(h)
HTML5 logo

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).