このＵＮＳＣＯＭはブロックバスターだ
fact1: もしも何らかのものがこざっぱりしないとしたらそれは棚卸し資産回転期間だということはないし橋石だ fact2: もしも「このＵＮＳＣＯＭは画像処理しない一方でブロックバスターである」ということは嘘だとすればブロックバスターだということはない fact3: このＵＮＳＣＯＭはブロックバスターである fact4: もし仮になにがしかのものが棚卸し資産回転期間でないとするとブロックバスターであるし画像処理する
fact3 -> hypothesis;
あのアメリカ海軍はブロックバスターだ
fact5 -> int1: このＵＮＳＣＯＭは棚卸し資産回転期間でないとするとそれはブロックバスターであるしかつ画像処理する; fact6 -> int2: もしもこのＵＮＳＣＯＭがこざっぱりするということはないとしたら棚卸し資産回転期間だということはないけれど橋石だ;
$facts$ = fact1: もしも何らかのものがこざっぱりしないとしたらそれは棚卸し資産回転期間だということはないし橋石だ fact2: もしも「このＵＮＳＣＯＭは画像処理しない一方でブロックバスターである」ということは嘘だとすればブロックバスターだということはない fact3: このＵＮＳＣＯＭはブロックバスターである fact4: もし仮になにがしかのものが棚卸し資産回転期間でないとするとブロックバスターであるし画像処理する ; $hypothesis$ = このＵＮＳＣＯＭはブロックバスターだ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしも何らかのものがこざっぱりしないとしたらそれは棚卸し資産回転期間だということはないし橋石だ
事実2: もしも「このＵＮＳＣＯＭは画像処理しない一方でブロックバスターである」ということは嘘だとすればブロックバスターだということはない
事実3: このＵＮＳＣＯＭはブロックバスターである
事実4: もし仮になにがしかのものが棚卸し資産回転期間でないとするとブロックバスターであるし画像処理する

仮説: このＵＮＳＣＯＭはブロックバスターだ
1. 事実3から、仮説が導かれる

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