もしも「あの十日余りは新選洋学年表である」ということは確かだとするとその基層は微調整出来る
fact1: その完全競争は空恐ろしい fact2: もしあるものは横振動でないとしたら「その基層はリリースするということはないがしかしやくざっぽい」ということは事実でない fact3: もしもあの考え無しは片棒でないとしたら横振動であるということはない fact4: あの十日余りは逞しい fact5: 仮にあの十日余りが空恐ろしいとすればその基層は微調整出来る fact6: なにがしかの物が微調整出来るとすると新選洋学年表だ fact7: 「もしもその年配者が新選洋学年表であるとすればその人好きは空恐ろしい」ということは本当である fact8: あの前人は新選洋学年表である fact9: もしもあの十日余りが微調整出来るとするとその基層は新選洋学年表である fact10: この道州は空恐ろしい fact11: 「あの十日余りは濃い」ということは事実だ fact12: もし仮に「「リリースするということはないしその上やくざっぽい」ということは成り立たない」物はあるとすれば「あの十日余りはやくざっぽくない」ということは成り立つ fact13: もしその基層が新選洋学年表だとしたらあの十日余りは微調整出来る fact14: 空恐ろしいものは微調整出来る fact15: その基層が新選洋学年表ならばあの十日余りは空恐ろしい fact16: もしもあの十日余りが微調整出来るとしたらその基層は空恐ろしい fact17: 仮にあの十日余りが空恐ろしいならばその基層は新選洋学年表だ fact18: 仮にあの十日余りが新選洋学年表だとしたらその基層は空恐ろしい fact19: もしも「「「やくざっぽくない」ということは本当な」ものはある」ということは本当であるとしたら「その総研は空恐ろしくなくておまけにそれは微調整出来ない」ということは間違っている fact20: もしもなにがしかの物が売り込むとしたらそれは外国勢力である fact21: あの考え無しは黄色いけどそれは片棒でない
void -> assump1: 以下のように仮定する。あの十日余りは新選洋学年表だ; fact18 & assump1 -> int1: その基層は空恐ろしい; fact14 -> int2: もし仮にその基層が空恐ろしいとするとそれは微調整出来る; int1 & int2 -> int3: その基層は微調整出来る; [assump1] & int3 -> hypothesis;
その総研は新選洋学年表だ
fact23 -> int4: あの考え無しは片棒でない; fact25 & int4 -> int5: あの考え無しは横振動でない; int5 -> int6: 「横振動でない」ものはある; int6 & fact22 -> int7: 「「その基層はリリースしないがやくざっぽい」ということは成り立つ」ということは偽だ; int7 -> int8: 「「リリースしなくてそれにやくざっぽい」ということは嘘である」物はある; int8 & fact26 -> int9: 「あの十日余りはやくざっぽくない」ということは真実だ; int9 -> int10: 「やくざっぽくない」ものはある; int10 & fact24 -> int11: 「その総研は空恐ろしくないしおまけに微調整出来ない」ということは偽である;
$facts$ = fact1: その完全競争は空恐ろしい fact2: もしあるものは横振動でないとしたら「その基層はリリースするということはないがしかしやくざっぽい」ということは事実でない fact3: もしもあの考え無しは片棒でないとしたら横振動であるということはない fact4: あの十日余りは逞しい fact5: 仮にあの十日余りが空恐ろしいとすればその基層は微調整出来る fact6: なにがしかの物が微調整出来るとすると新選洋学年表だ fact7: 「もしもその年配者が新選洋学年表であるとすればその人好きは空恐ろしい」ということは本当である fact8: あの前人は新選洋学年表である fact9: もしもあの十日余りが微調整出来るとするとその基層は新選洋学年表である fact10: この道州は空恐ろしい fact11: 「あの十日余りは濃い」ということは事実だ fact12: もし仮に「「リリースするということはないしその上やくざっぽい」ということは成り立たない」物はあるとすれば「あの十日余りはやくざっぽくない」ということは成り立つ fact13: もしその基層が新選洋学年表だとしたらあの十日余りは微調整出来る fact14: 空恐ろしいものは微調整出来る fact15: その基層が新選洋学年表ならばあの十日余りは空恐ろしい fact16: もしもあの十日余りが微調整出来るとしたらその基層は空恐ろしい fact17: 仮にあの十日余りが空恐ろしいならばその基層は新選洋学年表だ fact18: 仮にあの十日余りが新選洋学年表だとしたらその基層は空恐ろしい fact19: もしも「「「やくざっぽくない」ということは本当な」ものはある」ということは本当であるとしたら「その総研は空恐ろしくなくておまけにそれは微調整出来ない」ということは間違っている fact20: もしもなにがしかの物が売り込むとしたらそれは外国勢力である fact21: あの考え無しは黄色いけどそれは片棒でない ; $hypothesis$ = もしも「あの十日余りは新選洋学年表である」ということは確かだとするとその基層は微調整出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。あの十日余りは新選洋学年表だ; fact18 & assump1 -> int1: その基層は空恐ろしい; fact14 -> int2: もし仮にその基層が空恐ろしいとするとそれは微調整出来る; int1 & int2 -> int3: その基層は微調整出来る; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その完全競争は空恐ろしい
事実2: もしあるものは横振動でないとしたら「その基層はリリースするということはないがしかしやくざっぽい」ということは事実でない
事実3: もしもあの考え無しは片棒でないとしたら横振動であるということはない
事実4: あの十日余りは逞しい
事実5: 仮にあの十日余りが空恐ろしいとすればその基層は微調整出来る
事実6: なにがしかの物が微調整出来るとすると新選洋学年表だ
事実7: 「もしもその年配者が新選洋学年表であるとすればその人好きは空恐ろしい」ということは本当である
事実8: あの前人は新選洋学年表である
事実9: もしもあの十日余りが微調整出来るとするとその基層は新選洋学年表である
事実10: この道州は空恐ろしい
事実11: 「あの十日余りは濃い」ということは事実だ
事実12: もし仮に「「リリースするということはないしその上やくざっぽい」ということは成り立たない」物はあるとすれば「あの十日余りはやくざっぽくない」ということは成り立つ
事実13: もしその基層が新選洋学年表だとしたらあの十日余りは微調整出来る
事実14: 空恐ろしいものは微調整出来る
事実15: その基層が新選洋学年表ならばあの十日余りは空恐ろしい
事実16: もしもあの十日余りが微調整出来るとしたらその基層は空恐ろしい
事実17: 仮にあの十日余りが空恐ろしいならばその基層は新選洋学年表だ
事実18: 仮にあの十日余りが新選洋学年表だとしたらその基層は空恐ろしい
事実19: もしも「「「やくざっぽくない」ということは本当な」ものはある」ということは本当であるとしたら「その総研は空恐ろしくなくておまけにそれは微調整出来ない」ということは間違っている
事実20: もしもなにがしかの物が売り込むとしたらそれは外国勢力である
事実21: あの考え無しは黄色いけどそれは片棒でない

仮説: もしも「あの十日余りは新選洋学年表である」ということは確かだとするとその基層は微調整出来る
1. 仮定1: 以下のように仮定する。あの十日余りは新選洋学年表だ
2. 事実18と仮定1から、推論1: "その基層は空恐ろしい"が導かれる
3. 事実14から、推論2: "もし仮にその基層が空恐ろしいとするとそれは微調整出来る"が導かれる
4. 推論1と推論2から、推論3: "その基層は微調整出来る"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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