あのマイクロピペットは投資出来るし加えてそれは噎せる
fact1: もしこのホームエコノミクスが噎せないならあのマイクロピペットは投資出来る fact2: もし仮にあの国土交通大臣が活動し難いしさらに固着するとするとこのホームエコノミクスは噎せない fact3: 「なんらかの物はＢＦだしさらに実行手続きである」ということは確かでないならばそれは実行手続きでない fact4: あの国土交通大臣は活動し難くて固着する fact5: もしもあの国土交通大臣は太り易くないとすれば「「あのマイクロピペットはＢＦであるし実行手続きだ」ということは真実だ」ということは偽だ fact6: あの国土交通大臣は活動し難い fact7: 仮になにかは実行手続きでないならば「それは投資出来るしおまけにそれは噎せる」ということは成り立たない fact8: この谷町が異常死だし固着する fact9: 仮にこのホームエコノミクスが噎せるということはないとしたらあのマイクロピペットは投資出来るしそれは噎せる
fact2 & fact4 -> int1: このホームエコノミクスは噎せない; int1 & fact9 -> hypothesis;
fact2 & fact4 -> int1: ¬{B}{b}; int1 & fact9 -> hypothesis;
「あのマイクロピペットは投資出来るしまたそれは噎せる」ということは成り立たない
fact10 -> int2: もし仮にあのマイクロピペットは実行手続きでないとしたら「それは投資出来るしさらに噎せる」ということは事実と異なる; fact11 -> int3: もし「「あのマイクロピペットはＢＦでそれは実行手続きである」ということは成り立たない」ということは正しいとするとそれは実行手続きでない;
$facts$ = fact1: もしこのホームエコノミクスが噎せないならあのマイクロピペットは投資出来る fact2: もし仮にあの国土交通大臣が活動し難いしさらに固着するとするとこのホームエコノミクスは噎せない fact3: 「なんらかの物はＢＦだしさらに実行手続きである」ということは確かでないならばそれは実行手続きでない fact4: あの国土交通大臣は活動し難くて固着する fact5: もしもあの国土交通大臣は太り易くないとすれば「「あのマイクロピペットはＢＦであるし実行手続きだ」ということは真実だ」ということは偽だ fact6: あの国土交通大臣は活動し難い fact7: 仮になにかは実行手続きでないならば「それは投資出来るしおまけにそれは噎せる」ということは成り立たない fact8: この谷町が異常死だし固着する fact9: 仮にこのホームエコノミクスが噎せるということはないとしたらあのマイクロピペットは投資出来るしそれは噎せる ; $hypothesis$ = あのマイクロピペットは投資出来るし加えてそれは噎せる ; $proof$ = 
fact2 & fact4 -> int1: このホームエコノミクスは噎せない; int1 & fact9 -> hypothesis; __PROVED__
事実1: もしこのホームエコノミクスが噎せないならあのマイクロピペットは投資出来る
事実2: もし仮にあの国土交通大臣が活動し難いしさらに固着するとするとこのホームエコノミクスは噎せない
事実3: 「なんらかの物はＢＦだしさらに実行手続きである」ということは確かでないならばそれは実行手続きでない
事実4: あの国土交通大臣は活動し難くて固着する
事実5: もしもあの国土交通大臣は太り易くないとすれば「「あのマイクロピペットはＢＦであるし実行手続きだ」ということは真実だ」ということは偽だ
事実6: あの国土交通大臣は活動し難い
事実7: 仮になにかは実行手続きでないならば「それは投資出来るしおまけにそれは噎せる」ということは成り立たない
事実8: この谷町が異常死だし固着する
事実9: 仮にこのホームエコノミクスが噎せるということはないとしたらあのマイクロピペットは投資出来るしそれは噎せる

仮説: あのマイクロピペットは投資出来るし加えてそれは噎せる
1. 事実2と事実4から、推論1: "このホームエコノミクスは噎せない"が導かれる
2. 推論1と事実9から、仮説が導かれる

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