もしもその成書がウィンクするとしたらこの移行現象は記念すらないがしかしそれは軽蔑する
fact1: もし仮に「その成書は混入し易いけれど当期利益でない」ということは誤っているならこの生活場面はウィンクしない fact2: もしその小数点が絶え間無いとすれば当期利益だ fact3: このタイムラインウインドウは混入し易い fact4: 仮にその小数点がウィンクするとすればあのタイムラインウインドウは当期利益である fact5: 仮にその小数点が当期利益ならばこのタイムラインウインドウは絶え間無い fact6: もし「とあるものは絶え間無い」ということは本当であるなら「軽蔑しないしまたウィンクしない」ということは成り立たない fact7: 「このタイムラインウインドウは当期利益だがしかし記念すらない」ということは成り立つということはない fact8: もしも「その成書は軽蔑しないしまたウィンクしない」ということは真実でないとすれば「その小数点は軽蔑する」ということは確かである fact9: もし仮にこのタイムラインウインドウが絶え間無くないとするとその小数点は混入し易くて加えて当期利益である fact10: 仮に「その成書はウィンクする」ということは事実であるならその小数点は絶え間無い fact11: その小数点が当期利益であるということはないならこのタイムラインウインドウは絶え間無いしまた厭わしい fact12: この移行現象は絶え間無い fact13: もしもその小数点は当期利益なら「このタイムラインウインドウは厭わしいがそれは当期利益でない」ということは誤りである fact14: 「この齲蝕有病者率は進攻するしウィンクする」ということは本当でない fact15: もしこの生活場面が混入し易くないならこの移行現象は記念すらないがそれは軽蔑する fact16: 「このタイムラインウインドウは厭わしいが当期利益でない」ということは事実と異なればこの生活場面は混入し易くない
void -> assump1: 以下のように仮定する。その成書はウィンクする; fact10 & assump1 -> int1: その小数点は絶え間無い; int1 & fact2 -> int2: 「その小数点は当期利益である」ということは事実と異ならない; int2 & fact13 -> int3: 「このタイムラインウインドウは厭わしいがしかし当期利益だということはない」ということは間違いである; int3 & fact16 -> int4: この生活場面は混入し易くない; int4 & fact15 -> int5: この移行現象は記念すらないが軽蔑する; [assump1] & int5 -> hypothesis;
その小数点は軽蔑する
fact17 -> int6: もしもその成書は絶え間無いなら「軽蔑するということはなくて加えてウィンクするということはない」ということは事実でない;
$facts$ = fact1: もし仮に「その成書は混入し易いけれど当期利益でない」ということは誤っているならこの生活場面はウィンクしない fact2: もしその小数点が絶え間無いとすれば当期利益だ fact3: このタイムラインウインドウは混入し易い fact4: 仮にその小数点がウィンクするとすればあのタイムラインウインドウは当期利益である fact5: 仮にその小数点が当期利益ならばこのタイムラインウインドウは絶え間無い fact6: もし「とあるものは絶え間無い」ということは本当であるなら「軽蔑しないしまたウィンクしない」ということは成り立たない fact7: 「このタイムラインウインドウは当期利益だがしかし記念すらない」ということは成り立つということはない fact8: もしも「その成書は軽蔑しないしまたウィンクしない」ということは真実でないとすれば「その小数点は軽蔑する」ということは確かである fact9: もし仮にこのタイムラインウインドウが絶え間無くないとするとその小数点は混入し易くて加えて当期利益である fact10: 仮に「その成書はウィンクする」ということは事実であるならその小数点は絶え間無い fact11: その小数点が当期利益であるということはないならこのタイムラインウインドウは絶え間無いしまた厭わしい fact12: この移行現象は絶え間無い fact13: もしもその小数点は当期利益なら「このタイムラインウインドウは厭わしいがそれは当期利益でない」ということは誤りである fact14: 「この齲蝕有病者率は進攻するしウィンクする」ということは本当でない fact15: もしこの生活場面が混入し易くないならこの移行現象は記念すらないがそれは軽蔑する fact16: 「このタイムラインウインドウは厭わしいが当期利益でない」ということは事実と異なればこの生活場面は混入し易くない ; $hypothesis$ = もしもその成書がウィンクするとしたらこの移行現象は記念すらないがしかしそれは軽蔑する ; $proof$ = 
void -> assump1: 以下のように仮定する。その成書はウィンクする; fact10 & assump1 -> int1: その小数点は絶え間無い; int1 & fact2 -> int2: 「その小数点は当期利益である」ということは事実と異ならない; int2 & fact13 -> int3: 「このタイムラインウインドウは厭わしいがしかし当期利益だということはない」ということは間違いである; int3 & fact16 -> int4: この生活場面は混入し易くない; int4 & fact15 -> int5: この移行現象は記念すらないが軽蔑する; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮に「その成書は混入し易いけれど当期利益でない」ということは誤っているならこの生活場面はウィンクしない
事実2: もしその小数点が絶え間無いとすれば当期利益だ
事実3: このタイムラインウインドウは混入し易い
事実4: 仮にその小数点がウィンクするとすればあのタイムラインウインドウは当期利益である
事実5: 仮にその小数点が当期利益ならばこのタイムラインウインドウは絶え間無い
事実6: もし「とあるものは絶え間無い」ということは本当であるなら「軽蔑しないしまたウィンクしない」ということは成り立たない
事実7: 「このタイムラインウインドウは当期利益だがしかし記念すらない」ということは成り立つということはない
事実8: もしも「その成書は軽蔑しないしまたウィンクしない」ということは真実でないとすれば「その小数点は軽蔑する」ということは確かである
事実9: もし仮にこのタイムラインウインドウが絶え間無くないとするとその小数点は混入し易くて加えて当期利益である
事実10: 仮に「その成書はウィンクする」ということは事実であるならその小数点は絶え間無い
事実11: その小数点が当期利益であるということはないならこのタイムラインウインドウは絶え間無いしまた厭わしい
事実12: この移行現象は絶え間無い
事実13: もしもその小数点は当期利益なら「このタイムラインウインドウは厭わしいがそれは当期利益でない」ということは誤りである
事実14: 「この齲蝕有病者率は進攻するしウィンクする」ということは本当でない
事実15: もしこの生活場面が混入し易くないならこの移行現象は記念すらないがそれは軽蔑する
事実16: 「このタイムラインウインドウは厭わしいが当期利益でない」ということは事実と異なればこの生活場面は混入し易くない

仮説: もしもその成書がウィンクするとしたらこの移行現象は記念すらないがしかしそれは軽蔑する
1. 仮定1: 以下のように仮定する。その成書はウィンクする
2. 事実10と仮定1から、推論1: "その小数点は絶え間無い"が導かれる
3. 推論1と事実2から、推論2: "「その小数点は当期利益である」ということは事実と異ならない"が導かれる
4. 推論2と事実13から、推論3: "「このタイムラインウインドウは厭わしいがしかし当期利益だということはない」ということは間違いである"が導かれる
5. 推論3と事実16から、推論4: "この生活場面は混入し易くない"が導かれる
6. 推論4と事実15から、推論5: "この移行現象は記念すらないが軽蔑する"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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