MESON Chess Problem Database

Problem Display
PID: 154774 (1bqr4/1p4p1/pP4B1/PQ6/1PPk1p1N/N1pP1R2/3nRP2/1bB1K3 w - - 0 1)

Meschick, AG

Good Companions (May), 1916

1bqr4/1p4p1/pP4B1/PQ6/1PPk1p1N/N1pP1R2/3nRP2/1bB1K3

#2

14 + 11

SOLUTION

  • SOUND
  • Sets
    • 1...Qh3
      • 2.Qc5#
    • 1...Qg4
      • 2.Qc5#
    • 1...Qf5
      • 2.Sxf5#
    • 1...Qe6
      • 2.Qc5#
    • 1...Qd7
      • 2.Qc5#
    • 1...Qxc4
      • 2.Sf5#
    • 1...Qc5
      • 2.Qxc5#
    • 1...Qc6
      • 2.Sf5#
    • 1...Qc7
      • 2.Sf5#
    • 1...Rd5
      • 2.Qxd5#
    • 1...Rd6
      • 2.Qe5#
    • 1...Rd7
      • 2.Sf5#
    • 1...Re8
      • 2.Qd5#
    • 1...Rf8
      • 2.Qd5#
    • 1...Rg8
      • 2.Qd5#
    • 1...Rh8
      • 2.Qd5#
    • 1...Ba2
      • 2.Sc2#
    • 1...Bc2
      • 2.Sxc2#
    • 1...Bxd3
      • 2.Rxd3#
    • 1...Be5
      • 2.Qxe5#
    • 1...Bd6
      • 2.Qd5#
    • 1...Ba7
      • 2.Qe5#
    • 1...Bc7
      • 2.Qc5#
    • 1...Sf1
      • 2.Re4#
    • 1...Sb3
      • 2.Re4#
    • 1...Sxf3+
      • 2.Sxf3#
    • 1...Sxc4
      • 2.Re4#
    • 1...Se4
      • 2.Rxe4#
    • 1...c2
      • 2.Bb2#
    • 1...axb5
      • 2.Sxb5#
  • Tries
    • 1.Kd1?
      • 1...Bc2+
        • 2.Sxc2#
      • 1...Qxc4
        • 2.Sf5#
      • 1...Bxd3
        • 2.Rxd3#
      • 1...Sxf3
        • 2.Sxf3#
      • 1...Sxc4
        • 2.Re4#
      • 1...axb5
        • 2.Sxb5#
      • 1...Qh3
        • 2.Qc5#
      • 1...Qg4
        • 2.Qc5#
      • 1...Qf5
        • 2.Sxf5#
      • 1...Qe6
        • 2.Qc5#
      • 1...Qd7
        • 2.Qc5#
      • 1...Qc5
        • 2.Qxc5#
      • 1...Qc6
        • 2.Sf5#
      • 1...Qc7
        • 2.Sf5#
      • 1...Rd5
        • 2.Qxd5#
      • 1...Rd6
        • 2.Qe5#
      • 1...Rd7
        • 2.Sf5#
      • 1...Re8
        • 2.Qd5#
      • 1...Rf8
        • 2.Qd5#
      • 1...Rg8
        • 2.Qd5#
      • 1...Rh8
        • 2.Qd5#
      • 1...Ba2
        • 2.Sc2#
      • 1...Be5
        • 2.Qxe5#
      • 1...Bd6
        • 2.Qd5#
      • 1...Ba7
        • 2.Qe5#
      • 1...Bc7
        • 2.Qc5#
      • 1...Sf1
        • 2.Re4#
      • 1...Sb3
        • 2.Re4#
      • 1...Se4
        • 2.Rxe4#
      • 1...c2+!
    • 1.Sxb1?
      • 1...Sxf3+
        • 2.Sxf3#
      • 1...Qxc4
        • 2.Sf5#
      • 1...Sxb1
        • 2.Re4#
      • 1...Sxc4
        • 2.Re4#
      • 1...Qh3
        • 2.Qc5#
      • 1...Qg4
        • 2.Qc5#
      • 1...Qf5
        • 2.Sxf5#
      • 1...Qe6
        • 2.Qc5#
      • 1...Qd7
        • 2.Qc5#
      • 1...Qc5
        • 2.Qxc5#
      • 1...Qc6
        • 2.Sf5#
      • 1...Qc7
        • 2.Sf5#
      • 1...Rd5
        • 2.Qxd5#
      • 1...Rd6
        • 2.Qe5#
      • 1...Rd7
        • 2.Sf5#
      • 1...Re8
        • 2.Qd5#
      • 1...Rf8
        • 2.Qd5#
      • 1...Rg8
        • 2.Qd5#
      • 1...Rh8
        • 2.Qd5#
      • 1...Be5
        • 2.Qxe5#
      • 1...Bd6
        • 2.Qd5#
      • 1...Ba7
        • 2.Qe5#
      • 1...Bc7
        • 2.Qc5#
      • 1...Sf1
        • 2.Re4#
      • 1...Sb3
        • 2.Re4#
      • 1...Se4
        • 2.Rxe4#
      • 1...c2
        • 2.Bb2#
      • 1...axb5!
    • 1.Bb2?
      • 1...Sxf3+
        • 2.Sxf3#
      • 1...Qxc4
        • 2.Sf5#
      • 1...Bxd3
        • 2.Rxd3#
      • 1...Sxc4
        • 2.Re4#
      • 1...axb5
        • 2.Sxb5#
      • 1...Qh3
        • 2.Qc5#
      • 1...Qg4
        • 2.Qc5#
      • 1...Qf5
        • 2.Sxf5#
      • 1...Qe6
        • 2.Qc5#
      • 1...Qd7
        • 2.Qc5#
      • 1...Qc5
        • 2.Qxc5#
      • 1...Qc6
        • 2.Sf5#
      • 1...Qc7
        • 2.Sf5#
      • 1...Rd5
        • 2.Qxd5#
      • 1...Rd6
        • 2.Qe5#
      • 1...Rd7
        • 2.Sf5#
      • 1...Re8
        • 2.Qd5#
      • 1...Rf8
        • 2.Qd5#
      • 1...Rg8
        • 2.Qd5#
      • 1...Rh8
        • 2.Qd5#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Be5
        • 2.Qxe5#
      • 1...Bd6
        • 2.Qd5#
      • 1...Ba7
        • 2.Qe5#
      • 1...Bc7
        • 2.Qc5#
      • 1...Sf1
        • 2.Re4#
      • 1...Sb3
        • 2.Re4#
      • 1...Se4
        • 2.Rxe4#
      • 1...cxb2!
    • 1.Bxd2?
      • threat
        • 2.Re4#
      • 1...Bxd3
        • 2.Rxd3#
      • 1...Qf5
        • 2.Sxf5#
      • 1...Qe6
        • 2.Qc5#
      • 1...Qc6
        • 2.Sf5#
      • 1...Re8
        • 2.Qd5#
      • 1...cxd2+!
    • 1.Re6?
      • threat
        • 2.Sf5#
      • 1...Sxf3+
        • 2.Sxf3#
      • 1...Bxd3
        • 2.Rxd3#
      • 1...c2
        • 2.Bb2#
      • 1...Qc5
        • 2.Qxc5#
      • 1...Rd5
        • 2.Qxd5#
      • 1...Rf8
        • 2.Qd5#
      • 1...Qxe6+!
    • 1.Re7?
      • 1...Sxf3+
        • 2.Sxf3#
      • 1...Qxc4
        • 2.Sf5#
      • 1...Bxd3
        • 2.Rxd3#
      • 1...Sxc4
        • 2.Re4#
      • 1...axb5
        • 2.Sxb5#
      • 1...c2
        • 2.Bb2#
      • 1...Qh3
        • 2.Qc5#
      • 1...Qg4
        • 2.Qc5#
      • 1...Qf5
        • 2.Sxf5#
      • 1...Qd7
        • 2.Qc5#
      • 1...Qc5
        • 2.Qxc5#
      • 1...Qc6
        • 2.Sf5#
      • 1...Qc7
        • 2.Sf5#
      • 1...Rd5
        • 2.Qxd5#
      • 1...Rd6
        • 2.Qe5#
      • 1...Rd7
        • 2.Sf5#
      • 1...Re8
        • 2.Qd5#
      • 1...Rf8
        • 2.Qd5#
      • 1...Rg8
        • 2.Qd5#
      • 1...Rh8
        • 2.Qd5#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Be5
        • 2.Qxe5#
      • 1...Bd6
        • 2.Qd5#
      • 1...Ba7
        • 2.Qe5#
      • 1...Bc7
        • 2.Qc5#
      • 1...Sf1
        • 2.Re4#
      • 1...Sb3
        • 2.Re4#
      • 1...Se4
        • 2.Rxe4#
      • 1...Qe6+!
    • 1.Rfe3?
      • 1...Sf3+
        • 2.Sxf3#
      • 1...Qxc4
        • 2.Sf5#
      • 1...Bxd3
        • 2.Rxd3#
      • 1...Sxc4
        • 2.Sf3#
      • 1...fxe3
        • 2.fxe3#
      • 1...axb5
        • 2.Sxb5#
      • 1...c2
        • 2.Bb2#
      • 1...Qh3
        • 2.Qc5#
      • 1...Qg4
        • 2.Qc5#
      • 1...Qf5
        • 2.Sxf5#
      • 1...Qe6
        • 2.Qc5#
      • 1...Qd7
        • 2.Qc5#
      • 1...Qc5
        • 2.Qxc5#
      • 1...Qc6
        • 2.Sf5#
      • 1...Qc7
        • 2.Sf5#
      • 1...Rd5
        • 2.Qxd5#
      • 1...Rd6
        • 2.Qe5#
      • 1...Rd7
        • 2.Sf5#
      • 1...Re8
        • 2.Qd5#
      • 1...Rf8
        • 2.Qd5#
      • 1...Rg8
        • 2.Qd5#
      • 1...Rh8
        • 2.Qd5#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Be5
        • 2.Qxe5#
      • 1...Bd6
        • 2.Qd5#
      • 1...Ba7
        • 2.Qe5#
      • 1...Bc7
        • 2.Qc5#
      • 1...Sf1
        • 2.Sf3#
      • 1...Sb3
        • 2.Sf3#
      • 1...Se4
        • 2.Sf3#
      • 1...f3!
    • 1.Rh3?
      • 1...Sf3+
        • 2.Sxf3#
      • 1...Qxh3
        • 2.Qc5#
      • 1...Qxc4
        • 2.Sf5#
      • 1...Bxd3
        • 2.Rxd3#
      • 1...Sxc4
        • 2.Sf3#
        • 2.Re4#
      • 1...axb5
        • 2.Sxb5#
      • 1...c2
        • 2.Bb2#
      • 1...Qg4
        • 2.Qc5#
      • 1...Qf5
        • 2.Sxf5#
      • 1...Qe6
        • 2.Qc5#
      • 1...Qd7
        • 2.Qc5#
      • 1...Qc5
        • 2.Qxc5#
      • 1...Qc6
        • 2.Sf5#
      • 1...Qc7
        • 2.Sf5#
      • 1...Rd5
        • 2.Qxd5#
      • 1...Rd6
        • 2.Qe5#
      • 1...Rd7
        • 2.Sf5#
      • 1...Re8
        • 2.Qd5#
      • 1...Rf8
        • 2.Qd5#
      • 1...Rg8
        • 2.Qd5#
      • 1...Rh8
        • 2.Qd5#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Be5
        • 2.Qxe5#
      • 1...Bd6
        • 2.Qd5#
      • 1...Ba7
        • 2.Qe5#
      • 1...Bc7
        • 2.Qc5#
      • 1...Sf1
        • 2.Sf3#
        • 2.Re4#
      • 1...Sb3
        • 2.Sf3#
        • 2.Re4#
      • 1...Se4
        • 2.Rxe4#
      • 1...f3!
    • 1.Qd7+?
      • 1...Rxd7
        • 2.Sf5#
      • 1...Bd6
        • 2.Sf5#
      • 1...Qxd7!
    • 1.Qg5?
      • 1...Sxf3+
        • 2.Sxf3#
      • 1...Bxd3
        • 2.Rxd3#
      • 1...Sxc4
        • 2.Re4#
      • 1...c2
        • 2.Bb2#
      • 1...Qh3
        • 2.Qc5#
      • 1...Qg4
        • 2.Qc5#
      • 1...Qf5
        • 2.Sxf5#
      • 1...Qe6
        • 2.Qc5#
      • 1...Qd7
        • 2.Qc5#
      • 1...Qc5
        • 2.Qxc5#
      • 1...Qc6
        • 2.Sf5#
      • 1...Qc7
        • 2.Sf5#
      • 1...Rd5
        • 2.Qxd5#
      • 1...Rd6
        • 2.Qe5#
      • 1...Rd7
        • 2.Sf5#
      • 1...Re8
        • 2.Qd5#
      • 1...Rf8
        • 2.Qd5#
      • 1...Rg8
        • 2.Qd5#
      • 1...Rh8
        • 2.Qd5#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Be5
        • 2.Qxe5#
      • 1...Bd6
        • 2.Qd5#
      • 1...Ba7
        • 2.Qe5#
      • 1...Bc7
        • 2.Qc5#
      • 1...Sf1
        • 2.Re4#
      • 1...Sb3
        • 2.Re4#
      • 1...Se4
        • 2.Rxe4#
      • 1...Qxc4!
    • 1.Qh5?
      • 1...Sxf3+
        • 2.Sxf3#
      • 1...Bxd3
        • 2.Rxd3#
      • 1...Sxc4
        • 2.Re4#
      • 1...c2
        • 2.Bb2#
      • 1...Qh3
        • 2.Qc5#
      • 1...Qg4
        • 2.Qc5#
      • 1...Qf5
        • 2.Sxf5#
      • 1...Qe6
        • 2.Qc5#
      • 1...Qd7
        • 2.Qc5#
      • 1...Qc5
        • 2.Qxc5#
      • 1...Qc6
        • 2.Sf5#
      • 1...Qc7
        • 2.Sf5#
      • 1...Rd5
        • 2.Qxd5#
      • 1...Rd6
        • 2.Qe5#
      • 1...Rd7
        • 2.Sf5#
      • 1...Re8
        • 2.Qd5#
      • 1...Rf8
        • 2.Qd5#
      • 1...Rg8
        • 2.Qd5#
      • 1...Rh8
        • 2.Qd5#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Be5
        • 2.Qxe5#
      • 1...Bd6
        • 2.Qd5#
      • 1...Ba7
        • 2.Qe5#
      • 1...Bc7
        • 2.Qc5#
      • 1...Sf1
        • 2.Re4#
      • 1...Sb3
        • 2.Re4#
      • 1...Se4
        • 2.Rxe4#
      • 1...Qxc4!
  • Keys
    • 1.Ree3!
      • 1...Sxf3+
        • 2.Sxf3#
      • 1...Qxc4
        • 2.Sf5#
      • 1...Bxd3
        • 2.Rxd3#
      • 1...Sxc4
        • 2.Re4#
      • 1...fxe3
        • 2.fxe3#
      • 1...axb5
        • 2.Sxb5#
      • 1...c2
        • 2.Bb2#
      • 1...Qh3
        • 2.Qc5#
      • 1...Qg4
        • 2.Qc5#
      • 1...Qf5
        • 2.Sxf5#
      • 1...Qe6
        • 2.Qc5#
      • 1...Qd7
        • 2.Qc5#
      • 1...Qc5
        • 2.Qxc5#
      • 1...Qc6
        • 2.Sf5#
      • 1...Qc7
        • 2.Sf5#
      • 1...Rd5
        • 2.Qxd5#
      • 1...Rd6
        • 2.Qe5#
      • 1...Rd7
        • 2.Sf5#
      • 1...Re8
        • 2.Qd5#
      • 1...Rf8
        • 2.Qd5#
      • 1...Rg8
        • 2.Qd5#
      • 1...Rh8
        • 2.Qd5#
      • 1...Ba2
        • 2.Sc2#
      • 1...Bc2
        • 2.Sxc2#
      • 1...Be5
        • 2.Qxe5#
      • 1...Bd6
        • 2.Qd5#
      • 1...Ba7
        • 2.Qe5#
      • 1...Bc7
        • 2.Qc5#
      • 1...Sf1
        • 2.Re4#
      • 1...Sb3
        • 2.Re4#
      • 1...Se4
        • 2.Rxe4#

