MESON Chess Problem Database

Problem Display
PID: 64233 (K3Q3/b7/N7/1bPR4/k1N1B3/p1B1n3/P7/8 w - - 0 1)

Lider, Valentin Viktorovich

1st Prize, Scacco!, 1982

K3Q3/b7/N7/1bPR4/k1N1B3/p1B1n3/P7/8

#2

9 + 5

3752 FIDE Album (1980-1982) 1988

SOLUTION

  • SOUND
  • Sets
    • 1...Bc6+
      • 2.Qxc6#
    • 1...Bd7
      • 2.Qxd7#
    • 1...Bxc5
      • 2.Sxc5#
    • 1...Bb6
      • 2.Sxb6#
    • 1...Bb8
      • 2.Sb6#
    • 1...Sd1
      • 2.Bc2#
    • 1...Sf1
      • 2.Bc2#
    • 1...Sc2
      • 2.Bxc2#
    • 1...Sg2
      • 2.Bc2#
    • 1...Sxc4
      • 2.Bc2#
    • 1...Sg4
      • 2.Bc2#
    • 1...Sxd5
      • 2.Bc2#
    • 1...Sf5
      • 2.Bc2#
  • Tries
    • 1.Kxa7?
      • threat
        • 2.Sb6#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxd5
        • 2.Bc2#
      • 1...Bc6
        • 2.Qxc6#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bxe8!
    • 1.Kb7?
      • 1...Bc6+
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxd5
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Sxe3?
      • threat
        • 2.Bc2#
        • 2.Rd4#
      • 1...Bc6+
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bxe8!
    • 1.Sd6?
      • threat
        • 2.Qxb5#
      • 1...Bc6+
        • 2.Qxc6#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bxe8!
    • 1.Sc7?
      • threat
        • 2.Qxb5#
      • 1...Bc6+
        • 2.Qxc6#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bxe8!
    • 1.Be1?
      • 1...Bc6+
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxd5
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Bd2?
      • 1...Bc6+
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxd5
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Bb1?
      • 1...Bc6+
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxd5
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Bd3?
      • 1...Bc6+
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxd5
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Bg6?
      • 1...Bc6+
        • 2.Qxc6#
      • 1...Bxe8
        • 2.Bxe8#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxd5
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sf5!
    • 1.Rd1?
      • 1...Bc6+
        • 2.Bxc6#
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxd1
        • 2.Bc2#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sd5
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Rd2?
      • 1...Bc6+
        • 2.Bxc6#
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sd5
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Rd4?
      • threat
        • 2.Sb2#
        • 2.Sxe3#
        • 2.Sb6#
      • 1...Bc6+
        • 2.Bxc6#
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sb2#
        • 2.Sb6#
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
        • 2.Rxc4#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sb2#
        • 2.Sxe3#
        • 2.Sxb6#
      • 1...Sd1
        • 2.Sb2#
        • 2.Sd2#
        • 2.Se3#
        • 2.Sa5#
        • 2.Se5#
        • 2.Sb6#
        • 2.Sd6#
        • 2.Bc2#
      • 1...Sf1
        • 2.Sb2#
        • 2.Sd2#
        • 2.Se3#
        • 2.Sa5#
        • 2.Se5#
        • 2.Sb6#
        • 2.Sd6#
        • 2.Bc2#
      • 1...Sc2
        • 2.Sb2#
        • 2.Sb6#
        • 2.Bxc2#
      • 1...Sg2
        • 2.Sb2#
        • 2.Sd2#
        • 2.Se3#
        • 2.Sa5#
        • 2.Se5#
        • 2.Sb6#
        • 2.Sd6#
        • 2.Bc2#
      • 1...Sg4
        • 2.Sb2#
        • 2.Sd2#
        • 2.Se3#
        • 2.Sa5#
        • 2.Se5#
        • 2.Sb6#
        • 2.Sd6#
        • 2.Bc2#
      • 1...Sd5
        • 2.Sb2#
        • 2.Sb6#
        • 2.Bc2#
      • 1...Sf5
        • 2.Sb2#
        • 2.Sb6#
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Re5?
      • 1...Bc6+
        • 2.Bxc6#
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sd5
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Rf5?
      • 1...Bc6+
        • 2.Bxc6#
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxf5
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sd5
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Rg5?
      • 1...Bc6+
        • 2.Bxc6#
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sd5
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Rh5?
      • 1...Bc6+
        • 2.Bxc6#
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sd5
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Rd6?
      • 1...Bc6+
        • 2.Bxc6#
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sd5
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Rd8?
      • 1...Bc6+
        • 2.Bxc6#
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sd5
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxe8!
    • 1.Qc6?
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxd5
        • 2.Bc2#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxc6+!
    • 1.Qd7?
      • 1...Bc6+
        • 2.Qxc6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxd5
        • 2.Bc2#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxd7!
    • 1.Qe6?
      • 1...Bc6+
        • 2.Qxc6#
      • 1...Bxa6
        • 2.Qxa6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxd5
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Be8
        • 2.Qxe8#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxc4!
    • 1.Qb8?
      • 1...Bxc4
        • 2.Qb4#
      • 1...Bxa6
        • 2.Qb3#
        • 2.Qb4#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Bxb8
        • 2.Sb6#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxd5
        • 2.Bc2#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bd7
        • 2.Qb3#
        • 2.Qb4#
      • 1...Be8
        • 2.Qb3#
        • 2.Qb4#
        • 2.Qxe8#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bc6+!
    • 1.Qc8?
      • 1...Bc6+
        • 2.Qxc6#
      • 1...Bxa6
        • 2.Qxa6#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxd5
        • 2.Bc2#
      • 1...Bd7
        • 2.Qxd7#
      • 1...Be8
        • 2.Qxe8#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bxc4!
    • 1.Qd8?
      • threat
        • 2.Qa5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bc6+!
    • 1.c6?
      • 1...Bxc6+
        • 2.Qxc6#
      • 1...Bxc4
        • 2.Ra5#
      • 1...Bxa6
        • 2.Ra5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Sxd5
        • 2.Bc2#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bc5
        • 2.Sxc5#
      • 1...Bb8
        • 2.Sb6#
        • 2.Sc5#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#
      • 1...Bd4!
  • Keys
    • 1.Rd7!
      • 1...Bc6+
        • 2.Bxc6#
      • 1...Bxc4
        • 2.Rd4#
      • 1...Bxa6
        • 2.Rxa7#
      • 1...Bxd7
        • 2.Qxd7#
      • 1...Bxc5
        • 2.Sxc5#
      • 1...Sxc4
        • 2.Bc2#
      • 1...Bb6
        • 2.Sxb6#
      • 1...Bb8
        • 2.Sb6#
      • 1...Sd1
        • 2.Bc2#
      • 1...Sf1
        • 2.Bc2#
      • 1...Sc2
        • 2.Bxc2#
      • 1...Sg2
        • 2.Bc2#
      • 1...Sg4
        • 2.Bc2#
      • 1...Sd5
        • 2.Bc2#
      • 1...Sf5
        • 2.Bc2#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 1
    • ADDED MATES = 2
    • REMOVED MATES = 0
  • Sets
    • B(d);CHECK,OGATEB::QAB(I),XB(d)
    • B(d);OGATEB::QAB(I),XB(d)
    • B(e);XP(E)::S(G),XB(e)
    • B(e);N_GUARD::S(C),XB(e)
    • B(e);N_GUARD::S(C)
    • S(b);N_GUARD::B(D)
    • S(b);N_GUARD::B(D),XS(b)
    • S(b);N_GUARD,XS(C)::B(D)
    • S(b);N_GUARD,XR(F)::B(D)
  • Tries
    • Try
      • K(H);P-FLIGHT,XB(e)
      • Threat
        • S(C)
      • Vars
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • K(H);S_FLIGHT
      • Vars
        • B(d);CHECK,OGATEB::QAB(I),XB(d)
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • S(C);XS(b)
      • Threat
        • DUALS(2)
      • Vars
        • B(d);CHECK,OGATEB::QAB(I),XB(d)
        • B(d);OGATEB::QAB(I),XB(d)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • S(C);
      • Threat
        • QAB1(I),XB(d)
      • Vars
        • B(d);CHECK,OGATEB::QAB(I),XB(d)
        • B(d);OGATEB::QAB(I),XB(d)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • S(G);
      • Threat
        • QAB1(I),XB(d)
      • Vars
        • B(d);CHECK,OGATEB::QAB(I),XB(d)
        • B(d);OGATEB::QAB(I),XB(d)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • B(B);
      • Vars
        • B(d);CHECK,OGATEB::QAB(I),XB(d)
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • B(B);
      • Vars
        • B(d);CHECK,OGATEB::QAB(I),XB(d)
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • B(D);
      • Vars
        • B(d);CHECK,OGATEB::QAB(I),XB(d)
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • B(D);
      • Vars
        • B(d);CHECK,OGATEB::QAB(I),XB(d)
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • B(D);
      • Vars
        • B(d);CHECK,OGATEB::QAB(I),XB(d)
        • B(d);N_SPINB(d),OGATE,XQ(I)::B(D),XB(d)
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • S(b);
    • Try
      • R(F);
      • Vars
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XR(F)::B(D)
        • S(b);N_GUARD,XS(C)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • R(F);
      • Vars
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • R(F);
      • Threat
        • DUALS(3)
      • Vars
        • B(d);OGATEB::QAB(I),XB(d)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • R(F);
      • Vars
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • R(F);
      • Vars
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • R(F);
      • Vars
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • R(F);
      • Vars
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • R(F);
      • Vars
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • R(F);
      • Vars
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • Q(I);
      • Vars
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);CHECK,N_SPINB(d),XQ(I)
    • Try
      • Q(I);
      • Vars
        • B(d);CHECK,OGATEB::QAB(I),XB(d)
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);N_SPINB(d),XQ(I)
    • Try
      • Q(I);N_PINB(d)
      • Vars
        • B(d);CHECK,OGATEB::QAB(I),XB(d)
        • B(d);OGATE,XS(G)::QAR2(I),XB(d)
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);XS(C)
    • Try
      • Q(I);N_PINB(d)
      • Vars
        • B(d);OGATE,XS(C)::QAR1(I)
        • B(e);XP(E)::S(G),XB(e)
        • B(e);N_GUARD,XQ(I)::S(C)
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(e);N_GUARD::S(C),XB(e)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);CHECK
    • Try
      • Q(I);N_PINB(d)
      • Vars
        • B(d);CHECK,OGATEB::QAB(I),XB(d)
        • B(d);OGATE,XS(G)::QAR2(I),XB(d)
        • B(e);XP(E)::S(G),XB(e)
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(d);OGATEB::QAB(I),XB(d)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(C)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(d);XS(C)
    • Try
      • Q(I);N_PINB(d)
      • Threat
        • QAR1(I)
      • Vars
        • S(b);N_GUARD,XS(C)::B(D)
        • B(e);N_GUARD::S(C),XB(e)
      • Refutation
        • B(d);CHECK
    • Try
      • P(E);N_PINB(d)
      • Vars
        • B(d);CHECK,OGATE,P_SPINB(d),XP(E)::QAB(I),XB(d)
        • B(d);OGATE,XS(C)::R1(F)
        • B(d);OGATE,XS(G)::R1(F)
        • S(b);N_GUARD,XS(C)::B(D)
        • S(b);N_GUARD,XR(F)::B(D)
        • B(e);N_GUARD::S(C),XB(e)
        • B(e);N_GUARD::S(G),XB(e)
        • S(b);N_GUARD::B(D)
        • S(b);N_GUARD::B(D),XS(b)
      • Refutation
        • B(e);
  • Actual
    • R(F);N_PINB(d)
    • Vars
      • B(d);CHECK,OGATEB::B(D),XB(d)
      • B(d);OGATEB,XS(C)::QAB(I)+R(F)
      • B(d);OGATEB,XS(G)::QAB(I)+R(F),XB(e)
      • B(d);OGATE,P_SPINB(d),XR(F)::QAB(I),XB(d)
      • B(e);XP(E)::S(G),XB(e)
      • S(b);N_GUARD,XS(C)::B(D)
      • B(e);N_GUARD::S(C),XB(e)
      • B(e);N_GUARD::S(C)
      • S(b);N_GUARD::B(D)
      • S(b);N_GUARD::B(D),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).