MESON Chess Problem Database

Problem Display
PID: 149448 (2r5/R2n4/2kPp3/1rPp4/P1NR4/1P1NP3/6B1/6K1 w - - 0 1)

Dawson, Thomas Rayner

Birmingham Sunday Morning News, 1922

(First published on Sun Nov 12 1922)

2r5/R2n4/2kPp3/1rPp4/P1NR4/1P1NP3/6B1/6K1

#2

11 + 6

15256 TRD Scrapbook 2014

SOLUTION

  • SOUND
  • Sets
    • 1...Rxb3
      • 2.Sa5#
    • 1...Rb4
      • 2.Sa5#
    • 1...Ra5
      • 2.Sxa5#
    • 1...Rxc5
      • 2.Sb4#
    • 1...Rb6
      • 2.Sa5#
    • 1...Rb7
      • 2.Sa5#
    • 1...Rbb8
      • 2.Sa5#
    • 1...Rc7
      • 2.Rxc7#
    • 1...Ra8
      • 2.Rc7#
    • 1...Rcb8
      • 2.Rc7#
    • 1...Rd8
      • 2.Rc7#
    • 1...Re8
      • 2.Rc7#
    • 1...Rf8
      • 2.Rc7#
    • 1...Rg8
      • 2.Rc7#
    • 1...Rh8
      • 2.Rc7#
    • 1...Sxc5
      • 2.Sde5#
    • 1...Se5
      • 2.Scxe5#
    • 1...Sb6
      • 2.Sce5#
    • 1...Sf6
      • 2.Sce5#
    • 1...Sb8
      • 2.Sce5#
    • 1...Sf8
      • 2.Sce5#
    • 1...e5
      • 2.Bxd5#
  • Tries
    • 1.Kf1?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5
        • 2.Bxd5#
      • 1...Rf8+!
    • 1.Kh1?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5
        • 2.Bxd5#
      • 1...Rh8+!
    • 1.Kf2?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5
        • 2.Bxd5#
      • 1...Rf8+!
    • 1.Kh2?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5
        • 2.Bxd5#
      • 1...Rh8+!
    • 1.Bh1?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5
        • 2.Bxd5#
      • 1...Rg8+!
    • 1.Bf3?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5
        • 2.Bxd5#
      • 1...Rg8+!
    • 1.Bh3?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...dxc4
        • 2.Bg2#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5
        • 2.Bxd7#
      • 1...Rg8+!
    • 1.Re4?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...dxc4
        • 2.Rxc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Rg4#
        • 2.Rh4#
        • 2.Re5#
        • 2.Rxe6#
      • 1...dxe4
        • 2.Bxe4#
      • 1...d4
        • 2.Rxd4#
        • 2.Rf4#
        • 2.Rg4#
        • 2.Rh4#
        • 2.Re5#
        • 2.Rxe6#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5!
    • 1.Rf4?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5!
    • 1.Rg4?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5!
    • 1.Rh4?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5!
    • 1.Rxd5?
      • threat
        • 2.Rd4#
        • 2.Re5#
        • 2.Rf5#
        • 2.Rg5#
        • 2.Rh5#
      • 1...Rxc5
        • 2.Sb4#
        • 2.Rxc5#
      • 1...Sxc5
        • 2.Sde5#
        • 2.Rxc5#
      • 1...e5
        • 2.Rxe5#
      • 1...Rf8
        • 2.Rf5#
        • 2.Rc7#
      • 1...Rg8
        • 2.Rg5#
        • 2.Rc7#
      • 1...Se5
        • 2.Sdxe5#
        • 2.Scxe5#
        • 2.Rxe5#
      • 1...Sb6
        • 2.Sde5#
        • 2.Sce5#
      • 1...Sf6
        • 2.Sde5#
        • 2.Sce5#
      • 1...exd5!
    • 1.Rxd7?
      • threat
        • 2.Sce5#
      • 1...Rxc5
        • 2.Sde5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...e5
        • 2.Scxe5#
      • 1...Kxd7!
    • 1.b4?
      • 1...Rxb4
        • 2.Sa5#
      • 1...Sxc5
        • 2.Sde5#
      • 1...e5
        • 2.Bxd5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Sdxe5#
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sde5#
        • 2.Sce5#
      • 1...Sf6
        • 2.Sde5#
        • 2.Sce5#
      • 1...Sb8
        • 2.Sde5#
        • 2.Sce5#
      • 1...Sf8
        • 2.Sde5#
        • 2.Sce5#
      • 1...Rxc5!
  • Keys
    • 1.e4!
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...dxc4
        • 2.e5#
      • 1...dxe4
        • 2.Bxe4#
      • 1...e5
        • 2.exd5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#

