MESON Chess Problem Database

Problem Display
PID: 268702 (R5RB/Q6P/1P6/8/2B5/P3K3/1q1N2p1/k7 w - - 0 1)

Battaglia, Emilio

Probleemblad, 1986

R5RB/Q6P/1P6/8/2B5/P3K3/1q1N2p1/k7

#2

10 + 3

SOLUTION

  • SOUND
  • Sets
    • 1...Qc3+
      • 2.Bxc3#
    • 1...Qd4+
      • 2.Bxd4#
    • 1...Qe5+
      • 2.Bxe5#
    • 1...Qf6
      • 2.Bxf6#
    • 1...Qg7
      • 2.Bxg7#
      • 2.Qxg7#
    • 1...g1Q+
      • 2.Rxg1#
    • 1...g1S
      • 2.Rxg1#
    • 1...g1B+
      • 2.Rxg1#
    • 1...g1R
      • 2.Rxg1#
  • Tries
    • 1.Ke2?
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1S+
        • 2.Rxg1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1Q
        • 2.Rxg1#
      • 1...g1B
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Kf2?
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qf6+
        • 2.Bxf6#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Kd3?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1Q
        • 2.Rxg1#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1B
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Kf3?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qf6+
        • 2.Bxf6#
      • 1...g1S+
        • 2.Rxg1#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1Q
        • 2.Rxg1#
      • 1...g1B
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Ke4?
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1Q
        • 2.Rxg1#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1B
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Kf4?
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1Q
        • 2.Rxg1#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1B
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Bb3?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Bd5?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Be6?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Bf7?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Bc3?
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxc3+!
    • 1.Bd4?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxd4+!
    • 1.Be5?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxe5+!
    • 1.Bf6?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxf6!
    • 1.Rab8?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Rac8?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Rad8?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Rae8?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Raf8?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rf1#
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Rxg2?
      • threat
        • 2.Rg1#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...Qxh8!
    • 1.Rg3?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Rg4?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Rg5?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Rg6?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Qb8?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
        • 2.Qxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Qa4?
      • threat
        • 2.Qd1#
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Qa5?
      • 1...Qc3+
        • 2.Bxc3#
        • 2.Qxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
        • 2.Qxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Qa6?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Qb7?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Qc7?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
        • 2.Qxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Qd7?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
        • 2.Qxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Qe7?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
        • 2.Qxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
        • 2.Qxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.Qf7?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
        • 2.Qxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
        • 2.Qf1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.a4?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
    • 1.b7?
      • 1...Qc3+
        • 2.Bxc3#
      • 1...Qd4+
        • 2.Bxd4#
        • 2.Qxd4#
      • 1...Qe5+
        • 2.Bxe5#
      • 1...g1Q+
        • 2.Rxg1#
      • 1...g1B+
        • 2.Rxg1#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Qg7
        • 2.Bxg7#
      • 1...g1S
        • 2.Rxg1#
      • 1...g1R
        • 2.Rxg1#
      • 1...Qxh8!
  • Keys
    • 1.Qg7!
      • threat
        • 2.Qxb2#
      • 1...Qc3+
        • 2.Qxc3#
      • 1...Qd4+
        • 2.Qxd4#
      • 1...Qe5+
        • 2.Qxe5#
      • 1...g1Q+
        • 2.Qxg1#
      • 1...g1B+
        • 2.Qxg1#
      • 1...Qxg7
        • 2.Bxg7#
      • 1...Qf6
        • 2.Qxf6#

FEATURES

  • Static
    • TYPE = THREAT
    • CHANGED MATES = 6
    • ADDED MATES = 1
    • REMOVED MATES = 2
  • Sets
    • Q(b);CHECK,OGATEB::B(J),XQ(b)
    • Q(b);OGATEB::B(J),XQ(b)
    • P(c);CHECK,OGATE::R(I),XQ(c)
    • P(c);OGATE::R(I),XS(c)
    • P(c);CHECK,OGATE::R(I),XB(c)
    • P(c);OGATE::R(I),XR(c)
  • Tries
    • Try
      • K(C);P-FLIGHT,P_SPINS(A)
      • Vars
        • Q(b);CHECK,N_PINS(A),OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XS(c)
        • Q(b);N_PINS(A),OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XQ(c)
        • P(c);OGATE::R(I),XB(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_PINS(A),N_SPINQ(b),XB(J)
    • Try
      • K(C);P_SPINS(A),S_FLIGHT
      • Vars
        • Q(b);CHECK,N_PINS(A),OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);N_PINS(A),OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_PINS(A),N_SPINQ(b),XB(J)
    • Try
      • K(C);P-FLIGHT
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XQ(c)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XB(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • K(C);P-FLIGHT
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XS(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XQ(c)
        • P(c);OGATE::R(I),XB(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • K(C);P-FLIGHT
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XQ(c)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XB(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • K(C);S_FLIGHT
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XQ(c)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XB(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • B(D);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • B(D);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • B(D);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • B(D);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • B(J);
      • Vars
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);CHECK,N_SPINQ(b),XB(J)
    • Try
      • B(J);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);CHECK,N_SPINQ(b),XB(J)
    • Try
      • B(J);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);CHECK,N_SPINQ(b),XB(J)
    • Try
      • B(J);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • R(H);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • R(H);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • R(H);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • R(H);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • R(H);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • R(I);XP(c)
      • Threat
        • R(I)
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • Q(b);OGATEB::B(J),XQ(b)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • R(I);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • R(I);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • R(I);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • R(I);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • Q(F);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • Q(F);
      • Threat
        • QAR(F)
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • Q(F);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • Q(F);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • Q(F);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • Q(F);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • Q(F);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • Q(F);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • Q(F);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • P(B);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
    • Try
      • P(E);
      • Vars
        • Q(b);CHECK,OGATEB::B(J),XQ(b)
        • P(c);CHECK,OGATE::R(I),XQ(c)
        • P(c);CHECK,OGATE::R(I),XB(c)
        • Q(b);OGATEB::B(J),XQ(b)
        • P(c);OGATE::R(I),XS(c)
        • P(c);OGATE::R(I),XR(c)
      • Refutation
        • Q(b);N_SPINQ(b),XB(J)
  • Actual
    • Q(F);
    • Threat
      • QAB1(F),XQ(b)
    • Vars
      • Q(b);CHECK,OGATEB::QAB(F),XQ(b)
      • P(c);CHECK,OGATE::QAR(F),XQ(c)
      • P(c);CHECK,OGATE::QAR(F),XB(c)
      • Q(b);OGATE,XQ(F)::B(J),XQ(b)
      • Q(b);OGATEB::QAB(F),XQ(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).