MESON Chess Problem Database

Problem Display
PID: 101279 (4r3/R7/R2qkPB1/3pN1P1/5Pp1/2P3n1/6Q1/K7 w - - 0 1)

Watson, Thomas

Good Companions, 1920

4r3/R7/R2qkPB1/3pN1P1/5Pp1/2P3n1/6Q1/K7

#2

10 + 6

6490 yacpdb 2009

SOLUTION

  • SOUND
  • Sets
    • 1...Qxa6+
      • 2.Rxa6#
    • 1...Qb6
      • 2.Rxb6#
    • 1...Qc6
      • 2.Rxc6#
    • 1...Re7
      • 2.Rxe7#
    • 1...Ra8
      • 2.Re7#
    • 1...Rb8
      • 2.Re7#
    • 1...Rc8
      • 2.Re7#
    • 1...Rd8
      • 2.Re7#
    • 1...Rf8
      • 2.Re7#
    • 1...Rg8
      • 2.Re7#
    • 1...Rh8
      • 2.Re7#
    • 1...Sf1
      • 2.Qxg4#
    • 1...Sh1
      • 2.Qxg4#
    • 1...Se2
      • 2.Qxg4#
    • 1...Se4
      • 2.Qxg4#
    • 1...Sf5
      • 2.Bf7#
    • 1...Sh5
      • 2.Qxg4#
    • 1...d4
      • 2.Qa2#
  • Tries
    • 1.Kb1?
      • 1...Qb6+
        • 2.Rxb6#
      • 1...Qxa6
        • 2.Rxa6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.Qxg4#
      • 1...Sh1
        • 2.Qxg4#
      • 1...Se2
        • 2.Qxg4#
      • 1...Se4
        • 2.Qxg4#
      • 1...Sf5
        • 2.Bf7#
      • 1...Sh5
        • 2.Qxg4#
      • 1...d4
        • 2.Qa2#
      • 1...Rb8+!
    • 1.Ka2?
      • 1...Qxa6+
        • 2.Rxa6#
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rb8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.Qxg4#
      • 1...Sh1
        • 2.Qxg4#
      • 1...Se2
        • 2.Qxg4#
      • 1...Se4
        • 2.Qxg4#
      • 1...Sf5
        • 2.Bf7#
      • 1...Sh5
        • 2.Qxg4#
      • 1...d4!
    • 1.Sd3?
      • threat
        • 2.Sc5#
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...Rc8
        • 2.Re7#
      • 1...Se4
        • 2.Qxg4#
        • 2.f5#
      • 1...Qxa6+!
    • 1.Sxg4?
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...d4
        • 2.Qa2#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rb8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.f5#
      • 1...Sh1
        • 2.Qe2#
        • 2.f5#
      • 1...Se2
        • 2.Qxe2#
        • 2.f5#
      • 1...Se4
        • 2.f5#
      • 1...Sf5
        • 2.Bf7#
      • 1...Sh5
        • 2.Qe2#
        • 2.f5#
      • 1...Qxa6+!
    • 1.Bb1?
      • 1...Qxa6+
        • 2.Rxa6#
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...Se4
        • 2.Qxg4#
      • 1...d4
        • 2.Qa2#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rb8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.Qxg4#
      • 1...Sh1
        • 2.Qxg4#
      • 1...Se2
        • 2.Qxg4#
      • 1...Sh5
        • 2.Qxg4#
      • 1...Sf5!
    • 1.Bd3?
      • 1...Qxa6+
        • 2.Rxa6#
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...Se4
        • 2.Qxg4#
      • 1...d4
        • 2.Qa2#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rb8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.Qxg4#
      • 1...Sh1
        • 2.Qxg4#
      • 1...Se2
        • 2.Qxg4#
      • 1...Sh5
        • 2.Qxg4#
      • 1...Sf5!
    • 1.Be4?
      • 1...Qxa6+
        • 2.Rxa6#
      • 1...Sxe4
        • 2.Qxg4#
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...Sf5
        • 2.Bxd5#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rb8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.Qxg4#
      • 1...Sh1
        • 2.Qxg4#
      • 1...Se2
        • 2.Qxg4#
      • 1...Sh5
        • 2.Qxg4#
      • 1...d4
        • 2.Qa2#
      • 1...dxe4!
    • 1.Bh7?
      • 1...Qxa6+
        • 2.Rxa6#
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rb8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.Qxg4#
      • 1...Sh1
        • 2.Qxg4#
      • 1...Se2
        • 2.Qxg4#
      • 1...Se4
        • 2.Qxg4#
      • 1...Sh5
        • 2.Qxg4#
      • 1...d4
        • 2.Qa2#
      • 1...Sf5!
    • 1.Rb7?
      • 1...Qb6
        • 2.Raxb6#
        • 2.Rbxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...Sf5
        • 2.Bf7#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rb8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.Qxg4#
      • 1...Sh1
        • 2.Qxg4#
      • 1...Se2
        • 2.Qxg4#
      • 1...Se4
        • 2.Qxg4#
      • 1...Sh5
        • 2.Qxg4#
      • 1...d4
        • 2.Qa2#
      • 1...Qxa6+!
    • 1.Rc7?
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Raxc6#
        • 2.Rcxc6#
      • 1...Sf5
        • 2.Bf7#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rb8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.Qxg4#
      • 1...Sh1
        • 2.Qxg4#
      • 1...Se2
        • 2.Qxg4#
      • 1...Se4
        • 2.Qxg4#
      • 1...Sh5
        • 2.Qxg4#
      • 1...d4
        • 2.Qa2#
      • 1...Qxa6+!
    • 1.Rd7?
      • threat
        • 2.Raxd6#
        • 2.Rdxd6#
      • 1...Sf5
        • 2.Bf7#
      • 1...Qb6
        • 2.Rxb6#
        • 2.Qxd5#
      • 1...Qc6
        • 2.Rxc6#
        • 2.Qxd5#
      • 1...Ra8
        • 2.Rxd6#
        • 2.Re7#
      • 1...Rd8
        • 2.Raxd6#
        • 2.Re7#
      • 1...Se4
        • 2.Qxg4#
      • 1...Qxa6+!
    • 1.Rg7?
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...Sf5
        • 2.Bf7#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rb8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.Qxg4#
      • 1...Sh1
        • 2.Qxg4#
      • 1...Se2
        • 2.Qxg4#
      • 1...Se4
        • 2.Qxg4#
      • 1...Sh5
        • 2.Qxg4#
      • 1...d4
        • 2.Qa2#
      • 1...Qxa6+!
    • 1.Rh7?
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...Sf5
        • 2.Bf7#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rb8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.Qxg4#
      • 1...Sh1
        • 2.Qxg4#
      • 1...Se2
        • 2.Qxg4#
      • 1...Se4
        • 2.Qxg4#
      • 1...Sh5
        • 2.Qxg4#
      • 1...d4
        • 2.Qa2#
      • 1...Qxa6+!
    • 1.Qg1?
      • 1...Qxa6+
        • 2.Rxa6#
      • 1...Qb6
        • 2.Rxb6#
        • 2.Qxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...Sf5
        • 2.Bf7#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rb8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.Qxg4#
      • 1...Sh1
        • 2.Qxg4#
      • 1...Se2
        • 2.Qxg4#
      • 1...Se4
        • 2.Qxg4#
      • 1...Sh5
        • 2.Qxg4#
      • 1...d4!
    • 1.Qc2?
      • threat
        • 2.Bf7#
      • 1...Qxa6+
        • 2.Rxa6#
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...Re7
        • 2.Rxe7#
      • 1...Rf8
        • 2.Re7#
      • 1...Se4!
    • 1.Qe2?
      • 1...Qxa6+
        • 2.Rxa6#
        • 2.Qxa6#
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...d4
        • 2.Qc4#
        • 2.Qa2#
      • 1...Sf5
        • 2.Bf7#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rb8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.Qxg4#
        • 2.f5#
      • 1...Sh1
        • 2.Sd3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sxg4#
        • 2.Sd7#
        • 2.Sf7#
        • 2.Qxg4#
        • 2.f5#
      • 1...Se4
        • 2.Qxg4#
      • 1...Sh5
        • 2.Sd3#
        • 2.Sf3#
        • 2.Sc4#
        • 2.Sxg4#
        • 2.Sd7#
        • 2.Sf7#
        • 2.Qxg4#
        • 2.f5#
      • 1...Sxe2!
    • 1.Qxg3?
      • threat
        • 2.Qxg4#
        • 2.f5#
      • 1...Qxa6+
        • 2.Rxa6#
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...d4!
    • 1.c4?
      • threat
        • 2.Qxd5#
        • 2.cxd5#
      • 1...Qxa6+
        • 2.Rxa6#
      • 1...Qb6
        • 2.Rxb6#
        • 2.Qxd5#
      • 1...Qc6
        • 2.Rxc6#
        • 2.Qxd5#
      • 1...Se4
        • 2.Qxg4#
      • 1...d4
        • 2.Qd5#
      • 1...dxc4!
  • Keys
    • 1.Qh2!
      • 1...Qxa6+
        • 2.Rxa6#
      • 1...Qb6
        • 2.Rxb6#
      • 1...Qc6
        • 2.Rxc6#
      • 1...d4
        • 2.Qa2#
      • 1...Sf5
        • 2.Bf7#
      • 1...Re7
        • 2.Rxe7#
      • 1...Ra8
        • 2.Re7#
      • 1...Rb8
        • 2.Re7#
      • 1...Rc8
        • 2.Re7#
      • 1...Rd8
        • 2.Re7#
      • 1...Rf8
        • 2.Re7#
      • 1...Rg8
        • 2.Re7#
      • 1...Rh8
        • 2.Re7#
      • 1...Sf1
        • 2.f5#
      • 1...Sh1
        • 2.f5#
      • 1...Se2
        • 2.f5#
      • 1...Se4
        • 2.f5#
      • 1...Sh5
        • 2.f5#

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 5
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • Q(d);CHECK,N_SPINQ(d),OGATE,XR(G)::R(J),XQ(d)
    • Q(d);OGATEB::R(G),XQ(d)
    • R(f);N_GUARD::R1(J),XR(f)
    • R(f);N_GUARD::R1(J)
    • S(a);OGATE::QAB(B),XP(b)
    • S(a);SBLOCK::B(I)
    • P(c);OGATEB::QAB(B)
  • Tries
    • Try
      • K(A);P-FLIGHT
      • Vars
        • Q(d);CHECK,OGATEB::R(G),XQ(d)
        • Q(d);N_SPINQ(d),OGATE,XR(G)::R(J),XQ(d)
        • Q(d);OGATEB::R(G),XQ(d)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD::R1(J)
        • S(a);OGATE::QAB(B),XP(b)
        • S(a);SBLOCK::B(I)
        • P(c);OGATEB::QAB(B)
      • Refutation
        • R(f);CHECK
    • Try
      • K(A);P-FLIGHT
      • Vars
        • Q(d);CHECK,N_SPINQ(d),OGATE,XR(G)::R(J),XQ(d)
        • Q(d);OGATEB::R(G),XQ(d)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD::R1(J)
        • S(a);OGATE::QAB(B),XP(b)
        • S(a);SBLOCK::B(I)
      • Refutation
        • P(c);
    • Try
      • S(E);
      • Threat
        • S(E)
      • Vars
        • Q(d);OGATEB::R(G),XQ(d)
        • R(f);N_GUARD::R1(J)
      • Refutation
        • Q(d);CHECK,N_SPINQ(d),XR(G)
    • Try
      • S(E);XP(b)
      • Vars
        • Q(d);OGATEB::R(G),XQ(d)
        • P(c);OGATEB::QAB(B)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD::R1(J)
        • S(a);N_GUARD::P(D)
        • S(a);SBLOCK::B(I)
      • Refutation
        • Q(d);CHECK,N_SPINQ(d),XR(G)
    • Try
      • B(I);
      • Vars
        • Q(d);CHECK,N_SPINQ(d),OGATE,XR(G)::R(J),XQ(d)
        • Q(d);OGATEB::R(G),XQ(d)
        • S(a);OGATE::QAB(B),XP(b)
        • P(c);OGATEB::QAB(B)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD::R1(J)
      • Refutation
        • S(a);
    • Try
      • B(I);
      • Vars
        • Q(d);CHECK,N_SPINQ(d),OGATE,XR(G)::R(J),XQ(d)
        • Q(d);OGATEB::R(G),XQ(d)
        • S(a);OGATE::QAB(B),XP(b)
        • P(c);OGATEB::QAB(B)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD::R1(J)
      • Refutation
        • S(a);
    • Try
      • B(I);
      • Vars
        • Q(d);CHECK,N_SPINQ(d),OGATE,XR(G)::R(J),XQ(d)
        • S(a);OGATE,XB(I)::QAB(B),XP(b)
        • Q(d);OGATEB::R(G),XQ(d)
        • S(a);SBLOCK::B(I),XP(c)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD::R1(J)
        • S(a);OGATE::QAB(B),XP(b)
        • P(c);OGATEB::QAB(B)
      • Refutation
        • P(c);XB(I)
    • Try
      • B(I);
      • Vars
        • Q(d);CHECK,N_SPINQ(d),OGATE,XR(G)::R(J),XQ(d)
        • Q(d);OGATEB::R(G),XQ(d)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD::R1(J)
        • S(a);OGATE::QAB(B),XP(b)
        • P(c);OGATEB::QAB(B)
      • Refutation
        • S(a);
    • Try
      • R(J);
      • Vars
        • Q(d);OGATEB::R(G),XQ(d)
        • S(a);SBLOCK::B(I)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD,P_PINR(G)::R1(J)
        • R(f);N_GUARD::R1(J)
        • S(a);OGATE::QAB(B),XP(b)
        • P(c);OGATEB::QAB(B)
      • Refutation
        • Q(d);CHECK,N_SPINQ(d),XR(G)
    • Try
      • R(J);
      • Vars
        • Q(d);OGATEB::R(G),XQ(d)
        • S(a);SBLOCK::B(I)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD,P_PINR(G)::R1(J)
        • R(f);N_GUARD::R1(J)
        • S(a);OGATE::QAB(B),XP(b)
        • P(c);OGATEB::QAB(B)
      • Refutation
        • Q(d);CHECK,N_SPINQ(d),XR(G)
    • Try
      • R(J);
      • Threat
        • DUALS(2)
      • Vars
        • S(a);SBLOCK::B(I)
        • S(a);OGATE::QAB(B),XP(b)
      • Refutation
        • Q(d);CHECK,N_SPINQ(d),XR(G)
    • Try
      • R(J);
      • Vars
        • Q(d);OGATEB::R(G),XQ(d)
        • S(a);SBLOCK::B(I)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD,P_PINR(G)::R1(J)
        • R(f);N_GUARD::R1(J)
        • S(a);OGATE::QAB(B),XP(b)
        • P(c);OGATEB::QAB(B)
      • Refutation
        • Q(d);CHECK,N_SPINQ(d),XR(G)
    • Try
      • R(J);
      • Vars
        • Q(d);OGATEB::R(G),XQ(d)
        • S(a);SBLOCK::B(I)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD,P_PINR(G)::R1(J)
        • R(f);N_GUARD::R1(J)
        • S(a);OGATE::QAB(B),XP(b)
        • P(c);OGATEB::QAB(B)
      • Refutation
        • Q(d);CHECK,N_SPINQ(d),XR(G)
    • Try
      • Q(B);
      • Vars
        • Q(d);CHECK,N_SPINQ(d),OGATE,XR(G)::R(J),XQ(d)
        • Q(d);OGATEB::R(G),XQ(d)
        • S(a);SBLOCK::B(I)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD::R1(J)
        • S(a);OGATE::QAB(B),XP(b)
      • Refutation
        • P(c);
    • Try
      • Q(B);
      • Threat
        • B(I)
      • Vars
        • Q(d);CHECK,N_SPINQ(d),OGATE,XR(G)::R(J),XQ(d)
        • Q(d);OGATEB::R(G),XQ(d)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD::R1(J)
      • Refutation
        • S(a);
    • Try
      • Q(B);
      • Vars
        • Q(d);OGATEB::R(G),XQ(d)
        • S(a);SBLOCK::B(I)
        • R(f);N_GUARD::R1(J),XR(f)
        • R(f);N_GUARD::R1(J)
        • S(a);N_GUARD::QAB(B),XP(b)
      • Refutation
        • S(a);XQ(B)
    • Try
      • Q(B);XS(a)
      • Threat
        • DUALS(2)
      • Vars
        • Q(d);CHECK,N_SPINQ(d),OGATE,XR(G)::R(J),XQ(d)
        • Q(d);OGATEB::R(G),XQ(d)
      • Refutation
        • P(c);
    • Try
      • P(C);
      • Threat
        • DUALS(2)
      • Vars
        • Q(d);CHECK,N_SPINQ(d),OGATE,XR(G)::R(J),XQ(d)
        • S(a);OGATE::QAB(B),XP(b)
        • P(c);::QAB1(B)
      • Refutation
        • P(c);XP(C)
  • Actual
    • Q(B);
    • Vars
      • Q(d);CHECK,N_SPINQ(d),OGATE,XR(G)::R(J),XQ(d)
      • Q(d);OGATEB::R(G),XQ(d)
      • P(c);OGATEB::QAB(B)
      • S(a);SBLOCK::B(I)
      • R(f);N_GUARD::R1(J),XR(f)
      • R(f);N_GUARD::R1(J)
      • S(a);N_GUARD::P(D)
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).