Problem Display
PID: 50023 (8/1p6/1P2p3/3kP1K1/P1nbN1N1/8/3R4/2R4Q w - - 0 1)

Baird, Edith Elina Helen (Mrs WJ)

Brighton Society, 1894

8/1p6/1P2p3/3kP1K1/P1nbN1N1/8/3R4/2R4Q

#2

9 + 5


3262 700 Chess Problems 1902

SOLUTION


  • SOUND
  • Sets
    • 1...Sb2
      • 2.Sef2#
      • 2.Sg3#
      • 2.Sc5#
      • 2.Sd6#
      • 2.Sef6#
      • 2.Rc5#
    • 1...Sxd2
      • 2.Sxd2#
      • 2.Sef6#
    • 1...Sa3
      • 2.Sef2#
      • 2.Sg3#
      • 2.Sc5#
      • 2.Sd6#
      • 2.Sef6#
      • 2.Rc5#
    • 1...Se3
      • 2.Sef6#
      • 2.Rc5#
    • 1...Sa5
      • 2.Sef2#
      • 2.Sg3#
      • 2.Sc5#
      • 2.Sd6#
      • 2.Sef6#
      • 2.Rc5#
    • 1...Sxe5
      • 2.Se3#
      • 2.Sgf6#
      • 2.Rc5#
    • 1...Sxb6
      • 2.Sef2#
      • 2.Sg3#
      • 2.Sc5#
      • 2.Sd6#
      • 2.Sef6#
      • 2.Rc5#
    • 1...Sd6
      • 2.Sxd6#
      • 2.Sef6#
      • 2.Rc5#
  • Tries
    • 1.Kf4?
      • 1...Sxd2
        • 2.Sxd2#
        • 2.Sef6#
        • 2.Sgf6#
      • 1...Sxe5
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sxb6
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sb2
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sa3
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Se3
        • 2.Sef6#
        • 2.Sxe3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sa5
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sxd6#
        • 2.Sef6#
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Kc6!
    • 1.Kh4?
      • 1...Sxd2
        • 2.Sxd2#
        • 2.Sef6#
      • 1...Sxe5
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sxb6
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sb2
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa3
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Se3
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa5
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sxd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Kc6!
    • 1.Kh5?
      • 1...Sxd2
        • 2.Sxd2#
        • 2.Sef6#
      • 1...Sxe5
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sxb6
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sb2
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa3
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Se3
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa5
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sxd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Kc6!
    • 1.Kf6?
      • 1...Sxd2
        • 2.Sxd2#
      • 1...Sxe5
        • 2.Se3#
        • 2.Rc5#
      • 1...Sxb6
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Se3#
        • 2.Rc5#
      • 1...Sb2
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Se3#
        • 2.Rc5#
      • 1...Sa3
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Se3#
        • 2.Rc5#
      • 1...Se3
        • 2.Sxe3#
        • 2.Rc5#
      • 1...Sa5
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Se3#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sxd6#
        • 2.Se3#
        • 2.Rc5#
      • 1...Kc6!
    • 1.Kh6?
      • 1...Sxd2
        • 2.Sxd2#
        • 2.Sef6#
      • 1...Sxe5
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sxb6
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sb2
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa3
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Se3
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa5
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sxd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Kc6!
    • 1.Sgf6+?
      • 1...Kxe5
        • 2.Qh2#
      • 1...Kc6!
    • 1.Rcc2?
      • 1...Sxd2
        • 2.Sxd2#
        • 2.Sef6#
      • 1...Sxe5
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sxb6
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sb2
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa3
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Se3
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa5
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sxd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Kc6!
    • 1.Rc3?
      • 1...Sxd2
        • 2.Sxd2#
        • 2.Sef6#
      • 1...Sxe5
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sxb6
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sb2
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa3
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Se3
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa5
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sxd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Kc6!
    • 1.Rdd1?
      • 1...Sxe5
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sxb6
        • 2.Sd2#
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sb2
        • 2.Sd2#
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd2
        • 2.Sxd2#
        • 2.Sef6#
      • 1...Sa3
        • 2.Sd2#
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Se3
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa5
        • 2.Sd2#
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sxd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Kc6!
    • 1.Rd3?
      • 1...Sxe5
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sxb6
        • 2.Sd2#
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sb2
        • 2.Sd2#
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd2
        • 2.Sxd2#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa3
        • 2.Sd2#
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Se3
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa5
        • 2.Sd2#
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sxd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Kc6!
    • 1.Rxd4+?
      • 1...Kc6
        • 2.Rd6#
      • 1...Kxd4!
    • 1.Qg2?
      • 1...Sxd2
        • 2.Sxd2#
        • 2.Sef6#
      • 1...Sxe5
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sxb6
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sb2
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa3
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Se3
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa5
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sxd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Kc6!
    • 1.Qf3?
      • 1...Sxd2
        • 2.Sxd2#
        • 2.Sef6#
      • 1...Sxe5
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sxb6
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sb2
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa3
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Se3
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa5
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sxd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Kc6!
    • 1.Qd1?
      • 1...Kxe4
        • 2.Rxd4#
        • 2.Qh1#
      • 1...Sxd2
        • 2.Sef6#
      • 1...Sxe5
        • 2.Sgf6#
        • 2.Rxd4#
      • 1...Sxb6
        • 2.Sef6#
        • 2.Rxd4#
      • 1...Sb2
        • 2.Sef6#
        • 2.Rxd4#
      • 1...Sa3
        • 2.Sef6#
        • 2.Rxd4#
      • 1...Se3
        • 2.Sef6#
        • 2.Rxd4#
      • 1...Sa5
        • 2.Sef6#
        • 2.Rxd4#
      • 1...Sd6
        • 2.Sef6#
        • 2.Rxd4#
      • 1...Kc6!
    • 1.Qe1?
      • 1...Sxd2
        • 2.Sef6#
      • 1...Sxe5
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sxb6
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sb2
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa3
        • 2.Sef6#
        • 2.Rc5#
      • 1...Se3
        • 2.Sef6#
      • 1...Sa5
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sef6#
        • 2.Rc5#
      • 1...Kc6!
    • 1.Qf1?
      • 1...Kxe4
        • 2.Qg2#
        • 2.Qh1#
      • 1...Sxd2
        • 2.Sef6#
      • 1...Sxe5
        • 2.Sgf6#
      • 1...Sxb6
        • 2.Sef6#
      • 1...Sb2
        • 2.Sef6#
      • 1...Sa3
        • 2.Sef6#
      • 1...Se3
        • 2.Sef6#
      • 1...Sa5
        • 2.Sef6#
      • 1...Sd6
        • 2.Sef6#
      • 1...Kc6!
    • 1.Qg1?
      • 1...Kxe4
        • 2.Qh1#
        • 2.Qg2#
      • 1...Sxd2
        • 2.Sef6#
      • 1...Sxe5
        • 2.Sgf6#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sxb6
        • 2.Sef6#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sb2
        • 2.Sef6#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sa3
        • 2.Sef6#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Se3
        • 2.Sef6#
      • 1...Sa5
        • 2.Sef6#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sd6
        • 2.Sef6#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Kc6!
    • 1.Qh2?
      • 1...Kxe4
        • 2.Qh1#
        • 2.Qg2#
      • 1...Sxd2
        • 2.Sef6#
        • 2.Sgf6#
      • 1...Sxe5
        • 2.Sgf6#
        • 2.Qxe5#
      • 1...Sxb6
        • 2.Sef6#
        • 2.Sgf6#
      • 1...Sb2
        • 2.Sef6#
        • 2.Sgf6#
      • 1...Sa3
        • 2.Sef6#
        • 2.Sgf6#
      • 1...Se3
        • 2.Sef6#
        • 2.Sgf6#
      • 1...Sa5
        • 2.Sef6#
        • 2.Sgf6#
      • 1...Sd6
        • 2.Sef6#
        • 2.Sgf6#
      • 1...Kc6!
    • 1.Qh3?
      • 1...Kxe4
        • 2.Qg2#
        • 2.Qh1#
      • 1...Sxd2
        • 2.Sef6#
      • 1...Sxe5
        • 2.Sgf6#
      • 1...Sxb6
        • 2.Sef6#
      • 1...Sb2
        • 2.Sef6#
      • 1...Sa3
        • 2.Sef6#
      • 1...Se3
        • 2.Sef6#
      • 1...Sa5
        • 2.Sef6#
      • 1...Sd6
        • 2.Sef6#
      • 1...Kc6!
    • 1.Qh4?
      • 1...Kxe4
        • 2.Qh1#
      • 1...Sxd2
        • 2.Sef6#
      • 1...Sxe5
        • 2.Se3#
        • 2.Sgf6#
      • 1...Sxb6
        • 2.Sef6#
      • 1...Sb2
        • 2.Sef6#
      • 1...Sa3
        • 2.Sef6#
      • 1...Se3
        • 2.Sef6#
      • 1...Sa5
        • 2.Sef6#
      • 1...Sd6
        • 2.Sef6#
      • 1...Kc6!
    • 1.Qh5?
      • 1...Kxe4
        • 2.Qh1#
      • 1...Sxd2
        • 2.Sef6#
      • 1...Sxe5
        • 2.Sgf6#
      • 1...Sxb6
        • 2.Sef6#
      • 1...Sb2
        • 2.Sef6#
      • 1...Sa3
        • 2.Sef6#
      • 1...Se3
        • 2.Sef6#
      • 1...Sa5
        • 2.Sef6#
      • 1...Sd6
        • 2.Sef6#
      • 1...Kc6!
    • 1.Qh7?
      • threat
        • 2.Qxb7#
      • 1...Sxe5
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sa5
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sef6#
        • 2.Rc5#
      • 1...Kc6!
    • 1.Qh8?
      • 1...Kxe4
        • 2.Qh1#
      • 1...Sxd2
        • 2.Sef6#
      • 1...Sxe5
        • 2.Sgf6#
        • 2.Qxe5#
      • 1...Sxb6
        • 2.Sef6#
      • 1...Sb2
        • 2.Sef6#
      • 1...Sa3
        • 2.Sef6#
      • 1...Se3
        • 2.Sef6#
      • 1...Sa5
        • 2.Sef6#
      • 1...Sd6
        • 2.Sef6#
      • 1...Kc6!
    • 1.a5?
      • 1...Sxd2
        • 2.Sxd2#
        • 2.Sef6#
      • 1...Sxa5
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sxe5
        • 2.Se3#
        • 2.Sgf6#
        • 2.Rc5#
      • 1...Sxb6
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sb2
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sa3
        • 2.Sef2#
        • 2.Sg3#
        • 2.Sc5#
        • 2.Sd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Se3
        • 2.Sef6#
        • 2.Rc5#
      • 1...Sd6
        • 2.Sxd6#
        • 2.Sef6#
        • 2.Rc5#
      • 1...Kc6!
  • Keys
    • 1.Qh6!
      • 1...Kxe4
        • 2.Qh1#
      • 1...Kc6
        • 2.Qxe6#
      • 1...Sxd2
        • 2.Sef6#
      • 1...Sxe5
        • 2.Sgf6#
      • 1...Sxb6
        • 2.Sef6#
      • 1...Sb2
        • 2.Sef6#
      • 1...Sa3
        • 2.Sef6#
      • 1...Se3
        • 2.Sef6#
      • 1...Sa5
        • 2.Sef6#
      • 1...Sd6
        • 2.Sef6#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 10
    • REMOVED MATES = 0
  • Sets
  • Tries
    • Try
      • K(H);S_FLIGHT
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • K(H);S_FLIGHT
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • K(H);P-FLIGHT
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • K(H);P_SPINP(G),S_FLIGHT
      • Vars
        • S(a);N_SPINB(b),XR(C)::QAB(B)+S(E),XS(a)
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • K(H);S_FLIGHT
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • S(F);CHECK
      • Vars
        • K(c);N_SPINB(b),P-FLIGHT,XP(G)::QAB(B)
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • R(A);
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • R(A);
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • R(C);
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • R(C);
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • R(C);CHECK,XB(b)
      • Vars
        • K(c);OGATE,P_SPINS(a),S_FLIGHT::R1(C)
      • Refutation
        • K(c);P-FLIGHT,XR(C)
    • Try
      • Q(B);
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • Q(B);
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • Q(B);
      • Vars
        • S(a);N_SPINB(b),XR(C)::S(E)
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • Q(B);
      • Vars
        • S(a);N_SPINB(b),XR(C)::S(E)
        • S(a);::S(E)
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • Q(B);
      • Vars
        • S(a);N_SPINB(b),XR(C)::S(E)
        • S(a);SBLOCK,XP(G)::S(F)
        • S(a);XP(I)::S(E)
        • S(a);::S(E)
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • Q(B);
      • Vars
        • S(a);N_SPINB(b),XR(C)::S(E)
        • S(a);::S(E)
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • Q(B);
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • Q(B);
      • Vars
        • S(a);N_SPINB(b),XR(C)::S(E)
        • S(a);SBLOCK,XP(G)::S(F)
        • S(a);XP(I)::S(E)
        • S(a);::S(E)
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • Q(B);
      • Vars
        • K(c);N_SPINB(b),OGATEB,S_FLIGHT,XS(E)::QAB(B)
        • S(a);N_SPINB(b),XR(C)::S(E)
        • S(a);XP(I)::S(E)
        • S(a);::S(E)
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • Q(B);
      • Vars
        • K(c);N_SPINB(b),OGATEB,S_FLIGHT,XS(E)::QAB(B)
        • S(a);N_SPINB(b),XR(C)::S(E)
        • S(a);SBLOCK,XP(G)::S(F)
        • S(a);XP(I)::S(E)
        • S(a);::S(E)
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • Q(B);
      • Threat
        • QAB(B),XP(e)
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • Q(B);
      • Vars
        • K(c);N_SPINB(b),OGATEB,S_FLIGHT,XS(E)::QAB(B)
        • S(a);N_SPINB(b),XR(C)::S(E)
        • S(a);XP(I)::S(E)
        • S(a);::S(E)
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
    • Try
      • P(D);
      • Refutation
        • K(c);N_SPINB(b),P_SPINS(a),S_FLIGHT
  • Actual
    • Q(B);
    • Vars
      • K(c);N_SPINB(b),OGATEB,S_FLIGHT,XS(E)::QAB(B)
      • K(c);N_SPINB(b),P_SPINP(d),P_SPINS(a),S_FLIGHT::QAR2(B),XP(d)
      • S(a);N_SPINB(b),XR(C)::S(E)
      • S(a);SBLOCK,XP(G)::S(F)
      • S(a);XP(I)::S(E)
      • S(a);::S(E)


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).