その時間積分はコントロール性でない
fact1: 仮にとあるものがプレビュー出来なくてその上それが応対しないとすればコントロール性でない fact2: その時間積分は助け上げないが応対する fact3: 仮にその時間積分は助け上げない一方で応対するとしたら「それはプレビュー出来ない」ということは事実である fact4: あの自首はどんよりするし加えて作り易い fact5: ある物がプレビュー出来るということはないがそれはブラッシュアップであるならそれはコントロール性である fact6: その時間積分は助け上げない fact7: もし仮にあの自首がどんよりするししかも作り易いとすればあの時間積分はブラッシュアップでない fact8: もし仮に何らかのものがプレビュー出来るということはなくてそれはブラッシュアップでないとしたらコントロール性でない
fact3 & fact2 -> int1: その時間積分はプレビュー出来ない; fact4 & fact7 -> int2: 「「その時間積分はブラッシュアップだ」ということは本当である」ということは成り立たない; int1 & int2 -> int3: その時間積分がプレビュー出来るということはないしその上ブラッシュアップでない; fact8 -> int4: 仮にその時間積分はプレビュー出来るということはなくてかつブラッシュアップでないならそれはコントロール性だということはない; int3 & int4 -> hypothesis;
その時間積分はコントロール性だ
fact9 -> int5: もしもその時間積分はプレビュー出来るということはないけどブラッシュアップだとすればコントロール性だ;
$facts$ = fact1: 仮にとあるものがプレビュー出来なくてその上それが応対しないとすればコントロール性でない fact2: その時間積分は助け上げないが応対する fact3: 仮にその時間積分は助け上げない一方で応対するとしたら「それはプレビュー出来ない」ということは事実である fact4: あの自首はどんよりするし加えて作り易い fact5: ある物がプレビュー出来るということはないがそれはブラッシュアップであるならそれはコントロール性である fact6: その時間積分は助け上げない fact7: もし仮にあの自首がどんよりするししかも作り易いとすればあの時間積分はブラッシュアップでない fact8: もし仮に何らかのものがプレビュー出来るということはなくてそれはブラッシュアップでないとしたらコントロール性でない ; $hypothesis$ = その時間積分はコントロール性でない ; $proof$ = 
fact3 & fact2 -> int1: その時間積分はプレビュー出来ない; fact4 & fact7 -> int2: 「「その時間積分はブラッシュアップだ」ということは本当である」ということは成り立たない; int1 & int2 -> int3: その時間積分がプレビュー出来るということはないしその上ブラッシュアップでない; fact8 -> int4: 仮にその時間積分はプレビュー出来るということはなくてかつブラッシュアップでないならそれはコントロール性だということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮にとあるものがプレビュー出来なくてその上それが応対しないとすればコントロール性でない
事実2: その時間積分は助け上げないが応対する
事実3: 仮にその時間積分は助け上げない一方で応対するとしたら「それはプレビュー出来ない」ということは事実である
事実4: あの自首はどんよりするし加えて作り易い
事実5: ある物がプレビュー出来るということはないがそれはブラッシュアップであるならそれはコントロール性である
事実6: その時間積分は助け上げない
事実7: もし仮にあの自首がどんよりするししかも作り易いとすればあの時間積分はブラッシュアップでない
事実8: もし仮に何らかのものがプレビュー出来るということはなくてそれはブラッシュアップでないとしたらコントロール性でない

仮説: その時間積分はコントロール性でない
1. 事実3と事実2から、推論1: "その時間積分はプレビュー出来ない"が導かれる
2. 事実4と事実7から、推論2: "「「その時間積分はブラッシュアップだ」ということは本当である」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "その時間積分がプレビュー出来るということはないしその上ブラッシュアップでない"が導かれる
4. 事実8から、推論4: "仮にその時間積分はプレビュー出来るということはなくてかつブラッシュアップでないならそれはコントロール性だということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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