FEATURES

  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • Q(j);N_GUARD::QAB1(L)
    • Q(j);N_GUARD::S(J),XQ(j)
    • Q(j);N_GUARD,P_PINR(C)::QAB1(L)
    • Q(j);N_GUARD,XP(I)::S(J)
    • Q(j);N_GUARD::QAB1(L),XQ(j)
    • Q(j);N_GUARD::S(J)
    • R(k);N_GUARD::QAR1(L),XR(k)
    • R(k);S_CUTB(i)::QAB1(L)
    • R(k);S_CUTQ(j)::S(J)
    • R(k);N_GUARD,P_PINR(C)::QAR1(L)
    • R(k);N_GUARD::QAR1(L)
    • B(a);N_GUARD::S(E)
    • B(a);N_GUARD::S(E),XB(a)
    • B(a);OGATE,XP(F)::R1(G),XB(a)
    • B(i);N_GUARD::QAB1(L),XB(i)
    • B(i);S_CUTR(k)::QAR1(L)
    • B(i);N_GUARD::QAB1(L)
    • B(i);S_CUTQ(j)::QAB1(L)
    • S(b);N_GUARD::R1(C)
    • S(b);CHECK,XR(G)::S(J),XS(b)
    • S(b);N_GUARD,XP(I)::R1(C)
    • S(b);N_GUARD::R1(C),XS(b)
    • P(c);OGATEB::B(A)
    • P(f);XQ(L)::S(E),XP(f)
  • Tries
    • Try
      • K(B);P-FLIGHT
      • Vars
        • B(a);CHECK,N_GUARD::S(E),XB(a)
        • Q(j);N_GUARD,XP(I)::S(J)
        • B(a);OGATE,XP(F)::R1(G),XB(a)
        • S(b);XR(G)::S(J),XS(b)
        • S(b);N_GUARD,XP(I)::R1(C)
        • P(f);XQ(L)::S(E),XP(f)
        • Q(j);N_GUARD::QAB1(L)
        • Q(j);N_GUARD::S(J),XQ(j)
        • Q(j);N_GUARD::QAB1(L),XQ(j)
        • Q(j);N_GUARD::S(J)
        • R(k);N_GUARD::QAR1(L),XR(k)
        • R(k);S_CUTB(i)::QAB1(L)
        • R(k);S_CUTQ(j)::S(J)
        • R(k);N_GUARD::QAR1(L)
        • B(a);N_GUARD::S(E)
        • B(i);N_GUARD::QAB1(L),XB(i)
        • B(i);S_CUTR(k)::QAR1(L)
        • B(i);N_GUARD::QAB1(L)
        • B(i);S_CUTQ(j)::QAB1(L)
        • S(b);N_GUARD::R1(C)
        • S(b);N_GUARD::R1(C),XS(b)
      • Refutation
        • P(c);CHECK
    • Try
      • S(E);XB(a)
      • Vars
        • S(b);CHECK,XR(G)::S(J),XS(b)
        • Q(j);N_GUARD,XP(I)::S(J)
        • S(b);N_GUARD,XS(E)::R1(C)
        • S(b);N_GUARD,XP(I)::R1(C)
        • Q(j);N_GUARD::QAB1(L)
        • Q(j);N_GUARD::S(J),XQ(j)
        • Q(j);N_GUARD,P_PINR(C)::QAB1(L)
        • Q(j);N_GUARD::QAB1(L),XQ(j)
        • Q(j);N_GUARD::S(J)
        • R(k);N_GUARD::QAR1(L),XR(k)
        • R(k);S_CUTB(i)::QAB1(L)
        • R(k);S_CUTQ(j)::S(J)
        • R(k);N_GUARD,P_PINR(C)::QAR1(L)
        • R(k);N_GUARD::QAR1(L)
        • B(i);N_GUARD::QAB1(L),XB(i)
        • B(i);S_CUTR(k)::QAR1(L)
        • B(i);N_GUARD::QAB1(L)
        • B(i);S_CUTQ(j)::QAB1(L)
        • S(b);N_GUARD::R1(C)
        • S(b);N_GUARD::R1(C),XS(b)
        • P(c);OGATEB::B(A)
      • Refutation
        • P(f);XQ(L)
    • Try
      • B(A);P_PINP(c)
      • Vars
        • S(b);CHECK,XR(G)::S(J),XS(b)
        • Q(j);N_GUARD,XP(I)::S(J)
        • B(a);OGATE,XP(F)::R1(G),XB(a)
        • S(b);N_GUARD,XP(I)::R1(C)
        • P(f);XQ(L)::S(E),XP(f)
        • Q(j);N_GUARD::QAB1(L)
        • Q(j);N_GUARD::S(J),XQ(j)
        • Q(j);N_GUARD,P_PINR(C)::QAB1(L)
        • Q(j);N_GUARD::QAB1(L),XQ(j)
        • Q(j);N_GUARD::S(J)
        • R(k);N_GUARD::QAR1(L),XR(k)
        • R(k);S_CUTB(i)::QAB1(L)
        • R(k);S_CUTQ(j)::S(J)
        • R(k);N_GUARD,P_PINR(C)::QAR1(L)
        • R(k);N_GUARD::QAR1(L)
        • B(a);N_GUARD::S(E)
        • B(a);N_GUARD::S(E),XB(a)
        • B(i);N_GUARD::QAB1(L),XB(i)
        • B(i);S_CUTR(k)::QAR1(L)
        • B(i);N_GUARD::QAB1(L)
        • B(i);S_CUTQ(j)::QAB1(L)
        • S(b);N_GUARD::R1(C)
        • S(b);N_GUARD::R1(C),XS(b)
      • Refutation
        • P(c);N_SPINP(c),XB(A)
    • Try
      • B(A);XS(b)
      • Threat
        • R1(C)
      • Vars
        • B(a);OGATE,XP(F)::R1(G),XB(a)
        • Q(j);N_GUARD::S(J),XQ(j)
        • Q(j);N_GUARD,P_PINR(C)::QAB1(L)
        • Q(j);N_GUARD::S(J)
        • R(k);N_GUARD,P_PINR(C)::QAR1(L)
      • Refutation
        • P(c);CHECK,XB(A)
    • Try
      • R(C);
      • Threat
        • S(J)
      • Vars
        • S(b);CHECK,XR(G)::S(J),XS(b)
        • B(a);OGATE,XP(F)::R1(G),XB(a)
        • P(c);OGATEB::B(A)
        • Q(j);N_GUARD::QAB1(L),XQ(j)
        • R(k);N_GUARD::QAR1(L),XR(k)
        • R(k);N_GUARD::QAR1(L)
      • Refutation
        • Q(j);CHECK,XR(C)
    • Try
      • R(C);
      • Vars
        • S(b);CHECK,XR(G)::S(J),XS(b)
        • Q(j);N_GUARD,XP(I)::S(J)
        • B(a);OGATE,XP(F)::R1(G),XB(a)
        • S(b);N_GUARD,XP(I)::R1(C)
        • P(f);XQ(L)::S(E),XP(f)
        • P(c);OGATEB::B(A)
        • Q(j);N_GUARD::QAB1(L)
        • Q(j);N_GUARD::S(J),XQ(j)
        • Q(j);N_GUARD::QAB1(L),XQ(j)
        • Q(j);N_GUARD::S(J)
        • R(k);N_GUARD::QAR1(L),XR(k)
        • R(k);S_CUTB(i)::QAB1(L)
        • R(k);S_CUTQ(j)::S(J)
        • R(k);N_GUARD,P_PINR(C)::QAR1(L)
        • R(k);N_GUARD::QAR1(L)
        • B(a);N_GUARD::S(E)
        • B(a);N_GUARD::S(E),XB(a)
        • B(i);N_GUARD::QAB1(L),XB(i)
        • B(i);S_CUTR(k)::QAR1(L)
        • B(i);N_GUARD::QAB1(L)
        • B(i);S_CUTQ(j)::QAB1(L)
        • S(b);N_GUARD::R1(C)
        • S(b);N_GUARD::R1(C),XS(b)
      • Refutation
        • Q(j);CHECK
    • Try
      • R(G);
      • Vars
        • S(b);CHECK,N_GUARD::S(J),XS(b)
        • Q(j);N_GUARD,XP(I)::S(J)
        • B(a);OGATE,XP(F)::R1(G),XB(a)
        • S(b);N_GUARD,XP(I)::S(J)
        • P(e);OGATE,XR(G)::P(D),XP(e)
        • P(f);XQ(L)::S(E),XP(f)
        • P(c);OGATEB::B(A)
        • Q(j);N_GUARD::QAB1(L)
        • Q(j);N_GUARD::S(J),XQ(j)
        • Q(j);N_GUARD::QAB1(L),XQ(j)
        • Q(j);N_GUARD::S(J)
        • R(k);N_GUARD::QAR1(L),XR(k)
        • R(k);S_CUTB(i)::QAB1(L)
        • R(k);S_CUTQ(j)::S(J)
        • R(k);N_GUARD::QAR1(L)
        • B(a);N_GUARD::S(E)
        • B(a);N_GUARD::S(E),XB(a)
        • B(i);N_GUARD::QAB1(L),XB(i)
        • B(i);S_CUTR(k)::QAR1(L)
        • B(i);N_GUARD::QAB1(L)
        • B(i);S_CUTQ(j)::QAB1(L)
        • S(b);N_GUARD::S(J)
      • Refutation
        • P(e);
    • Try
      • R(G);
      • Vars
        • S(b);CHECK,N_GUARD::S(J),XS(b)
        • Q(j);N_GUARD,XR(G)::QAB1(L)
        • Q(j);N_GUARD,XP(I)::S(J)
        • B(a);OGATE,XP(F)::R1(G),XB(a)
        • P(f);XQ(L)::S(E),XP(f)
        • P(c);OGATEB::B(A)
        • Q(j);N_GUARD::QAB1(L)
        • Q(j);N_GUARD::S(J),XQ(j)
        • Q(j);N_GUARD,P_PINR(C)::QAB1(L)
        • Q(j);N_GUARD::QAB1(L),XQ(j)
        • Q(j);N_GUARD::S(J)
        • R(k);N_GUARD::QAR1(L),XR(k)
        • R(k);S_CUTB(i)::QAB1(L)
        • R(k);S_CUTQ(j)::S(J)
        • R(k);N_GUARD,P_PINR(C)::QAR1(L)
        • R(k);N_GUARD::QAR1(L)
        • B(a);N_GUARD::S(E)
        • B(a);N_GUARD::S(E),XB(a)
        • B(i);N_GUARD::QAB1(L),XB(i)
        • B(i);S_CUTR(k)::QAR1(L)
        • B(i);N_GUARD::QAB1(L)
        • B(i);S_CUTQ(j)::QAB1(L)
        • S(b);N_GUARD::R1(C),XS(b)
      • Refutation
        • P(e);
    • Try
      • Q(L);CHECK
      • Vars
        • R(k);XQ(L)::S(J)
        • B(i);P_SPINB(i)::S(J)
      • Refutation
        • Q(j);XQ(L)
    • Try
      • Q(L);
      • Vars
        • S(b);CHECK,XR(G)::S(J),XS(b)
        • B(a);OGATE,XP(F)::R1(G),XB(a)
        • S(b);N_GUARD,XP(I)::R1(C)
        • P(c);OGATEB::B(A)
        • Q(j);N_GUARD::QAB1(L)
        • Q(j);N_GUARD::S(J),XQ(j)
        • Q(j);N_GUARD,P_PINR(C)::QAB1(L)
        • Q(j);N_GUARD::QAB1(L),XQ(j)
        • Q(j);N_GUARD::S(J)
        • R(k);N_GUARD::QAR1(L),XR(k)
        • R(k);S_CUTB(i)::QAB1(L)
        • R(k);S_CUTQ(j)::S(J)
        • R(k);N_GUARD,P_PINR(C)::QAR1(L)
        • R(k);N_GUARD::QAR1(L)
        • B(a);N_GUARD::S(E)
        • B(a);N_GUARD::S(E),XB(a)
        • B(i);N_GUARD::QAB1(L),XB(i)
        • B(i);S_CUTR(k)::QAR1(L)
        • B(i);N_GUARD::QAB1(L)
        • B(i);S_CUTQ(j)::QAB1(L)
        • S(b);N_GUARD::R1(C)
        • S(b);N_GUARD::R1(C),XS(b)
      • Refutation
        • Q(j);XP(I)
    • Try
      • Q(L);
      • Vars
        • S(b);CHECK,XR(G)::S(J),XS(b)
        • B(a);OGATE,XP(F)::R1(G),XB(a)
        • S(b);N_GUARD,XP(I)::R1(C)
        • P(c);OGATEB::B(A)
        • Q(j);N_GUARD::QAB1(L)
        • Q(j);N_GUARD::S(J),XQ(j)
        • Q(j);N_GUARD,P_PINR(C)::QAB1(L)
        • Q(j);N_GUARD::QAB1(L),XQ(j)
        • Q(j);N_GUARD::S(J)
        • R(k);N_GUARD::QAR1(L),XR(k)
        • R(k);S_CUTB(i)::QAB1(L)
        • R(k);S_CUTQ(j)::S(J)
        • R(k);N_GUARD,P_PINR(C)::QAR1(L)
        • R(k);N_GUARD::QAR1(L)
        • B(a);N_GUARD::S(E)
        • B(a);N_GUARD::S(E),XB(a)
        • B(i);N_GUARD::QAB1(L),XB(i)
        • B(i);S_CUTR(k)::QAR1(L)
        • B(i);N_GUARD::QAB1(L)
        • B(i);S_CUTQ(j)::QAB1(L)
        • S(b);N_GUARD::R1(C)
        • S(b);N_GUARD::R1(C),XS(b)
      • Refutation
        • Q(j);XP(I)
  • Actual
    • R(C);
    • Vars
      • S(b);CHECK,XR(G)::S(J),XS(b)
      • Q(j);N_GUARD,XP(I)::S(J)
      • B(a);OGATE,XP(F)::R1(C),XB(a)
      • S(b);N_GUARD,XP(I)::R1(C)
      • P(e);OGATE,XR(C)::P(D),XP(e)
      • P(f);XQ(L)::S(E),XP(f)
      • P(c);OGATEB::B(A)
      • Q(j);N_GUARD::QAB1(L)
      • Q(j);N_GUARD::S(J),XQ(j)
      • Q(j);N_GUARD,P_PINR(C)::QAB1(L)
      • Q(j);N_GUARD::QAB1(L),XQ(j)
      • Q(j);N_GUARD::S(J)
      • R(k);N_GUARD::QAR1(L),XR(k)
      • R(k);S_CUTB(i)::QAB1(L)
      • R(k);S_CUTQ(j)::S(J)
      • R(k);N_GUARD,P_PINR(C)::QAR1(L)
      • R(k);N_GUARD::QAR1(L)
      • B(a);N_GUARD::S(E)
      • B(a);N_GUARD::S(E),XB(a)
      • B(i);N_GUARD::QAB1(L),XB(i)
      • B(i);S_CUTR(k)::QAR1(L)
      • B(i);N_GUARD::QAB1(L)
      • B(i);S_CUTQ(j)::QAB1(L)
      • S(b);N_GUARD::R1(C)
      • S(b);N_GUARD::R1(C),XS(b)
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).