その遅れ馳せは未収金だ
fact1: その遅れ馳せはぶん殴らない fact2: この幼年時代はぶん殴らない fact3: もしもその遅れ馳せがぶん殴らないとしたら甚だししおまけにそれは未収金だ
fact3 & fact1 -> int1: その遅れ馳せは甚だしし未収金である; int1 -> hypothesis;
fact3 & fact1 -> int1: ({AA}{a} & {AB}{a}); int1 -> hypothesis;
$facts$ = fact1: その遅れ馳せはぶん殴らない fact2: この幼年時代はぶん殴らない fact3: もしもその遅れ馳せがぶん殴らないとしたら甚だししおまけにそれは未収金だ ; $hypothesis$ = その遅れ馳せは未収金だ ; $proof$ = 
fact3 & fact1 -> int1: その遅れ馳せは甚だしし未収金である; int1 -> hypothesis; __PROVED__
事実1: その遅れ馳せはぶん殴らない
事実2: この幼年時代はぶん殴らない
事実3: もしもその遅れ馳せがぶん殴らないとしたら甚だししおまけにそれは未収金だ

仮説: その遅れ馳せは未収金だ
1. 事実3と事実1から、推論1: "その遅れ馳せは甚だしし未収金である"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。