MESON Chess Problem Database

Problem Display
PID: 89987 (3B4/7R/B7/6p1/p2pppPP/PbPNkpQ1/3R4/N2nK1n1 w - - 0 1)

Onkoud, Abdelaziz

Die Schwalbe, 1998

3B4/7R/B7/6p1/p2pppPP/PbPNkpQ1/3R4/N2nK1n1

#2

12 + 10

6490 yacpdb 2009

SOLUTION

  • SOUND
  • Sets
    • 1...Ba2
      • 2.Sc2#
    • 1...Bc2
      • 2.Sxc2#
    • 1...Bc4
      • 2.Sc2#
    • 1...Bd5
      • 2.Sc2#
    • 1...Be6
      • 2.Sc2#
    • 1...Bf7
      • 2.Sc2#
    • 1...Bg8
      • 2.Sc2#
    • 1...Sb2
      • 2.Qf2#
    • 1...Sf2
      • 2.Qxf2#
    • 1...Sxc3
      • 2.Qf2#
    • 1...Se2
      • 2.Rxe2#
    • 1...Sh3
      • 2.Re2#
    • 1...dxc3
      • 2.Bb6#
    • 1...fxg3
      • 2.Bxg5#
    • 1...gxh4
      • 2.Qxf4#
  • Tries
    • 1.Sxb3?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...exd3
        • 2.Re7#
      • 1...fxg3
        • 2.Bxg5#
      • 1...gxh4
        • 2.Qxf4#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...axb3!
    • 1.Sc1?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Bc4
        • 2.Sc2#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Bf7
        • 2.Sc2#
      • 1...Bg8
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...d3
        • 2.Bb6#
      • 1...gxh4!
    • 1.Sb2?
      • 1...Sxb2
        • 2.Qf2#
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...Ba2
        • 2.Sc2#
        • 2.Sxd1#
      • 1...Bc2
        • 2.Sxc2#
        • 2.Sc4#
      • 1...Bc4
        • 2.Sc2#
        • 2.Sxd1#
        • 2.Sxc4#
      • 1...Bd5
        • 2.Sc2#
        • 2.Sxd1#
      • 1...Be6
        • 2.Sc2#
        • 2.Sxd1#
      • 1...Bf7
        • 2.Sc2#
        • 2.Sxd1#
      • 1...Bg8
        • 2.Sc2#
        • 2.Sxd1#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...d3
        • 2.Bb6#
      • 1...gxh4!
    • 1.Sb4?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...Ba2
        • 2.Sac2#
        • 2.Sbc2#
      • 1...Bc2
        • 2.Saxc2#
        • 2.Sbxc2#
        • 2.Sd5#
      • 1...Bc4
        • 2.Sac2#
        • 2.Sbc2#
      • 1...Bd5
        • 2.Sac2#
        • 2.Sbc2#
        • 2.Sxd5#
      • 1...Be6
        • 2.Sac2#
        • 2.Sbc2#
      • 1...Bf7
        • 2.Sac2#
        • 2.Sbc2#
      • 1...Bg8
        • 2.Sac2#
        • 2.Sbc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...d3
        • 2.Bb6#
      • 1...gxh4!
    • 1.Se5?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
        • 2.Sc4#
      • 1...Bc4
        • 2.Sc2#
        • 2.Sxc4#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Bf7
        • 2.Sc2#
      • 1...Bg8
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...d3
        • 2.Bb6#
      • 1...gxh4!
    • 1.Bb5?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...gxh4
        • 2.Qxf4#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Bc4
        • 2.Sc2#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Bf7
        • 2.Sc2#
      • 1...Bg8
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...exd3!
    • 1.Bxg5?
      • threat
        • 2.Bxf4#
        • 2.Qxf4#
      • 1...exd3
        • 2.Qxf4#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...dxc3!
    • 1.Bb6?
      • threat
        • 2.Bxd4#
      • 1...Sxc3
        • 2.Qf2#
      • 1...Se2
        • 2.Rxe2#
      • 1...exd3!
    • 1.Be7?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bc5#
      • 1...fxg3
        • 2.Bxg5#
      • 1...gxh4
        • 2.Qxf4#
      • 1...Se2
        • 2.Rxe2#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Bc4
        • 2.Sc2#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Bf7
        • 2.Sc2#
      • 1...Bg8
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Sh3
        • 2.Re2#
      • 1...exd3!
    • 1.Rh5?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...gxh4
        • 2.Qxf4#
      • 1...Se2
        • 2.Rxe2#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Bc4
        • 2.Sc2#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Bf7
        • 2.Sc2#
      • 1...Bg8
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Sh3
        • 2.Re2#
      • 1...exd3!
    • 1.Rh6?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...gxh4
        • 2.Qxf4#
      • 1...Se2
        • 2.Rxe2#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Bc4
        • 2.Sc2#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Bf7
        • 2.Sc2#
      • 1...Bg8
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Sh3
        • 2.Re2#
      • 1...exd3!
    • 1.Ra7?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...gxh4
        • 2.Qxf4#
      • 1...Se2
        • 2.Rxe2#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Bc4
        • 2.Sc2#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Bf7
        • 2.Sc2#
      • 1...Bg8
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Sh3
        • 2.Re2#
      • 1...exd3!
    • 1.Rb7?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...gxh4
        • 2.Qxf4#
      • 1...Se2
        • 2.Rxe2#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Bc4
        • 2.Sc2#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Bf7
        • 2.Sc2#
      • 1...Bg8
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Sh3
        • 2.Re2#
      • 1...exd3!
    • 1.Rd7?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...gxh4
        • 2.Qxf4#
      • 1...Se2
        • 2.Rxe2#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Bc4
        • 2.Sc2#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Bf7
        • 2.Sc2#
      • 1...Bg8
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Sh3
        • 2.Re2#
      • 1...exd3!
    • 1.Re7?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...gxh4
        • 2.Qxf4#
      • 1...Se2
        • 2.Rxe2#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Bc4
        • 2.Sc2#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Bf7
        • 2.Sc2#
      • 1...Bg8
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Sh3
        • 2.Re2#
      • 1...fxg3!
    • 1.Rf7?
      • 1...Bxf7
        • 2.Sc2#
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...gxh4
        • 2.Qxf4#
      • 1...Se2
        • 2.Rxe2#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Bc4
        • 2.Sc2#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Sh3
        • 2.Re2#
      • 1...exd3!
    • 1.Rg7?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...gxh4
        • 2.Qxf4#
      • 1...Se2
        • 2.Rxe2#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Bc4
        • 2.Sc2#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Bf7
        • 2.Sc2#
      • 1...Bg8
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Sh3
        • 2.Re2#
      • 1...exd3!
    • 1.Rh8?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...gxh4
        • 2.Qxf4#
      • 1...Se2
        • 2.Rxe2#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Bc4
        • 2.Sc2#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Bf7
        • 2.Sc2#
      • 1...Bg8
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Sh3
        • 2.Re2#
      • 1...exd3!
    • 1.Qxg1+?
      • 1...Sf2
        • 2.Qxf2#
      • 1...f2+!
    • 1.h5?
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...fxg3
        • 2.Bxg5#
      • 1...Se2
        • 2.Rxe2#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Bc4
        • 2.Sc2#
      • 1...Bd5
        • 2.Sc2#
      • 1...Be6
        • 2.Sc2#
      • 1...Bf7
        • 2.Sc2#
      • 1...Bg8
        • 2.Sc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Sh3
        • 2.Re2#
      • 1...exd3!
  • Keys
    • 1.Bc4!
      • 1...Bxc4
        • 2.Sc2#
      • 1...Sxc3
        • 2.Qf2#
      • 1...dxc3
        • 2.Bb6#
      • 1...exd3
        • 2.Re7#
      • 1...fxg3
        • 2.Bxg5#
      • 1...gxh4
        • 2.Qxf4#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Sb2
        • 2.Qf2#
      • 1...Sf2
        • 2.Qxf2#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 4
  • Sets
    • B(c);N_GUARD::S(A)
    • B(c);N_GUARD::S(A),XB(c)
    • S(a);N_GUARD::QAB1(G)
    • S(a);N_GUARD::QAB1(G),XS(a)
    • S(a);N_GUARD,XP(E)::QAB1(G)
    • S(b);N_GUARD::R1(C),XS(b)
    • S(b);N_GUARD::R1(C)
    • P(g);OGATEB,XP(E)::B(L)
    • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
    • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
  • Tries
    • Try
      • S(A);XB(c)
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(h);OGATEB,XS(F)::R(K)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C),XS(b)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(f);XS(A)
    • Try
      • S(F);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • B(c);N_GUARD::S(A)
        • B(c);N_GUARD::S(A),XB(c)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C),XS(b)
        • S(b);N_GUARD::R1(C)
        • P(g);OGATEB::B(L)
      • Refutation
        • P(j);XP(I)
    • Try
      • S(F);
      • Vars
        • S(a);N_GUARD,XS(F)::QAB1(G)
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C),XS(b)
        • S(b);N_GUARD::R1(C)
        • P(g);OGATEB::B(L)
      • Refutation
        • P(j);XP(I)
    • Try
      • S(F);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C),XS(b)
        • S(b);N_GUARD::R1(C)
        • P(g);OGATEB::B(L)
      • Refutation
        • P(j);XP(I)
    • Try
      • S(F);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • B(c);N_GUARD::S(A)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C),XS(b)
        • S(b);N_GUARD::R1(C)
        • P(g);OGATEB::B(L)
      • Refutation
        • P(j);XP(I)
    • Try
      • B(J);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
        • B(c);N_GUARD::S(A)
        • B(c);N_GUARD::S(A),XB(c)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C),XS(b)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(h);XS(F)
    • Try
      • B(L);XP(j)
      • Threat
        • DUALS(2)
      • Vars
        • P(h);XS(F)::QAB1(G),XP(i)
        • S(b);N_GUARD::R1(C),XS(b)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(g);XP(E)
    • Try
      • B(L);
      • Threat
        • B(L),XP(g)
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • S(b);N_GUARD::R1(C),XS(b)
      • Refutation
        • P(h);XS(F)
    • Try
      • B(L);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
        • S(b);N_GUARD::R1(C),XS(b)
        • B(c);N_GUARD::S(A)
        • B(c);N_GUARD::S(A),XB(c)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(h);XS(F)
    • Try
      • R(K);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
        • S(b);N_GUARD::R1(C),XS(b)
        • B(c);N_GUARD::S(A)
        • B(c);N_GUARD::S(A),XB(c)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(h);XS(F)
    • Try
      • R(K);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
        • S(b);N_GUARD::R1(C),XS(b)
        • B(c);N_GUARD::S(A)
        • B(c);N_GUARD::S(A),XB(c)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(h);XS(F)
    • Try
      • R(K);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
        • S(b);N_GUARD::R1(C),XS(b)
        • B(c);N_GUARD::S(A)
        • B(c);N_GUARD::S(A),XB(c)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(h);XS(F)
    • Try
      • R(K);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
        • S(b);N_GUARD::R1(C),XS(b)
        • B(c);N_GUARD::S(A)
        • B(c);N_GUARD::S(A),XB(c)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(h);XS(F)
    • Try
      • R(K);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
        • S(b);N_GUARD::R1(C),XS(b)
        • B(c);N_GUARD::S(A)
        • B(c);N_GUARD::S(A),XB(c)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(h);XS(F)
    • Try
      • R(K);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
        • S(b);N_GUARD::R1(C),XS(b)
        • B(c);N_GUARD::S(A)
        • B(c);N_GUARD::S(A),XB(c)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(i);N_SPINP(e),P_SPINP(h),XQ(G)
    • Try
      • R(K);
      • Vars
        • B(c);N_GUARD,XR(K)::S(A)
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
        • S(b);N_GUARD::R1(C),XS(b)
        • B(c);N_GUARD::S(A)
        • B(c);N_GUARD::S(A),XB(c)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(h);XS(F)
    • Try
      • R(K);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
        • S(b);N_GUARD::R1(C),XS(b)
        • B(c);N_GUARD::S(A)
        • B(c);N_GUARD::S(A),XB(c)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(h);XS(F)
    • Try
      • R(K);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
        • S(b);N_GUARD::R1(C),XS(b)
        • B(c);N_GUARD::S(A)
        • B(c);N_GUARD::S(A),XB(c)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(h);XS(F)
    • Try
      • Q(G);CHECK,N_PINP(e),XS(b)
      • Vars
        • S(a);N_GUARD,P_SPINS(a)::QAB1(G),XS(a)
      • Refutation
        • P(e);CHECK,P_SPINP(e)
    • Try
      • P(I);
      • Vars
        • S(a);N_GUARD,XP(E)::QAB1(G)
        • P(g);OGATEB,XP(E)::B(L)
        • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
        • S(b);N_GUARD::R1(C),XS(b)
        • B(c);N_GUARD::S(A)
        • B(c);N_GUARD::S(A),XB(c)
        • S(a);N_GUARD::QAB1(G)
        • S(a);N_GUARD::QAB1(G),XS(a)
        • S(b);N_GUARD::R1(C)
      • Refutation
        • P(h);XS(F)
  • Actual
    • B(J);
    • Vars
      • B(c);N_GUARD,XB(J)::S(A)
      • S(a);N_GUARD,XP(E)::QAB1(G)
      • P(g);OGATEB,XP(E)::B(L)
      • P(h);OGATEB,XS(F)::R(K)
      • P(i);N_SPINP(e),OGATEB,XQ(G)::B(L),XP(j)
      • P(j);N_GUARD,XP(I)::QAB1(G),XP(i)
      • B(c);N_GUARD::S(A)
      • B(c);N_GUARD::S(A),XB(c)
      • S(a);N_GUARD::QAB1(G)
      • S(a);N_GUARD::QAB1(G),XS(a)
      • S(b);N_GUARD::R1(C),XS(b)
      • S(b);N_GUARD::R1(C)
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).