Problem Display
PID: 109959 (1nb5/3r4/ppN3p1/bkq1R1P1/1p2Q3/5R2/1N2P1K1/8 w - - 0 1)

de Savignac Castelet, G Arnaud

Bulletin de la FFE, 1928

1nb5/3r4/ppN3p1/bkq1R1P1/1p2Q3/5R2/1N2P1K1/8

#2

8 + 10


6490 yacpdb 2009

SOLUTION


  • SOUND
  • Sets
    • 1...Qd5
      • 2.Qc4#
    • 1...Qxe5
      • 2.Qc4#
    • 1...Rd1
      • 2.Sa7#
    • 1...Rd2
      • 2.Sa7#
    • 1...Rd3
      • 2.Sa7#
    • 1...Rd4
      • 2.Sxd4#
      • 2.Sa7#
    • 1...Rd5
      • 2.Sa7#
    • 1...Rd6
      • 2.Sa7#
    • 1...Ra7
      • 2.Sd4#
      • 2.Sxa7#
    • 1...Rb7
      • 2.Sd4#
    • 1...Rc7
      • 2.Sd4#
    • 1...Re7
      • 2.Sd4#
    • 1...Rf7
      • 2.Sd4#
    • 1...Rg7
      • 2.Sd4#
    • 1...Rh7
      • 2.Sd4#
    • 1...Rd8
      • 2.Sa7#
    • 1...Bb7
      • 2.Sa7#
    • 1...Sxc6
      • 2.Qc4#
    • 1...b3
      • 2.Qa4#
  • Tries
    • 1.Kf1?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Qd5
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Rd1+!
    • 1.Kg3?
      • 1...Sxc6
        • 2.Qc4#
      • 1...Qd5
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Qxe5+!
    • 1.Sxb8?
      • threat
        • 2.Qc6#
        • 2.Qc4#
      • 1...Qd5
        • 2.Qc4#
      • 1...Rd4
        • 2.Qc6#
      • 1...Rd6
        • 2.Qc4#
      • 1...Rc7
        • 2.Qd3#
        • 2.Qc4#
      • 1...Bb7
        • 2.Qc4#
      • 1...b3
        • 2.Qa4#
        • 2.Qc4#
      • 1...Rd5!
    • 1.Rf1?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Qd5!
    • 1.Rf2?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Qd5!
    • 1.Ra3?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...bxa3
        • 2.Qa4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Qd5!
    • 1.Rb3?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...Qd5!
    • 1.Rd3?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Rxd3
        • 2.Sa7#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Qd5!
    • 1.Re3?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Qd5!
    • 1.Rg3?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Qd5!
    • 1.Rh3?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Qd5!
    • 1.Rf4?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Qd5!
    • 1.Rf6?
      • threat
        • 2.Qc4#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Qd5!
    • 1.Rf7?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Rxf7
        • 2.Sd4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Qd5!
    • 1.Rf8?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Qd5!
    • 1.Ref5?
      • 1...Qxf5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Qd5
        • 2.Qc4#
      • 1...Qe5
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...gxf5!
    • 1.Qd3+?
      • 1...Rxd3
        • 2.Sa7#
      • 1...Kxc6!
    • 1.Qf4?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Qd5
        • 2.Qc4#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Kxc6!
    • 1.Qg4?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Qd5
        • 2.Qc4#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Kxc6!
    • 1.Qh4?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Qd5
        • 2.Qc4#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Kxc6!
    • 1.e3?
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...Qd5
        • 2.Qc4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#
      • 1...Rd2+!
  • Keys
    • 1.Rc3!
      • 1...Qxe5
        • 2.Qc4#
      • 1...Sxc6
        • 2.Qc4#
      • 1...bxc3
        • 2.Qa4#
      • 1...Rd5
        • 2.Sa7#
      • 1...Rd4
        • 2.Sxd4#
        • 2.Sa7#
      • 1...Qd5
        • 2.Sd4#
      • 1...Rd1
        • 2.Sa7#
      • 1...Rd2
        • 2.Sa7#
      • 1...Rd3
        • 2.Sa7#
      • 1...Rd6
        • 2.Sa7#
      • 1...Ra7
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Rb7
        • 2.Sd4#
      • 1...Rc7
        • 2.Sd4#
      • 1...Re7
        • 2.Sd4#
      • 1...Rf7
        • 2.Sd4#
      • 1...Rg7
        • 2.Sd4#
      • 1...Rh7
        • 2.Sd4#
      • 1...Rd8
        • 2.Sa7#
      • 1...Bb7
        • 2.Sa7#
      • 1...b3
        • 2.Qa4#

