MESON Chess Problem Database

Problem Display
PID: 92855 (5B1Q/n1N5/4P1P1/3P1K2/pqP1B1P1/kr5R/r1PP2P1/R1bN4 w - - 0 1)

Bebesi, Gyula

Tidskrift for Schack, 1951

5B1Q/n1N5/4P1P1/3P1K2/pqP1B1P1/kr5R/r1PP2P1/R1bN4

#2

16 + 7

6490 yacpdb 2009

SOLUTION

  • SOUND
  • Sets
    • 1...Qc5
      • 2.Bxc5#
    • 1...Qd6
      • 2.Bxd6#
    • 1...Qe7
      • 2.Bxe7#
    • 1...Qxf8+
      • 2.Qxf8#
    • 1...Rxa1
      • 2.Qxa1#
    • 1...Rc3
      • 2.Rxc3#
      • 2.Qxc3#
    • 1...Rd3
      • 2.Rxd3#
    • 1...Re3
      • 2.Rxe3#
    • 1...Rf3+
      • 2.Rxf3#
    • 1...Rg3
      • 2.Rxg3#
    • 1...Rxh3
      • 2.Qxh3#
    • 1...Bb2
      • 2.Qxb2#
    • 1...Bxd2
      • 2.Qb2#
    • 1...Sb5
      • 2.Sxb5#
    • 1...Sc6
      • 2.Sb5#
    • 1...Sc8
      • 2.Sb5#
  • Tries
    • 1.Kf4?
      • 1...Qd6+
        • 2.Bxd6#
      • 1...Qxf8+
        • 2.Qxf8#
      • 1...Rf3+
        • 2.Rxf3#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh3
        • 2.Qxh3#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qe7
        • 2.Bxe7#
      • 1...Rc3
        • 2.Rxc3#
        • 2.Qxc3#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Re3
        • 2.Rxe3#
      • 1...Rg3
        • 2.Rxg3#
      • 1...Bb2
        • 2.Qxb2#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc6
        • 2.Sb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...Bxd2+!
    • 1.Kg5?
      • 1...Qe7+
        • 2.Bxe7#
      • 1...Qxf8
        • 2.Qxf8#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh3
        • 2.Qxh3#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Rc3
        • 2.Rxc3#
        • 2.Qxc3#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Re3
        • 2.Rxe3#
      • 1...Rf3
        • 2.Rxf3#
      • 1...Rg3
        • 2.Rxg3#
      • 1...Bb2
        • 2.Qxb2#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc6
        • 2.Sb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...Bxd2+!
    • 1.Sa6?
      • threat
        • 2.Bxb4#
      • 1...Qxf8+
        • 2.Qxf8#
      • 1...Rf3+
        • 2.Rxf3#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Bxd2
        • 2.Qb2#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qe7
        • 2.Bxe7#
      • 1...Sc6!
    • 1.Bc5?
      • 1...Rf3+
        • 2.Rxf3#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh3
        • 2.Qxh3#
      • 1...Bxd2
        • 2.Qb2#
      • 1...Sc6
        • 2.Sb5#
      • 1...Rc3
        • 2.Rxc3#
        • 2.Qxc3#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Re3
        • 2.Rxe3#
      • 1...Rg3
        • 2.Rxg3#
      • 1...Bb2
        • 2.Qxb2#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...Qxc5!
    • 1.Bd6?
      • 1...Rf3+
        • 2.Rxf3#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh3
        • 2.Qxh3#
      • 1...Bxd2
        • 2.Qb2#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Sc6
        • 2.Sb5#
      • 1...Rc3
        • 2.Rxc3#
        • 2.Qxc3#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Re3
        • 2.Rxe3#
      • 1...Rg3
        • 2.Rxg3#
      • 1...Bb2
        • 2.Qxb2#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...Qxd6!
    • 1.Be7?
      • 1...Rf3+
        • 2.Rxf3#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh3
        • 2.Qxh3#
      • 1...Bxd2
        • 2.Qb2#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Sc6
        • 2.Sb5#
      • 1...Rc3
        • 2.Rxc3#
        • 2.Qxc3#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Re3
        • 2.Rxe3#
      • 1...Rg3
        • 2.Rxg3#
      • 1...Bb2
        • 2.Qxb2#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...Qxe7!
    • 1.Rxc1?
      • 1...Qxf8+
        • 2.Qxf8#
      • 1...Rf3+
        • 2.Rxf3#
      • 1...Rxh3
        • 2.Qxh3#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qe7
        • 2.Bxe7#
      • 1...Ra1
        • 2.Rxa1#
        • 2.Qxa1#
        • 2.Qb2#
      • 1...Rb2
        • 2.Qxb2#
      • 1...Sc6
        • 2.Sb5#
      • 1...Rc3
        • 2.Rxc3#
        • 2.Qxc3#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Re3
        • 2.Rxe3#
      • 1...Rg3
        • 2.Rxg3#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...Rxc2!
    • 1.Rd3?
      • 1...Qxf8+
        • 2.Qxf8#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Bxd2
        • 2.Qb2#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qe7
        • 2.Bxe7#
      • 1...Sc6
        • 2.Sb5#
      • 1...Rc3
        • 2.Rxc3#
        • 2.Qxc3#
      • 1...Bb2
        • 2.Qxb2#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...Rxd3!
    • 1.Re3?
      • 1...Qxf8+
        • 2.Qxf8#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Bxd2
        • 2.Qb2#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qe7
        • 2.Bxe7#
      • 1...Sc6
        • 2.Sb5#
      • 1...Rc3
        • 2.Rxc3#
        • 2.Qxc3#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Bb2
        • 2.Qxb2#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...Rxe3!
    • 1.Rf3?
      • 1...Qxf8+
        • 2.Qxf8#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Bxd2
        • 2.Qb2#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qe7
        • 2.Bxe7#
      • 1...Sc6
        • 2.Sb5#
      • 1...Rc3
        • 2.Rxc3#
        • 2.Qxc3#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Re3
        • 2.Rxe3#
      • 1...Bb2
        • 2.Qxb2#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...Rxf3+!
    • 1.Rg3?
      • 1...Qxf8+
        • 2.Qxf8#
      • 1...Rf3+
        • 2.Rxf3#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Bxd2
        • 2.Qb2#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qe7
        • 2.Bxe7#
      • 1...Sc6
        • 2.Sb5#
      • 1...Rc3
        • 2.Rxc3#
        • 2.Qxc3#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Re3
        • 2.Rxe3#
      • 1...Bb2
        • 2.Qxb2#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...Rxg3!
    • 1.Qc3?
      • threat
        • 2.Bxb4#
        • 2.Qxb4#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxc3
        • 2.Rxc3#
      • 1...Bxd2
        • 2.Bxb4#
        • 2.Qb2#
      • 1...Sc6
        • 2.Sb5#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qe7
        • 2.Bxe7#
      • 1...Qxf8+!
    • 1.Qf6?
      • 1...Rf3+
        • 2.Rxf3#
      • 1...Qxf8
        • 2.Qxf8#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Bxd2
        • 2.Qb2#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qe7
        • 2.Bxe7#
        • 2.Qxe7#
      • 1...Sc6
        • 2.Sb5#
      • 1...Rc3
        • 2.Rxc3#
        • 2.Qxc3#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Re3
        • 2.Rxe3#
      • 1...Rg3
        • 2.Rxg3#
      • 1...Bb2
        • 2.Qxb2#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...Rxh3!
    • 1.Qg7?
      • 1...Qxf8+
        • 2.Qxf8#
      • 1...Rf3+
        • 2.Rxf3#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Bxd2
        • 2.Qb2#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qe7
        • 2.Bxe7#
        • 2.Qxe7#
      • 1...Sc6
        • 2.Sb5#
      • 1...Rc3
        • 2.Rxc3#
        • 2.Qxc3#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Re3
        • 2.Rxe3#
      • 1...Rg3
        • 2.Rxg3#
      • 1...Bb2
        • 2.Qxb2#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...Rxh3!
    • 1.cxb3?
      • 1...Qxf8+
        • 2.Qxf8#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Bxd2
        • 2.Qb2#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qe7
        • 2.Bxe7#
      • 1...Sc6
        • 2.Sb5#
      • 1...Bb2
        • 2.Qxb2#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...axb3!
  • Keys
    • 1.g5!
      • 1...Qxf8+
        • 2.Qxf8#
      • 1...Rf3+
        • 2.Rxf3#
      • 1...Rxa1
        • 2.Qxa1#
      • 1...Rxh3
        • 2.Qxh3#
      • 1...Bxd2
        • 2.Qb2#
      • 1...Qc5
        • 2.Bxc5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qe7
        • 2.Bxe7#
      • 1...Sc6
        • 2.Sb5#
      • 1...Rc3
        • 2.Rxc3#
        • 2.Qxc3#
      • 1...Rd3
        • 2.Rxd3#
      • 1...Re3
        • 2.Rxe3#
      • 1...Rg3
        • 2.Rxg3#
      • 1...Bb2
        • 2.Qxb2#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Sc8
        • 2.Sb5#

