そのインサイダー取り引きはセーブしない
fact1: もし仮に「とある物は歩き辛くないしさらに楽しくない」ということは間違いだとすると「衰え始めるということはない」ということは本当である fact2: もしなにかは至急であるとすればそれは言い難い fact3: 「凍り付くということはない」ものがあるとするとその通知預金は至急でない fact4: 「「御忙しいが衰え始めるということはない」ということは成り立たない」物はある fact5: もし仮にある物は言い難いなら「それはセーブしないがしかし生まれ易い」ということは偽である fact6: もし仮になんらかの物が産出するなら振り翳さないかあるいは国家レベルであるか両方ともである fact7: このＬＣＡＴ活性は笑い飛ばすということはないけれど言い難い fact8: そのインサイダー取り引きは言い難い fact9: もしあるものが言い難いしその上セーブするとしたらその通知預金は生まれ易い fact10: 全てのものは産出するし止む無し fact11: もし仮にその通知預金は衰え始めないとすれば「そのインサイダー取り引きが凍り付かないし御忙しくない」ということは間違いである fact12: もしもなんらかの物が振り翳さないかもしくは国家レベルだとすると振り翳さない fact13: 仮にその通知預金は御忙しくないならば「それは至急でないがしかし生まれ易い」ということは誤りだ fact14: 生まれ易くないものは言い難い一方でセーブしない fact15: もし「「御忙しいが衰え始めるということはない」ということは偽な」物があるならその通知預金は御忙しいということはない fact16: もしも何かは言い難いとすると「それは至急でないししかもそれは原義である」ということは偽だ fact17: もしなんらかの物は振り翳すということはないなら「その通知預金は歩き辛くないし加えて楽しいということはない」ということは誤りである fact18: 仮に「「凍り付かないしさらに御忙しいということはない」ということは成り立つということはない」ものがあるとするとその愛馬は生まれ易くない fact19: 「凍り付かない」物はある
void -> assump1: 以下のように仮定する。そのインサイダー取り引きはセーブする; fact8 & assump1 -> int1: そのインサイダー取り引きは言い難いししかもセーブする; int1 -> int2: 「言い難くてセーブする」物はある; int2 & fact9 -> int3: その通知預金は生まれ易い; fact19 & fact3 -> int4: 「その通知預金は至急でない」ということは成り立つ; int3 & int4 -> int5: その通知預金は至急でないが生まれ易い; fact4 & fact15 -> int6: 「その通知預金は御忙しくない」ということは確かである; int6 & fact13 -> int7: 「「その通知預金は至急でないがそれは生まれ易い」ということは成り立つ」ということは嘘である; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
そのインサイダー取り引きはセーブする
fact20 -> int9: 「その通知預金は言い難い」ということは成り立てば「それはセーブしない一方で生まれ易い」ということは成り立たない; fact21 -> int10: もしもその通知預金は至急であるならばそれは言い難い;
$facts$ = fact1: もし仮に「とある物は歩き辛くないしさらに楽しくない」ということは間違いだとすると「衰え始めるということはない」ということは本当である fact2: もしなにかは至急であるとすればそれは言い難い fact3: 「凍り付くということはない」ものがあるとするとその通知預金は至急でない fact4: 「「御忙しいが衰え始めるということはない」ということは成り立たない」物はある fact5: もし仮にある物は言い難いなら「それはセーブしないがしかし生まれ易い」ということは偽である fact6: もし仮になんらかの物が産出するなら振り翳さないかあるいは国家レベルであるか両方ともである fact7: このＬＣＡＴ活性は笑い飛ばすということはないけれど言い難い fact8: そのインサイダー取り引きは言い難い fact9: もしあるものが言い難いしその上セーブするとしたらその通知預金は生まれ易い fact10: 全てのものは産出するし止む無し fact11: もし仮にその通知預金は衰え始めないとすれば「そのインサイダー取り引きが凍り付かないし御忙しくない」ということは間違いである fact12: もしもなんらかの物が振り翳さないかもしくは国家レベルだとすると振り翳さない fact13: 仮にその通知預金は御忙しくないならば「それは至急でないがしかし生まれ易い」ということは誤りだ fact14: 生まれ易くないものは言い難い一方でセーブしない fact15: もし「「御忙しいが衰え始めるということはない」ということは偽な」物があるならその通知預金は御忙しいということはない fact16: もしも何かは言い難いとすると「それは至急でないししかもそれは原義である」ということは偽だ fact17: もしなんらかの物は振り翳すということはないなら「その通知預金は歩き辛くないし加えて楽しいということはない」ということは誤りである fact18: 仮に「「凍り付かないしさらに御忙しいということはない」ということは成り立つということはない」ものがあるとするとその愛馬は生まれ易くない fact19: 「凍り付かない」物はある ; $hypothesis$ = そのインサイダー取り引きはセーブしない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのインサイダー取り引きはセーブする; fact8 & assump1 -> int1: そのインサイダー取り引きは言い難いししかもセーブする; int1 -> int2: 「言い難くてセーブする」物はある; int2 & fact9 -> int3: その通知預金は生まれ易い; fact19 & fact3 -> int4: 「その通知預金は至急でない」ということは成り立つ; int3 & int4 -> int5: その通知預金は至急でないが生まれ易い; fact4 & fact15 -> int6: 「その通知預金は御忙しくない」ということは確かである; int6 & fact13 -> int7: 「「その通知預金は至急でないがそれは生まれ易い」ということは成り立つ」ということは嘘である; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もし仮に「とある物は歩き辛くないしさらに楽しくない」ということは間違いだとすると「衰え始めるということはない」ということは本当である
事実2: もしなにかは至急であるとすればそれは言い難い
事実3: 「凍り付くということはない」ものがあるとするとその通知預金は至急でない
事実4: 「「御忙しいが衰え始めるということはない」ということは成り立たない」物はある
事実5: もし仮にある物は言い難いなら「それはセーブしないがしかし生まれ易い」ということは偽である
事実6: もし仮になんらかの物が産出するなら振り翳さないかあるいは国家レベルであるか両方ともである
事実7: このＬＣＡＴ活性は笑い飛ばすということはないけれど言い難い
事実8: そのインサイダー取り引きは言い難い
事実9: もしあるものが言い難いしその上セーブするとしたらその通知預金は生まれ易い
事実10: 全てのものは産出するし止む無し
事実11: もし仮にその通知預金は衰え始めないとすれば「そのインサイダー取り引きが凍り付かないし御忙しくない」ということは間違いである
事実12: もしもなんらかの物が振り翳さないかもしくは国家レベルだとすると振り翳さない
事実13: 仮にその通知預金は御忙しくないならば「それは至急でないがしかし生まれ易い」ということは誤りだ
事実14: 生まれ易くないものは言い難い一方でセーブしない
事実15: もし「「御忙しいが衰え始めるということはない」ということは偽な」物があるならその通知預金は御忙しいということはない
事実16: もしも何かは言い難いとすると「それは至急でないししかもそれは原義である」ということは偽だ
事実17: もしなんらかの物は振り翳すということはないなら「その通知預金は歩き辛くないし加えて楽しいということはない」ということは誤りである
事実18: 仮に「「凍り付かないしさらに御忙しいということはない」ということは成り立つということはない」ものがあるとするとその愛馬は生まれ易くない
事実19: 「凍り付かない」物はある

仮説: そのインサイダー取り引きはセーブしない
1. 仮定1: 以下のように仮定する。そのインサイダー取り引きはセーブする
2. 事実8と仮定1から、推論1: "そのインサイダー取り引きは言い難いししかもセーブする"が導かれる
3. 推論1から、推論2: "「言い難くてセーブする」物はある"が導かれる
4. 推論2と事実9から、推論3: "その通知預金は生まれ易い"が導かれる
5. 事実19と事実3から、推論4: "「その通知預金は至急でない」ということは成り立つ"が導かれる
6. 推論3と推論4から、推論5: "その通知預金は至急でないが生まれ易い"が導かれる
7. 事実4と事実15から、推論6: "「その通知預金は御忙しくない」ということは確かである"が導かれる
8. 推論6と事実13から、推論7: "「「その通知預金は至急でないがそれは生まれ易い」ということは成り立つ」ということは嘘である"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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