MESON Chess Problem Database

Problem Display
PID: 202314 (4B1N1/3P1R2/8/Q4bnk/4P2p/R3K2N/8/8 w - - 0 1)

Guidelli, Giorgio

British Chess Magazine, 1923

4B1N1/3P1R2/8/Q4bnk/4P2p/R3K2N/8/8

#2

9 + 4

6490 yacpdb 2020

SOLUTION

  • SOUND
  • Sets
    • 1...Kg6
      • 2.Sf4#
    • 1...Bxh3
      • 2.Rf4#
    • 1...Bxe4
      • 2.Qxg5#
    • 1...Bg4
      • 2.Sf4#
      • 2.Rf1#
      • 2.Rf2#
      • 2.Rf3#
      • 2.Rf4#
      • 2.Rf5#
      • 2.Rf6#
      • 2.Re7#
      • 2.Rg7#
      • 2.Rh7#
      • 2.Rf8#
      • 2.Qxg5#
    • 1...Be6
      • 2.Qxg5#
    • 1...Bg6
      • 2.Qxg5#
    • 1...Bxd7
      • 2.Qxg5#
    • 1...Bh7
      • 2.Qxg5#
    • 1...Sf3
      • 2.Rg7#
    • 1...Sxh3
      • 2.Rg7#
    • 1...Sxe4
      • 2.Rg7#
    • 1...Se6
      • 2.Rg7#
    • 1...Sxf7
      • 2.Qxf5#
    • 1...Sh7
      • 2.Rg7#
  • Tries
    • 1.Sf2?
      • threat
        • 2.Rxf5#
        • 2.Rh7#
      • 1...Bxe4
        • 2.Rf5#
        • 2.Rh7#
      • 1...Bxd7
        • 2.Rxd7#
        • 2.Rh7#
      • 1...Sxe4
        • 2.Rxf5#
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Sf3
        • 2.Rxf5#
        • 2.Rg7#
      • 1...Sh3
        • 2.Rxf5#
        • 2.Rg7#
      • 1...Se6
        • 2.Rxf5#
        • 2.Rg7#
      • 1...Sh7
        • 2.Rxf5#
        • 2.Rg7#
      • 1...h3
        • 2.Rh7#
      • 1...Bh3
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
      • 1...Bg4
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
      • 1...Be6
        • 2.Rh7#
      • 1...Bg6
        • 2.Rh7#
      • 1...Bh7
        • 2.Rxh7#
      • 1...Kg6!
    • 1.Ra1?
      • 1...Kg6
        • 2.Sf4#
      • 1...Bxh3
        • 2.Rf4#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Bxd7
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Bg4
        • 2.Sf4#
        • 2.Rff1#
        • 2.Rf2#
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qxg5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
    • 1.Ra2?
      • 1...Kg6
        • 2.Sf4#
      • 1...Bxh3
        • 2.Rf4#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Bxd7
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Bg4
        • 2.Sf4#
        • 2.Rf1#
        • 2.Rff2#
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qxg5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
    • 1.Rb3?
      • 1...Kg6
        • 2.Sf4#
      • 1...Bxh3
        • 2.Rf4#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Bxd7
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Bg4
        • 2.Sf4#
        • 2.Rf1#
        • 2.Rf2#
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qxg5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
    • 1.Rc3?
      • 1...Kg6
        • 2.Sf4#
      • 1...Bxh3
        • 2.Rf4#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Bxd7
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Bg4
        • 2.Sf4#
        • 2.Rf1#
        • 2.Rf2#
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qxg5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
    • 1.Rd3?
      • 1...Kg6
        • 2.Sf4#
      • 1...Bxh3
        • 2.Rf4#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Bxd7
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Bg4
        • 2.Sf4#
        • 2.Rf1#
        • 2.Rf2#
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qxg5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
    • 1.Ra4?
      • 1...Kg6
        • 2.Sf4#
      • 1...Bxh3
        • 2.Rf4#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Bxd7
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Bg4
        • 2.Sf4#
        • 2.Rf1#
        • 2.Rf2#
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qxg5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
    • 1.Rf6+?
      • 1...Bg6
        • 2.Qxg5#
      • 1...Sf7
        • 2.Qxf5#
      • 1...Kg4!
    • 1.Re7+?
      • 1...Bg6
        • 2.Qxg5#
      • 1...Sf7
        • 2.Qxf5#
      • 1...Kg4!
    • 1.Rg7+?
      • 1...Bg6
        • 2.Qxg5#
      • 1...Sf7
        • 2.Sf4#
        • 2.Bxf7#
        • 2.Rg5#
        • 2.Qxf5#
      • 1...Kg4!
    • 1.Rf8+?
      • 1...Bg6
        • 2.Qxg5#
      • 1...Sf7
        • 2.Qxf5#
      • 1...Kg4!
    • 1.Qb5?
      • 1...Kg6
        • 2.Sf4#
      • 1...Bxh3
        • 2.Rf4#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Bxd7
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Bg4
        • 2.Sf4#
        • 2.Rf1#
        • 2.Rf2#
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qxg5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
    • 1.Qc5?
      • 1...Kg6
        • 2.Sf4#
      • 1...Bxh3
        • 2.Rf4#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Bxd7
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Bg4
        • 2.Sf4#
        • 2.Rf1#
        • 2.Rf2#
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qxg5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
    • 1.Qd5?
      • 1...Kg6
        • 2.Sf4#
      • 1...Bxh3
        • 2.Rf4#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Bxd7
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Bg4
        • 2.Sf4#
        • 2.Rf1#
        • 2.Rf2#
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qxg5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
    • 1.Qe5?
      • 1...Kg6
        • 2.Sf4#
        • 2.Rg7#
      • 1...Bxh3
        • 2.Rf4#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Bxd7
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Bg4
        • 2.Sf4#
        • 2.Rf1#
        • 2.Rf2#
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qxg5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
    • 1.d8Q?
      • threat
        • 2.Qxg5#
      • 1...Kg6
        • 2.Sf4#
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qg5#
        • 2.Qxf5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
    • 1.d8S?
      • 1...Kg6
        • 2.Sf4#
      • 1...Bxh3
        • 2.Rf4#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Bg4
        • 2.Sf4#
        • 2.Rf1#
        • 2.Rf2#
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rc7#
        • 2.Rd7#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qxg5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bd7
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Bc8
        • 2.Rf4#
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
    • 1.d8B?
      • 1...Kg6
        • 2.Sf4#
      • 1...Bxh3
        • 2.Rf4#
        • 2.Qxg5#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Bg4
        • 2.Sf4#
        • 2.Rf1#
        • 2.Rf2#
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rc7#
        • 2.Rd7#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qxg5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bd7
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Bc8
        • 2.Rf4#
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
    • 1.d8R?
      • 1...Kg6
        • 2.Sf4#
      • 1...Bxh3
        • 2.Rf4#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Bg4
        • 2.Sf4#
        • 2.Rf1#
        • 2.Rf2#
        • 2.Rf3#
        • 2.Rf4#
        • 2.Rf5#
        • 2.Rf6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rc7#
        • 2.Rfd7#
        • 2.Re7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qxg5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bd7
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Bc8
        • 2.Rf4#
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#
      • 1...Kg4!
  • Keys
    • 1.Ke2!
      • 1...Bg4+
        • 2.Rff3#
      • 1...Kg4
        • 2.Sf6#
      • 1...Kg6
        • 2.Sf4#
      • 1...Bxh3
        • 2.Rf4#
      • 1...Bxe4
        • 2.Qxg5#
      • 1...Bxd7
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Rg7#
      • 1...Sxe4
        • 2.Rg7#
      • 1...Sxf7
        • 2.Qxf5#
      • 1...Be6
        • 2.Qxg5#
      • 1...Bg6
        • 2.Qxg5#
      • 1...Bh7
        • 2.Qxg5#
      • 1...Sf3
        • 2.Rg7#
      • 1...Se6
        • 2.Rg7#
      • 1...Sh7
        • 2.Rg7#

FEATURES

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