This is a version of 149447

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 2
    • REMOVED MATES = 0
  • Sets
    • R(a);N_GUARD,XP(C)::S(G)
    • R(a);N_GUARD::S(G)
    • R(a);N_GUARD::S(G),XR(a)
    • R(a);N_GUARD,SBLOCK,XP(I)::S(D)
    • R(f);N_GUARD::R1(K),XR(f)
    • R(f);N_GUARD::R1(K)
    • R(f);N_GUARD,P_PINB(B)::R1(K)
    • S(e);N_GUARD,SBLOCK,XP(I)::S(D)
    • S(e);N_GUARD::S(G),XS(e)
    • S(e);N_GUARD::S(G)
    • P(d);N_GUARD::B(B),XP(b)
  • Tries
    • Try
      • K(A);P-FLIGHT
      • Vars
        • R(a);N_GUARD,XP(C)::S(G)
        • R(a);N_GUARD,SBLOCK,XP(I)::S(D)
        • S(e);N_GUARD,SBLOCK,XP(I)::S(D)
        • R(a);N_GUARD::S(G)
        • R(a);N_GUARD::S(G),XR(a)
        • R(f);N_GUARD::R1(K),XR(f)
        • R(f);N_GUARD::R1(K)
        • S(e);N_GUARD::S(G),XS(e)
        • S(e);N_GUARD::S(G)
        • P(d);N_GUARD::B(B),XP(b)
      • Refutation
        • R(f);CHECK
    • Try
      • K(A);P-FLIGHT
      • Vars
        • R(a);N_GUARD,XP(C)::S(G)
        • R(a);N_GUARD,SBLOCK,XP(I)::S(D)
        • S(e);N_GUARD,SBLOCK,XP(I)::S(D)
        • R(a);N_GUARD::S(G)
        • R(a);N_GUARD::S(G),XR(a)
        • R(f);N_GUARD::R1(K),XR(f)
        • R(f);N_GUARD::R1(K)
        • S(e);N_GUARD::S(G),XS(e)
        • S(e);N_GUARD::S(G)
        • P(d);N_GUARD::B(B),XP(b)
      • Refutation
        • R(f);CHECK
    • Try
      • K(A);S_FLIGHT
      • Vars
        • R(a);N_GUARD,XP(C)::S(G)
        • R(a);N_GUARD,SBLOCK,XP(I)::S(D)
        • S(e);N_GUARD,SBLOCK,XP(I)::S(D)
        • R(a);N_GUARD::S(G)
        • R(a);N_GUARD::S(G),XR(a)
        • R(f);N_GUARD::R1(K),XR(f)
        • R(f);N_GUARD::R1(K)
        • S(e);N_GUARD::S(G),XS(e)
        • S(e);N_GUARD::S(G)
        • P(d);N_GUARD::B(B),XP(b)
      • Refutation
        • R(f);CHECK
    • Try
      • K(A);S_FLIGHT
      • Vars
        • R(a);N_GUARD,XP(C)::S(G)
        • R(a);N_GUARD,SBLOCK,XP(I)::S(D)
        • S(e);N_GUARD,SBLOCK,XP(I)::S(D)
        • R(a);N_GUARD::S(G)
        • R(a);N_GUARD::S(G),XR(a)
        • R(f);N_GUARD::R1(K),XR(f)
        • R(f);N_GUARD::R1(K)
        • S(e);N_GUARD::S(G),XS(e)
        • S(e);N_GUARD::S(G)
        • P(d);N_GUARD::B(B),XP(b)
      • Refutation
        • R(f);CHECK
    • Try
      • B(B);
      • Vars
        • R(a);N_GUARD,XP(C)::S(G)
        • R(a);N_GUARD,SBLOCK,XP(I)::S(D)
        • S(e);N_GUARD,SBLOCK,XP(I)::S(D)
        • R(a);N_GUARD::S(G)
        • R(a);N_GUARD::S(G),XR(a)
        • R(f);N_GUARD::R1(K),XR(f)
        • R(f);N_GUARD::R1(K)
        • S(e);N_GUARD::S(G),XS(e)
        • S(e);N_GUARD::S(G)
        • P(d);N_GUARD::B(B),XP(b)
      • Refutation
        • R(f);CHECK
    • Try
      • B(B);
      • Vars
        • R(a);N_GUARD,XP(C)::S(G)
        • R(a);N_GUARD,SBLOCK,XP(I)::S(D)
        • S(e);N_GUARD,SBLOCK,XP(I)::S(D)
        • R(a);N_GUARD::S(G)
        • R(a);N_GUARD::S(G),XR(a)
        • R(f);N_GUARD::R1(K),XR(f)
        • R(f);N_GUARD::R1(K)
        • S(e);N_GUARD::S(G),XS(e)
        • S(e);N_GUARD::S(G)
        • P(d);N_GUARD::B(B),XP(b)
      • Refutation
        • R(f);CHECK
    • Try
      • B(B);N_PINP(b)
      • Vars
        • R(a);N_GUARD,XP(C)::S(G)
        • R(a);N_GUARD,SBLOCK,XP(I)::S(D)
        • S(e);N_GUARD,SBLOCK,XP(I)::S(D)
        • P(b);OGATEB,XS(G)::B(B)
        • R(a);N_GUARD::S(G)
        • R(a);N_GUARD::S(G),XR(a)
        • R(f);N_GUARD::R1(K),XR(f)
        • R(f);N_GUARD::R1(K)
        • S(e);N_GUARD::S(G),XS(e)
        • S(e);N_GUARD::S(G)
        • P(d);OGATE::B(B),XS(e)
      • Refutation
        • R(f);CHECK
    • Try
      • R(H);N_PINP(b)
      • Vars
        • R(a);N_GUARD,XP(C)::S(G)
        • R(a);N_GUARD,SBLOCK,XP(I)::S(D)
        • S(e);N_GUARD,SBLOCK,XP(I)::S(D)
        • P(b);OGATE,P_SPINP(b),XR(H)::B(B),XP(b)
        • R(a);N_GUARD::S(G)
        • R(a);N_GUARD::S(G),XR(a)
        • R(f);N_GUARD::R1(K),XR(f)
        • R(f);N_GUARD::R1(K)
        • R(f);N_GUARD,P_PINB(B)::R1(K)
        • S(e);N_GUARD::S(G),XS(e)
        • S(e);N_GUARD::S(G)
      • Refutation
        • P(d);
    • Try
      • R(H);
      • Vars
        • R(a);N_GUARD,XP(C)::S(G)
        • R(a);N_GUARD,SBLOCK,XP(I)::S(D)
        • S(e);N_GUARD,SBLOCK,XP(I)::S(D)
        • R(a);N_GUARD::S(G)
        • R(a);N_GUARD::S(G),XR(a)
        • R(f);N_GUARD::R1(K),XR(f)
        • R(f);N_GUARD::R1(K)
        • R(f);N_GUARD,P_PINB(B)::R1(K)
        • S(e);N_GUARD::S(G),XS(e)
        • S(e);N_GUARD::S(G)
      • Refutation
        • P(d);
    • Try
      • R(H);
      • Vars
        • R(a);N_GUARD,XP(C)::S(G)
        • R(a);N_GUARD,SBLOCK,XP(I)::S(D)
        • S(e);N_GUARD,SBLOCK,XP(I)::S(D)
        • R(a);N_GUARD::S(G)
        • R(a);N_GUARD::S(G),XR(a)
        • R(f);N_GUARD::R1(K),XR(f)
        • R(f);N_GUARD::R1(K)
        • S(e);N_GUARD::S(G),XS(e)
        • S(e);N_GUARD::S(G)
      • Refutation
        • P(d);
    • Try
      • R(H);
      • Vars
        • R(a);N_GUARD,XP(C)::S(G)
        • R(a);N_GUARD,SBLOCK,XP(I)::S(D)
        • S(e);N_GUARD,SBLOCK,XP(I)::S(D)
        • R(a);N_GUARD::S(G)
        • R(a);N_GUARD::S(G),XR(a)
        • R(f);N_GUARD::R1(K),XR(f)
        • R(f);N_GUARD::R1(K)
        • R(f);N_GUARD,P_PINB(B)::R1(K)
        • S(e);N_GUARD::S(G),XS(e)
        • S(e);N_GUARD::S(G)
      • Refutation
        • P(d);
    • Try
      • R(H);XP(b)
      • Threat
        • DUALS(5)
      • Vars
        • P(d);::B(B)+R(H),XP(d)
      • Refutation
        • P(d);P_SPINP(d),XR(H)
    • Try
      • R(K);XS(e)
      • Threat
        • S(G)
      • Vars
        • R(a);SBLOCK,XP(I)::S(D)
        • R(f);N_GUARD::R1(K),XR(f)
        • P(d);::S(G),XP(d)
      • Refutation
        • K(c);N_SPINP(b),S_FLIGHT,XR(K)
    • Try
      • P(C);
      • Vars
        • R(a);N_GUARD,XP(C)::S(G)
        • S(e);N_GUARD,XP(I)::S(D)
        • P(d);N_GUARD::B(B),XP(b)
        • R(a);N_GUARD::S(G),XR(a)
        • R(a);N_GUARD::S(G)
        • R(f);N_GUARD::R1(K),XR(f)
        • R(f);N_GUARD::R1(K)
        • R(f);N_GUARD,P_PINB(B)::R1(K)
      • Refutation
        • R(a);XP(I)
  • Actual
    • P(E);N_PINP(b)
    • Vars
      • R(a);N_GUARD,XP(C)::S(G)
      • R(a);N_GUARD,SBLOCK,XP(I)::S(D)
      • S(e);N_GUARD,SBLOCK,XP(I)::S(D)
      • P(b);XS(G)::B(B)+P(E)
      • P(b);OGATE,P_SPINP(b),XP(E)::B(B),XP(b)
      • P(d);N_GUARD::P(E),XP(b)
      • R(a);N_GUARD::S(G)
      • R(a);N_GUARD::S(G),XR(a)
      • R(f);N_GUARD::R1(K),XR(f)
      • R(f);N_GUARD::R1(K)
      • R(f);N_GUARD,P_PINB(B)::R1(K)
      • S(e);N_GUARD::S(G),XS(e)
      • S(e);N_GUARD::S(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).