MESON Chess Problem Database

Problem Display
PID: 193668 (kBK5/1pn1Q3/N1R5/q2B4/N7/8/8/1R6 w - - 0 1)

Seplowin, Samuel

Brooklyn Eagle, 1915

kBK5/1pn1Q3/N1R5/q2B4/N7/8/8/1R6

#2

8 + 4

6490 yacpdb 2019

SOLUTION

  • SOUND
  • Sets
    • 1...Qe1
      • 2.Sb6#
      • 2.Sxc7#
    • 1...Qd2
      • 2.Sb6#
      • 2.Sxc7#
    • 1...Qc3
      • 2.Sb6#
      • 2.Sxc7#
    • 1...Qb4
      • 2.Sxc7#
    • 1...Qb6
      • 2.Sxb6#
    • 1...Qxa4
      • 2.Sxc7#
    • 1...Qb5
      • 2.Sxc7#
    • 1...Qc5
      • 2.Sxc7#
    • 1...Qxd5
      • 2.Sb6#
      • 2.Sxc7#
    • 1...Sb5
      • 2.Qxb7#
    • 1...Sxd5
      • 2.Qxb7#
    • 1...Sxa6
      • 2.Qxb7#
    • 1...Se6
      • 2.Qxb7#
    • 1...Se8
      • 2.Qxb7#
    • 1...bxa6
      • 2.Rxa6#
    • 1...bxc6
      • 2.Bxc6#
    • 1...b5
      • 2.Rxc7#
    • 1...b6
      • 2.Sxc7#
  • Tries
    • 1.Rbc1?
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rd1?
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Re1?
      • 1...Qxe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rf1?
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rg1?
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rh1?
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rb2?
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rb3?
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rb4?
      • 1...Qxb4
        • 2.Sxc7#
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rb5?
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxb5
        • 2.Sxc7#
      • 1...Sxb5
        • 2.Qxb7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
        • 2.Rxc7#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b6
        • 2.Sxc7#
        • 2.Rxc7#
      • 1...Qxa6!
    • 1.Rcc1?
      • threat
        • 2.Bxb7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rc2?
      • threat
        • 2.Bxb7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rc3?
      • threat
        • 2.Bxb7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rc4?
      • threat
        • 2.Bxb7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rc5?
      • threat
        • 2.Bxb7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rcb6?
      • threat
        • 2.Sxc7#
        • 2.Bxb7#
      • 1...Qxb6
        • 2.Sxb6#
      • 1...Qxd5
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Bxb7#
        • 2.Qxb7#
      • 1...Qc3
        • 2.Bxb7#
      • 1...Qc5
        • 2.Bxb7#
      • 1...Sb5
        • 2.Bxb7#
        • 2.Qxb7#
      • 1...Se6
        • 2.Bxb7#
        • 2.Qxb7#
      • 1...Se8
        • 2.Bxb7#
        • 2.Qxb7#
      • 1...Qxa6!
    • 1.Rd6?
      • threat
        • 2.Bxb7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Re6?
      • threat
        • 2.Bxb7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rf6?
      • threat
        • 2.Bxb7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rg6?
      • threat
        • 2.Bxb7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Rh6?
      • threat
        • 2.Bxb7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Qd7?
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
        • 2.Qxc6#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Qe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Qf7?
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Qe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Qg7?
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Qe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#
      • 1...Qxa6!
    • 1.Qh7?
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Qe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#
      • 1...Qxa6!
  • Keys
    • 1.Ra1!
      • 1...Qxa4
        • 2.Sxc7#
      • 1...Qxd5
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qxa6
        • 2.Sb6#
      • 1...Sxd5
        • 2.Qxb7#
      • 1...Sxa6
        • 2.Qxb7#
      • 1...bxa6
        • 2.Rxa6#
      • 1...bxc6
        • 2.Bxc6#
      • 1...Qb6
        • 2.Sxb6#
      • 1...Qe1
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qd2
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qc3
        • 2.Sb6#
        • 2.Sxc7#
      • 1...Qb4
        • 2.Sxc7#
      • 1...Qb5
        • 2.Sxc7#
      • 1...Qc5
        • 2.Sxc7#
      • 1...Sb5
        • 2.Qxb7#
      • 1...Se6
        • 2.Qxb7#
      • 1...Se8
        • 2.Qxb7#
      • 1...b5
        • 2.Rxc7#
      • 1...b6
        • 2.Sxc7#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • Q(a);N_GUARD::S(D),XS(c)
    • Q(a);N_GUARD::S(B),XQ(a)
    • Q(a);N_GUARD,XS(B)::S(D),XS(c)
    • S(c);OGATE::QAB1(F),XP(b)
    • S(c);OGATE,XB(C)::QAB1(F),XP(b)
    • S(c);OGATE,XS(D)::QAB1(F),XP(b)
    • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
    • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
    • P(b);OGATEB::B(C)+R(E),XS(c)
    • P(b);S_CUTQ(a)::S(D),XS(c)
  • Tries
    • Try
      • R(A);
      • Vars
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
        • S(c);OGATE::QAB1(F),XP(b)
        • P(b);OGATEB::B(C)+R(E),XS(c)
        • P(b);S_CUTQ(a)::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(A);
      • Vars
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
        • S(c);OGATE::QAB1(F),XP(b)
        • P(b);OGATEB::B(C)+R(E),XS(c)
        • P(b);S_CUTQ(a)::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(A);
      • Vars
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
        • S(c);OGATE::QAB1(F),XP(b)
        • P(b);OGATEB::B(C)+R(E),XS(c)
        • P(b);S_CUTQ(a)::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(A);
      • Vars
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
        • S(c);OGATE::QAB1(F),XP(b)
        • P(b);OGATEB::B(C)+R(E),XS(c)
        • P(b);S_CUTQ(a)::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(A);
      • Vars
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
        • S(c);OGATE::QAB1(F),XP(b)
        • P(b);OGATEB::B(C)+R(E),XS(c)
        • P(b);S_CUTQ(a)::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(A);
      • Vars
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
        • S(c);OGATE::QAB1(F),XP(b)
        • P(b);OGATEB::B(C)+R(E),XS(c)
        • P(b);S_CUTQ(a)::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(A);
      • Vars
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
        • S(c);OGATE::QAB1(F),XP(b)
        • P(b);OGATEB::B(C)+R(E),XS(c)
        • P(b);S_CUTQ(a)::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(A);
      • Vars
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
        • S(c);OGATE::QAB1(F),XP(b)
        • P(b);OGATEB::B(C)+R(E),XS(c)
        • P(b);S_CUTQ(a)::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(A);
      • Vars
        • Q(a);N_GUARD,XR(A)::S(D),XS(c)
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
        • S(c);OGATE::QAB1(F),XP(b)
        • P(b);OGATEB::B(C)+R(E),XS(c)
        • P(b);S_CUTQ(a)::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(A);
      • Vars
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • Q(a);N_GUARD,XR(A)::S(D),XS(c)
        • S(c);OGATE,XR(A)::QAB1(F),XP(b)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • S(c);OGATE::QAB1(F),XP(b)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(E);P_PINP(b)
      • Threat
        • B(C),XP(b)
      • Vars
        • S(c);N_SPINP(b),OGATE,XB(C)::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(E);P_PINP(b)
      • Threat
        • B(C),XP(b)
      • Vars
        • S(c);N_SPINP(b),OGATE,XB(C)::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(E);P_PINP(b)
      • Threat
        • B(C),XP(b)
      • Vars
        • S(c);N_SPINP(b),OGATE,XB(C)::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(E);P_PINP(b)
      • Threat
        • B(C),XP(b)
      • Vars
        • S(c);N_SPINP(b),OGATE,XB(C)::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(E);P_PINP(b)
      • Threat
        • B(C),XP(b)
      • Vars
        • S(c);N_SPINP(b),OGATE,XB(C)::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(E);P_PINP(b)
      • Threat
        • DUALS(2)
      • Vars
        • Q(a);XR(E)::S(B),XQ(a)
        • Q(a);N_SPINP(b),XB(C)::S(D),XS(c)
        • S(c);N_SPINP(b),OGATE,XB(C)::QAB1(F),XP(b)
        • Q(a);::B(C),XP(b)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(E);P_PINP(b)
      • Threat
        • B(C),XP(b)
      • Vars
        • S(c);N_SPINP(b),OGATE,XB(C)::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(E);P_PINP(b)
      • Threat
        • B(C),XP(b)
      • Vars
        • S(c);N_SPINP(b),OGATE,XB(C)::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(E);P_PINP(b)
      • Threat
        • B(C),XP(b)
      • Vars
        • S(c);N_SPINP(b),OGATE,XB(C)::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(E);P_PINP(b)
      • Threat
        • B(C),XP(b)
      • Vars
        • S(c);N_SPINP(b),OGATE,XB(C)::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • R(E);P_PINP(b)
      • Threat
        • B(C),XP(b)
      • Vars
        • S(c);N_SPINP(b),OGATE,XB(C)::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(B),XQ(a)
        • Q(a);N_GUARD::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • Q(F);
      • Vars
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
        • S(c);OGATE::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(D),XS(c)
        • Q(a);N_GUARD::S(B),XQ(a)
        • P(b);OGATEB::B(C)+R(E),XS(c)
        • P(b);S_CUTQ(a)::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • Q(F);
      • Vars
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
        • S(c);OGATE::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(D),XS(c)
        • Q(a);N_GUARD::S(B),XQ(a)
        • P(b);OGATEB::B(C)+R(E),XS(c)
        • P(b);S_CUTQ(a)::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • Q(F);
      • Vars
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
        • S(c);OGATE::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(D),XS(c)
        • Q(a);N_GUARD::S(B),XQ(a)
        • P(b);OGATEB::B(C)+R(E),XS(c)
        • P(b);S_CUTQ(a)::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
    • Try
      • Q(F);
      • Vars
        • Q(a);N_GUARD,XS(B)::S(D),XS(c)
        • S(c);OGATE,XB(C)::QAB1(F),XP(b)
        • S(c);OGATE,XS(D)::QAB1(F),XP(b)
        • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
        • S(c);OGATE::QAB1(F),XP(b)
        • Q(a);N_GUARD::S(D),XS(c)
        • Q(a);N_GUARD::S(B),XQ(a)
        • P(b);OGATEB::B(C)+R(E),XS(c)
        • P(b);S_CUTQ(a)::S(D),XS(c)
      • Refutation
        • Q(a);XS(D)
  • Actual
    • R(A);
    • Vars
      • Q(a);N_GUARD,XS(B)::S(D),XS(c)
      • Q(a);N_GUARD,XS(D)::S(B)
      • S(c);OGATE,XB(C)::QAB1(F),XP(b)
      • S(c);OGATE,XS(D)::QAB1(F),XP(b)
      • P(b);OGATE,XS(D)::B(C)+R(E),DCHECK,XP(b)
      • P(b);OGATE,P_SPINP(b),XR(E)::B(C),XP(b)
      • Q(a);N_GUARD::S(B),XQ(a)
      • Q(a);N_GUARD::S(D),XS(c)
      • S(c);OGATE::QAB1(F),XP(b)
      • P(b);OGATEB::B(C)+R(E),XS(c)
      • P(b);S_CUTQ(a)::S(D),XS(c)
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).