MESON Chess Problem Database

Problem Display
PID: 262939 (7R/KB6/8/2R5/5B2/3p2PN/3N2pk/4nn1q w - - 0 1)

Somma, Francesco

O Globo, 1931

(First published on Mon May 18 1931)

7R/KB6/8/2R5/5B2/3p2PN/3N2pk/4nn1q

#2

8 + 6

15601 Albrecht-Leiss-Degener Collection 2022

SOLUTION

  • SOUND
  • Sets
    • 1...Qg1
      • 2.Sf2#
      • 2.Sg5#
    • 1...Sc2
      • 2.Sf3#
    • 1...Sf3
      • 2.Sxf3#
    • 1...Sxd2
      • 2.g4#
    • 1...Se3
      • 2.g4#
    • 1...g1Q
      • 2.Sf2#
      • 2.Sg5#
    • 1...g1S
      • 2.Sxf1#
    • 1...g1B
      • 2.Sxf1#
      • 2.Sf2#
      • 2.Sg5#
    • 1...g1R
      • 2.Sf2#
      • 2.Sg5#
  • Tries
    • 1.Ka6?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Kb6?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Ka8?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Kb8?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Be5?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Bd6?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Bc7?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Bb8?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Be4?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Bd5?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Bc6?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Ba8?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Rc1?
      • 1...Qg1+
        • 2.Sf2#
      • 1...g1Q+
        • 2.Sf2#
      • 1...g1B+
        • 2.Sf2#
      • 1...Sxd2
        • 2.g4#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Rc3?
      • 1...Qg1+
        • 2.Sf2#
      • 1...g1Q+
        • 2.Sf2#
      • 1...g1B+
        • 2.Sf2#
      • 1...Sxd2
        • 2.g4#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Rc4?
      • 1...Qg1+
        • 2.Sf2#
      • 1...g1Q+
        • 2.Sf2#
      • 1...g1B+
        • 2.Sf2#
      • 1...Sxd2
        • 2.g4#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Ra5?
      • 1...Qg1+
        • 2.Sf2#
      • 1...g1Q+
        • 2.Sf2#
      • 1...g1B+
        • 2.Sf2#
      • 1...Sxd2
        • 2.g4#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Rb5?
      • 1...Qg1+
        • 2.Sf2#
      • 1...g1Q+
        • 2.Sf2#
      • 1...g1B+
        • 2.Sf2#
      • 1...Sxd2
        • 2.g4#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Re5?
      • 1...Qg1+
        • 2.Sf2#
      • 1...g1Q+
        • 2.Sf2#
      • 1...g1B+
        • 2.Sf2#
      • 1...Sxd2
        • 2.g4#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Rf5?
      • 1...Qg1+
        • 2.Sf2#
      • 1...g1Q+
        • 2.Sf2#
      • 1...g1B+
        • 2.Sf2#
      • 1...Sxd2
        • 2.g4#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Rch5?
      • 1...Qg1+
        • 2.Sf2#
      • 1...g1Q+
        • 2.Sf2#
      • 1...g1B+
        • 2.Sf2#
      • 1...Sxd2
        • 2.g4#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Rc7?
      • 1...Qg1+
        • 2.Sf2#
      • 1...g1Q+
        • 2.Sf2#
      • 1...g1B+
        • 2.Sf2#
      • 1...Sxd2
        • 2.g4#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Rcc8?
      • 1...Qg1+
        • 2.Sf2#
      • 1...g1Q+
        • 2.Sf2#
      • 1...g1B+
        • 2.Sf2#
      • 1...Sxd2
        • 2.g4#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Rh4?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Rhh5?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Rh6?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
    • 1.Rh7?
      • 1...Sxd2
        • 2.g4#
      • 1...Qg1
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1Q
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1B
        • 2.Sxf1#
        • 2.Sf2#
        • 2.Sg5#
      • 1...g1R
        • 2.Sf2#
        • 2.Sg5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#
      • 1...Sxg3!
  • Keys
    • 1.Rg5!
      • 1...Qg1+
        • 2.Sf2#
      • 1...g1Q+
        • 2.Sf2#
      • 1...g1B+
        • 2.Sf2#
      • 1...Sxd2
        • 2.g4#
      • 1...Sxg3
        • 2.Bxg3#
      • 1...g1S
        • 2.Sxf1#
      • 1...g1R
        • 2.Sf2#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Se3
        • 2.g4#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 5
    • REMOVED MATES = 0
  • Sets
    • S(a);N_GUARD::S(A)
    • S(a);N_GUARD::S(A),XS(a)
    • S(b);N_GUARD,XS(A)::B(D)+P(B)
    • S(b);N_GUARD::B(D)+P(B)
    • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
  • Tries
    • Try
      • K(F);P-FLIGHT
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • K(F);S_FLIGHT
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • K(F);P-FLIGHT
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,P_PINB(G),S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • K(F);S_FLIGHT
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • B(D);
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • B(D);
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • B(D);
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • B(D);
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • B(G);
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • B(G);
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • B(G);
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • B(G);
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(E);
      • Vars
        • Q(c);CHECK,SBLOCK::R(H)+S(C)
        • P(d);CHECK,SBLOCK::R(H)+S(C)
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(E);
      • Vars
        • Q(c);CHECK,SBLOCK::R(H)+S(C)
        • P(d);CHECK,SBLOCK::R(H)+S(C)
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(E);
      • Vars
        • Q(c);CHECK,SBLOCK::R(H)+S(C)
        • P(d);CHECK,SBLOCK::R(H)+S(C)
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(E);
      • Vars
        • Q(c);CHECK,SBLOCK::R(H)+S(C)
        • P(d);CHECK,SBLOCK::R(H)+S(C)
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(E);
      • Vars
        • Q(c);CHECK,SBLOCK::R(H)+S(C)
        • P(d);CHECK,SBLOCK::R(H)+S(C)
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(E);
      • Vars
        • Q(c);CHECK,SBLOCK::R(H)+S(C)
        • P(d);CHECK,SBLOCK::R(H)+S(C)
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(E);
      • Vars
        • Q(c);CHECK,SBLOCK::R(H)+S(C)
        • P(d);CHECK,SBLOCK::R(H)+S(C)
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(E);
      • Vars
        • Q(c);CHECK,SBLOCK::R(E)+S(C)
        • P(d);CHECK,SBLOCK::R(E)+S(C)
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(E);
      • Vars
        • Q(c);CHECK,SBLOCK::R(H)+S(C)
        • P(d);CHECK,SBLOCK::R(H)+S(C)
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(E);
      • Vars
        • Q(c);CHECK,SBLOCK::R(H)+S(C)
        • P(d);CHECK,SBLOCK::R(H)+S(C)
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(H);
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(H);
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(H);
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
    • Try
      • R(H);
      • Vars
        • S(b);N_GUARD,XS(A)::B(D)+P(B)
        • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
        • S(a);N_GUARD::S(A)
        • S(a);N_GUARD::S(A),XS(a)
        • S(b);N_GUARD::B(D)+P(B)
      • Refutation
        • S(b);P_SPINS(b),XP(B)
  • Actual
    • R(E);
    • Vars
      • Q(c);CHECK,SBLOCK::R(H)+S(C)
      • P(d);CHECK,SBLOCK::R(H)+S(C)
      • S(b);N_GUARD,XS(A)::B(D)+P(B)
      • S(b);OGATE,P_SPINS(b),XP(B)::B(D),XS(b)
      • P(d);N_GUARD,S_CUTQ(c)::S(A),XS(b)
      • P(d);SBLOCK::R(H)+S(C)
      • S(a);N_GUARD::S(A)
      • S(a);N_GUARD::S(A),XS(a)
      • S(b);N_GUARD::B(D)+P(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).