MESON Chess Problem Database

Problem Display
PID: 149104 (1n6/8/2nP4/2R1bp2/B1N1kppQ/2Ppp3/3PP2B/1K3R1N w - - 0 1)

Lewis, Brian Noel

Prize, Stratford Express, 1945

1n6/8/2nP4/2R1bp2/B1N1kppQ/2Ppp3/3PP2B/1K3R1N

#2

12 + 9

15 British Chess Magazine 1945

SOLUTION

  • SOUND
  • Sets
    • 1...Bxc3
      • 2.Rxf4#
    • 1...Bd4
      • 2.Rxf4#
    • 1...Bxd6
      • 2.Sxd6#
    • 1...Bf6
      • 2.Rxf4#
    • 1...Bg7
      • 2.Rxf4#
    • 1...Bh8
      • 2.Rxf4#
    • 1...Sb4
      • 2.Rxe5#
    • 1...Sd4
      • 2.Rxe5#
    • 1...Sa5
      • 2.Rxe5#
    • 1...Sa7
      • 2.Rxe5#
    • 1...Se7
      • 2.Rxe5#
    • 1...Sd8
      • 2.Rxe5#
    • 1...Sa6
      • 2.Bxc6#
    • 1...Sd7
      • 2.Bxc6#
    • 1...dxe2
      • 2.Bc2#
    • 1...exd2
      • 2.Sf2#
    • 1...f3
      • 2.exf3#
    • 1...g3
      • 2.Sxg3#
  • Tries
    • 1.Ka1?
      • 1...Bxd6
        • 2.Sxd6#
      • 1...dxe2
        • 2.Bc2#
      • 1...exd2
        • 2.Sf2#
      • 1...Bd4
        • 2.Rxf4#
      • 1...Bf6
        • 2.Rxf4#
      • 1...Bg7
        • 2.Rxf4#
      • 1...Bh8
        • 2.Rxf4#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa5
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sa6
        • 2.Bxc6#
      • 1...Sd7
        • 2.Bxc6#
      • 1...f3
        • 2.exf3#
      • 1...g3
        • 2.Sxg3#
      • 1...Bxc3+!
    • 1.Kc1?
      • 1...Bxc3
        • 2.Rxf4#
      • 1...Bxd6
        • 2.Sxd6#
      • 1...dxe2
        • 2.Bc2#
      • 1...Bd4
        • 2.Rxf4#
      • 1...Bf6
        • 2.Rxf4#
      • 1...Bg7
        • 2.Rxf4#
      • 1...Bh8
        • 2.Rxf4#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa5
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sa6
        • 2.Bxc6#
      • 1...Sd7
        • 2.Bxc6#
      • 1...f3
        • 2.exf3#
      • 1...g3
        • 2.Sxg3#
      • 1...exd2+!
    • 1.Ka2?
      • 1...Bxc3
        • 2.Rxf4#
      • 1...Bxd6
        • 2.Sxd6#
      • 1...dxe2
        • 2.Bc2#
      • 1...exd2
        • 2.Sf2#
      • 1...Bd4
        • 2.Rxf4#
      • 1...Bf6
        • 2.Rxf4#
      • 1...Bg7
        • 2.Rxf4#
      • 1...Bh8
        • 2.Rxf4#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa5
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sa6
        • 2.Bxc6#
      • 1...Sd7
        • 2.Bxc6#
      • 1...f3
        • 2.exf3#
      • 1...g3
        • 2.Sxg3#
      • 1...Sb4+!
    • 1.Kb2?
      • 1...Bxd6
        • 2.Sxd6#
      • 1...dxe2
        • 2.Bc2#
      • 1...exd2
        • 2.Sf2#
      • 1...Bd4
        • 2.Rxf4#
      • 1...Bf6
        • 2.Rxf4#
      • 1...Bg7
        • 2.Rxf4#
      • 1...Bh8
        • 2.Rxf4#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa5
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sa6
        • 2.Bxc6#
      • 1...Sd7
        • 2.Bxc6#
      • 1...f3
        • 2.exf3#
      • 1...g3
        • 2.Sxg3#
      • 1...Bxc3+!
    • 1.Sxe3?
      • threat
        • 2.Sf2#
      • 1...Bxc3
        • 2.Rxf4#
      • 1...dxe2
        • 2.Bc2#
      • 1...g3
        • 2.Sxg3#
      • 1...fxe3!
    • 1.Sxe5?
      • threat
        • 2.Rxf4#
        • 2.exd3#
      • 1...Sxe5
        • 2.Rxf4#
      • 1...dxe2
        • 2.Bc2#
        • 2.Rxf4#
        • 2.d3#
      • 1...Sb4
        • 2.Rxf4#
      • 1...f3
        • 2.exd3#
        • 2.exf3#
      • 1...exd2!
    • 1.Bg3?
      • 1...Bxc3
        • 2.Rxf4#
      • 1...Bxd6
        • 2.Sxd6#
      • 1...dxe2
        • 2.Bc2#
      • 1...exd2
        • 2.Sf2#
      • 1...Bd4
        • 2.Rxf4#
      • 1...Bf6
        • 2.Rxf4#
      • 1...Bg7
        • 2.Rxf4#
      • 1...Bh8
        • 2.Rxf4#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa5
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sa6
        • 2.Bxc6#
      • 1...Sd7
        • 2.Bxc6#
      • 1...f3
        • 2.exf3#
      • 1...fxg3!
    • 1.Bc2?
      • threat
        • 2.Bxd3#
        • 2.exd3#
      • 1...Bxc3
        • 2.Rxf4#
      • 1...Sb4
        • 2.Rxe5#
      • 1...dxc2+!
    • 1.Bb5?
      • 1...Bxc3
        • 2.Rxf4#
      • 1...Bxd6
        • 2.Sxd6#
      • 1...exd2
        • 2.Sf2#
      • 1...Sa6
        • 2.Bxc6#
      • 1...Bd4
        • 2.Rxf4#
      • 1...Bf6
        • 2.Rxf4#
      • 1...Bg7
        • 2.Rxf4#
      • 1...Bh8
        • 2.Rxf4#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa5
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sd7
        • 2.Bxc6#
      • 1...f3
        • 2.exf3#
      • 1...g3
        • 2.Sxg3#
      • 1...dxe2!
    • 1.Rf2?
      • 1...Bxc3
        • 2.Rxf4#
      • 1...Bxd6
        • 2.Sxd6#
      • 1...dxe2
        • 2.Bc2#
      • 1...exf2
        • 2.Sxf2#
      • 1...Sa6
        • 2.Bxc6#
      • 1...Bd4
        • 2.Rxf4#
      • 1...Bf6
        • 2.Rxf4#
      • 1...Bg7
        • 2.Rxf4#
      • 1...Bh8
        • 2.Rxf4#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa5
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sd7
        • 2.Bxc6#
      • 1...f3
        • 2.exf3#
      • 1...g3
        • 2.Sxg3#
      • 1...exd2!
    • 1.Rf3?
      • 1...Bxc3
        • 2.Rxf4#
      • 1...Bxd6
        • 2.Sxd6#
      • 1...exd2
        • 2.Sf2#
        • 2.Sxd2#
      • 1...gxf3
        • 2.Sg3#
      • 1...Sa6
        • 2.Bxc6#
      • 1...Bd4
        • 2.Rxf4#
      • 1...Bf6
        • 2.Rxf4#
      • 1...Bg7
        • 2.Rxf4#
      • 1...Bh8
        • 2.Rxf4#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa5
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sd7
        • 2.Bxc6#
      • 1...g3
        • 2.Sxg3#
        • 2.Rxe3#
      • 1...dxe2!
    • 1.Ra5?
      • 1...Bxc3
        • 2.Rxf4#
      • 1...Bxd6
        • 2.Sxd6#
      • 1...dxe2
        • 2.Bc2#
      • 1...exd2
        • 2.Sf2#
      • 1...Sa6
        • 2.Bxc6#
      • 1...Bd4
        • 2.Rxf4#
      • 1...Bf6
        • 2.Rxf4#
      • 1...Bg7
        • 2.Rxf4#
      • 1...Bh8
        • 2.Rxf4#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sd7
        • 2.Bxc6#
      • 1...f3
        • 2.exf3#
      • 1...g3
        • 2.Sxg3#
      • 1...Sxa5!
    • 1.Qg5?
      • 1...Bxc3
        • 2.Rxf4#
        • 2.Qxf4#
      • 1...Bxd6
        • 2.Sxd6#
        • 2.Qxf5#
      • 1...dxe2
        • 2.Bc2#
      • 1...exd2
        • 2.Sf2#
      • 1...Sa6
        • 2.Bxc6#
      • 1...Bd4
        • 2.Rxf4#
        • 2.Qxf4#
        • 2.Qxf5#
      • 1...Bf6
        • 2.Rxf4#
        • 2.Qxf4#
        • 2.Qxf5#
      • 1...Bg7
        • 2.Rxf4#
        • 2.Qxf4#
        • 2.Qxf5#
      • 1...Bh8
        • 2.Rxf4#
        • 2.Qxf4#
        • 2.Qxf5#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa5
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sd7
        • 2.Bxc6#
      • 1...f3
        • 2.Qxe3#
      • 1...g3!
    • 1.Qxg4?
      • threat
        • 2.Sg3#
        • 2.Qf3#
      • 1...Bxc3
        • 2.Rxf4#
        • 2.Qxf4#
      • 1...dxe2
        • 2.Bc2#
      • 1...Sd4
        • 2.Sg3#
        • 2.Rxe5#
      • 1...fxg4!
    • 1.Qh5?
      • 1...Bxc3
        • 2.Rxf4#
      • 1...Bxd6
        • 2.Sxd6#
        • 2.Qxf5#
      • 1...dxe2
        • 2.Bc2#
      • 1...exd2
        • 2.Sf2#
      • 1...Bd4
        • 2.Rxf4#
        • 2.Qxf5#
      • 1...Bf6
        • 2.Rxf4#
        • 2.Qxf5#
      • 1...Bg7
        • 2.Rxf4#
        • 2.Qxf5#
      • 1...Bh8
        • 2.Rxf4#
        • 2.Qxf5#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa5
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sa6
        • 2.Bxc6#
      • 1...Sd7
        • 2.Bxc6#
      • 1...g3
        • 2.Qf3#
      • 1...f3!
    • 1.Qh6?
      • 1...Bxc3
        • 2.Rxf4#
        • 2.Qxf4#
      • 1...Bxd6
        • 2.Sxd6#
      • 1...dxe2
        • 2.Bc2#
      • 1...exd2
        • 2.Sf2#
      • 1...f3
        • 2.Qxe3#
      • 1...Bd4
        • 2.Rxf4#
        • 2.Qxf4#
      • 1...Bf6
        • 2.Rxf4#
        • 2.Qxf4#
      • 1...Bg7
        • 2.Rxf4#
        • 2.Qxf4#
      • 1...Bh8
        • 2.Rxf4#
        • 2.Qxf4#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa5
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sa6
        • 2.Bxc6#
      • 1...Sd7
        • 2.Bxc6#
      • 1...g3!
    • 1.dxe3?
      • threat
        • 2.Sf2#
      • 1...dxe2
        • 2.Bc2#
      • 1...g3
        • 2.Sxg3#
      • 1...fxe3!
    • 1.d7?
      • 1...Bxc3
        • 2.Rxf4#
      • 1...Sxd7
        • 2.Bxc6#
      • 1...dxe2
        • 2.Bc2#
      • 1...exd2
        • 2.Sf2#
      • 1...f3
        • 2.exf3#
      • 1...Bd4
        • 2.Sd6#
        • 2.Rxf4#
      • 1...Bd6
        • 2.Sxd6#
      • 1...Bf6
        • 2.Sd6#
        • 2.Rxf4#
      • 1...Bg7
        • 2.Sd6#
        • 2.Rxf4#
      • 1...Bh8
        • 2.Sd6#
        • 2.Rxf4#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa5
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sa6
        • 2.Bxc6#
      • 1...g3
        • 2.Sxg3#
      • 1...Bc7!
  • Keys
    • 1.Qf2!
      • 1...Bxc3
        • 2.Qxf4#
      • 1...Bxd6
        • 2.Sxd6#
      • 1...dxe2
        • 2.Bc2#
      • 1...exd2
        • 2.Sxd2#
      • 1...exf2
        • 2.Sxf2#
      • 1...Sa6
        • 2.Bxc6#
      • 1...Bd4
        • 2.Qxf4#
      • 1...Bf6
        • 2.Qxf4#
      • 1...Bg7
        • 2.Qxf4#
      • 1...Bh8
        • 2.Qxf4#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sd4
        • 2.Rxe5#
      • 1...Sa5
        • 2.Rxe5#
      • 1...Sa7
        • 2.Rxe5#
      • 1...Se7
        • 2.Rxe5#
      • 1...Sd8
        • 2.Rxe5#
      • 1...Sd7
        • 2.Bxc6#
      • 1...f3
        • 2.Qxe3#
      • 1...g3
        • 2.Qf3#

FEATURES

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