FEATURES


  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • Q(d);::QAB1(E)
    • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
    • R(h);N_GUARD::S(H)
    • R(h);N_GUARD,P_PINP(B)::S(H)
    • R(h);N_GUARD,N_SPINQ(d)::S(H)
    • B(j);S_CUTR(h)::S(H)
    • S(i);SBLOCK,XS(H)::QAB1(E)
    • P(a);OGATE::QAB1(E)
  • Tries
    • Try
      • K(C);S_FLIGHT
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • Q(d);::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINR(D)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • R(h);CHECK
    • Try
      • K(C);P-FLIGHT
      • Vars
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • Q(d);::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINR(D)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • Q(d);CHECK,N_SPINQ(d),XR(F)
    • Try
      • S(H);XS(i)
      • Threat
        • DUALS(2)
      • Vars
        • Q(d);::QAB1(E)
        • R(h);::QAB1(E)
        • B(j);::QAB1(E)
      • Refutation
        • R(h);N_SPINQ(d)
    • Try
      • R(D);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINP(B)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • Q(d);P_PINQ(E)
    • Try
      • R(D);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • Q(d);P_PINQ(E)
    • Try
      • R(D);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • P(a);OGATE,XR(D)::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINP(B)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • Q(d);P_PINQ(E)
    • Try
      • R(D);P_PINP(a)
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINP(B)::S(H)
        • B(j);S_CUTR(h)::S(H)
      • Refutation
        • Q(d);P_PINQ(E)
    • Try
      • R(D);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • R(h);N_GUARD,XR(D)::S(H)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • Q(d);P_PINQ(E)
    • Try
      • R(D);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINP(B)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • Q(d);P_PINQ(E)
    • Try
      • R(D);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINP(B)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • Q(d);P_PINQ(E)
    • Try
      • R(D);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINP(B)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • Q(d);P_PINQ(E)
    • Try
      • R(D);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINP(B)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • Q(d);P_PINQ(E)
    • Try
      • R(D);
      • Threat
        • QAB1(E)
      • Vars
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
      • Refutation
        • Q(d);P_PINQ(E)
    • Try
      • R(D);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • R(h);N_GUARD,XR(D)::S(H)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINP(B)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • Q(d);P_PINQ(E)
    • Try
      • R(D);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINP(B)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • Q(d);P_PINQ(E)
    • Try
      • R(F);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • Q(d);::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINP(B)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • P(g);N_SPINQ(d),XR(F)
    • Try
      • Q(E);CHECK
      • Vars
        • R(h);XQ(E)::S(H)
      • Refutation
        • K(c);N_SPINQ(d),S_FLIGHT,XS(H)
    • Try
      • Q(E);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • Q(d);P_PINR(D)::QAB1(E)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINP(B)::S(H)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • K(c);N_SPINQ(d),S_FLIGHT,XS(H)
    • Try
      • Q(E);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • Q(d);P_PINR(D)::QAB1(E)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINP(B)::S(H)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • K(c);N_SPINQ(d),S_FLIGHT,XS(H)
    • Try
      • Q(E);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • Q(d);P_PINR(D)::QAB1(E)
        • R(h);N_GUARD::S(H)
        • R(h);N_GUARD,P_PINP(B)::S(H)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • K(c);N_SPINQ(d),S_FLIGHT,XS(H)
    • Try
      • P(B);
      • Vars
        • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
        • S(i);SBLOCK,XS(H)::QAB1(E)
        • Q(d);::QAB1(E)
        • R(h);N_GUARD,N_SPINQ(d)::S(H)
        • R(h);N_GUARD::S(H)
        • B(j);S_CUTR(h)::S(H)
        • P(a);OGATE::QAB1(E)
      • Refutation
        • R(h);CHECK
  • Actual
    • R(D);
    • Vars
      • Q(d);N_SPINQ(d),XR(F)::QAB1(E)
      • S(i);SBLOCK,XS(H)::QAB1(E)
      • P(a);OGATE,XR(D)::QAB1(E)
      • R(h);N_GUARD,N_SPINQ(d)::S(H)
      • Q(d);P_PINQ(E),S_CUTR(h)::S(H)
      • R(h);N_GUARD::S(H)
      • R(h);N_GUARD,P_PINP(B)::S(H)
      • B(j);S_CUTR(h)::S(H)
      • P(a);OGATE::QAB1(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).