FEATURES

  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
    • Q(f);OGATEB::B(O),XQ(f)
    • Q(f);CHECK,N_SPINQ(f),OGATE,XB(O)::QAB(P),XQ(f)
    • R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::QAR2(P),XR(b)
    • R(d);OGATEB::R(F),XR(d)
    • R(d);CHECK,OGATEB::R(F),XR(d)
    • R(d);OGATE,XR(F)::QAB1(P),XR(d)
    • B(a);N_GUARD::QAB1(P),XB(a)
    • B(a);N_GUARD,XP(D)::QAB1(P)
    • S(g);N_GUARD::S(N),XS(g)
    • S(g);N_GUARD::S(N)
  • Tries
    • Try
      • K(K);P-FLIGHT,P_SPINP(D)
      • Vars
        • Q(f);CHECK,OGATEB::B(O),XQ(f)
        • Q(f);CHECK,N_SPINQ(f),XB(O)::QAB(P),XQ(f)
        • R(d);CHECK,OGATEB::R(F),XR(d)
        • R(b);N_SPINR(b),P_SPINR(d),XR(A)::QAR2(P),XR(b)
        • R(d);XR(F)::QAB1(P),XR(d)
        • Q(f);OGATEB::B(O),XQ(f)
        • R(d);OGATEB::R(F),XR(d)
        • R(d);N_PINP(D),OGATEB::R(F),XR(d)
        • B(a);N_GUARD,N_PINP(D)::QAB1(P),XB(a)
        • S(g);N_GUARD::S(N),XS(g)
        • S(g);N_GUARD::S(N)
      • Refutation
        • B(a);CHECK,XP(D)
    • Try
      • K(K);P-FLIGHT,P_SPINP(D)
      • Vars
        • Q(f);CHECK,OGATEB::B(O),XQ(f)
        • Q(f);N_SPINQ(f),XB(O)::QAB(P),XQ(f)
        • R(b);N_SPINR(b),P_SPINR(d),XR(A)::QAR2(P),XR(b)
        • R(d);XR(F)::QAB1(P),XR(d)
        • Q(f);OGATEB::B(O),XQ(f)
        • R(d);OGATEB::R(F),XR(d)
        • R(d);N_PINP(D),OGATEB::R(F),XR(d)
        • B(a);N_GUARD,N_PINP(D)::QAB1(P),XB(a)
        • S(g);N_GUARD::S(N),XS(g)
        • S(g);N_GUARD::S(N)
      • Refutation
        • B(a);CHECK,XP(D)
    • Try
      • S(N);
      • Threat
        • B(O),XQ(f)
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XB(O)::QAB(P),XQ(f)
        • R(d);CHECK,OGATEB::R(F),XR(d)
        • R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::QAR2(P),XR(b)
        • B(a);N_GUARD,XP(D)::QAB1(P)
        • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
        • Q(f);OGATEB::B(O),XQ(f)
      • Refutation
        • S(g);
    • Try
      • B(O);
      • Vars
        • R(d);CHECK,OGATEB::R(F),XR(d)
        • R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::QAR2(P),XR(b)
        • R(d);OGATE,XR(F)::QAB1(P),XR(d)
        • B(a);N_GUARD,XP(D)::QAB1(P)
        • S(g);N_GUARD::S(N)
        • R(d);OGATEB::R(F),XR(d)
        • B(a);N_GUARD::QAB1(P),XB(a)
        • S(g);N_GUARD::S(N),XS(g)
      • Refutation
        • Q(f);N_SPINQ(f),P_PINP(J),XB(O)
    • Try
      • B(O);
      • Vars
        • R(d);CHECK,OGATEB::R(F),XR(d)
        • R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::QAR2(P),XR(b)
        • R(d);OGATE,XR(F)::QAB1(P),XR(d)
        • B(a);N_GUARD,XP(D)::QAB1(P)
        • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
        • S(g);N_GUARD::S(N)
        • R(d);OGATEB::R(F),XR(d)
        • B(a);N_GUARD::QAB1(P),XB(a)
        • S(g);N_GUARD::S(N),XS(g)
      • Refutation
        • Q(f);N_SPINQ(f),XB(O)
    • Try
      • B(O);
      • Vars
        • R(d);CHECK,OGATEB::R(F),XR(d)
        • R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::QAR2(P),XR(b)
        • R(d);OGATE,XR(F)::QAB1(P),XR(d)
        • B(a);N_GUARD,XP(D)::QAB1(P)
        • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
        • Q(f);OGATEB::B(O),XQ(f)
        • S(g);N_GUARD::S(N)
        • R(d);OGATEB::R(F),XR(d)
        • B(a);N_GUARD::QAB1(P),XB(a)
        • S(g);N_GUARD::S(N),XS(g)
      • Refutation
        • Q(f);N_SPINQ(f),XB(O)
    • Try
      • R(A);N_PINR(b),P_PINR(d),XB(a)
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XB(O)::QAB(P),XQ(f)
        • R(d);CHECK,OGATEB::R(F),XR(d)
        • R(d);N_SPINR(d),OGATE,XR(F)::QAB1(P),XR(d)
        • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
        • Q(f);OGATEB::B(O),XQ(f)
        • R(b);N_GUARD::QAB1(P),XR(b)
        • S(g);N_GUARD::S(N)
        • R(d);OGATEB::R(F),XR(d)
        • S(g);N_GUARD::S(N),XS(g)
      • Refutation
        • R(b);XP(C)
    • Try
      • R(F);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XB(O)::QAB(P),XQ(f)
        • R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::QAR2(P),XR(b)
        • B(a);N_GUARD,XP(D)::QAB1(P)
        • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
        • Q(f);OGATEB::B(O),XQ(f)
        • S(g);N_GUARD::S(N)
        • B(a);N_GUARD::QAB1(P),XB(a)
        • S(g);N_GUARD::S(N),XS(g)
      • Refutation
        • R(d);XR(F)
    • Try
      • R(F);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XB(O)::QAB(P),XQ(f)
        • R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::QAR2(P),XR(b)
        • B(a);N_GUARD,XP(D)::QAB1(P)
        • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
        • Q(f);OGATEB::B(O),XQ(f)
        • S(g);N_GUARD::S(N)
        • R(d);OGATEB::R(F),XR(d)
        • B(a);N_GUARD::QAB1(P),XB(a)
        • S(g);N_GUARD::S(N),XS(g)
      • Refutation
        • R(d);XR(F)
    • Try
      • R(F);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XB(O)::QAB(P),XQ(f)
        • R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::QAR2(P),XR(b)
        • B(a);N_GUARD,XP(D)::QAB1(P)
        • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
        • Q(f);OGATEB::B(O),XQ(f)
        • S(g);N_GUARD::S(N)
        • R(d);OGATEB::R(F),XR(d)
        • B(a);N_GUARD::QAB1(P),XB(a)
        • S(g);N_GUARD::S(N),XS(g)
      • Refutation
        • R(d);CHECK,XR(F)
    • Try
      • R(F);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XB(O)::QAB(P),XQ(f)
        • R(d);CHECK,OGATEB::R(F),XR(d)
        • R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::QAR2(P),XR(b)
        • B(a);N_GUARD,XP(D)::QAB1(P)
        • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
        • Q(f);OGATEB::B(O),XQ(f)
        • S(g);N_GUARD::S(N)
        • R(d);OGATEB::R(F),XR(d)
        • B(a);N_GUARD::QAB1(P),XB(a)
        • S(g);N_GUARD::S(N),XS(g)
      • Refutation
        • R(d);XR(F)
    • Try
      • Q(P);
      • Threat
        • DUALS(2)
      • Vars
        • R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::QAR2(P),XR(b)
        • R(d);OGATE,XQ(P)::R(F),XR(d)
        • S(g);N_GUARD::S(N)
        • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
        • Q(f);OGATEB::B(O),XQ(f)
      • Refutation
        • Q(f);CHECK,N_SPINQ(f),XB(O)
    • Try
      • Q(P);
      • Vars
        • R(d);CHECK,OGATEB::R(F),XR(d)
        • Q(f);N_SPINQ(f),OGATE,P_PINQ(P),XB(O)::QAB(P),XQ(f)
        • R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::QAR2(P),XR(b)
        • B(a);N_GUARD,XP(D)::QAB1(P)
        • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
        • Q(f);OGATEB::B(O),XQ(f)
        • S(g);N_GUARD::S(N)
        • R(d);OGATEB::R(F),XR(d)
        • B(a);N_GUARD::QAB1(P),XB(a)
        • S(g);N_GUARD::S(N),XS(g)
      • Refutation
        • R(d);XR(F)
    • Try
      • Q(P);
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XB(O)::QAB(P),XQ(f)
        • R(d);CHECK,OGATEB::R(F),XR(d)
        • R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::QAR2(P),XR(b)
        • B(a);N_GUARD,XP(D)::QAB1(P)
        • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
        • Q(f);OGATEB::B(O),XQ(f)
        • S(g);N_GUARD::S(N)
        • R(d);OGATEB::R(F),XR(d)
        • B(a);N_GUARD::QAB1(P),XB(a)
        • S(g);N_GUARD::S(N),XS(g)
      • Refutation
        • R(d);XR(F)
    • Try
      • P(C);XR(d)
      • Vars
        • Q(f);CHECK,N_SPINQ(f),OGATE,XB(O)::QAB(P),XQ(f)
        • R(b);N_SPINR(b),OGATE,XR(A)::QAR2(P),XR(b)
        • B(a);N_GUARD,XP(D)::QAB1(P)
        • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
        • Q(f);OGATEB::B(O),XQ(f)
        • S(g);N_GUARD::S(N)
        • B(a);N_GUARD::QAB1(P),XB(a)
        • S(g);N_GUARD::S(N),XS(g)
      • Refutation
        • P(e);P_SPINP(e),XP(C)
  • Actual
    • P(I);
    • Vars
      • Q(f);CHECK,N_SPINQ(f),OGATE,XB(O)::QAB(P),XQ(f)
      • R(d);CHECK,OGATEB::R(F),XR(d)
      • R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::QAR2(P),XR(b)
      • R(d);OGATE,XR(F)::QAB1(P),XR(d)
      • B(a);N_GUARD,XP(D)::QAB1(P)
      • Q(f);OGATEB,P_PINP(J)::B(O),XQ(f)
      • Q(f);OGATEB::B(O),XQ(f)
      • S(g);N_GUARD::S(N)
      • R(d);OGATEB::R(F),XR(d)
      • B(a);N_GUARD::QAB1(P),XB(a)
      • S(g);N_GUARD::S(N),XS(g)
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).