あの新府城は支出する
fact1: 仮にそのロシア語が上級生であるとしたらあの新府城は支出する fact2: 斃牛馬処理権は粘膜下腫瘍だがしかしトリックスターＥＸだということはない fact3: もし仮にある物が放置するとするとそれは忘れっぽい fact4: 「「追従するということはなくてそれに脳ヘルニアでない」ということは間違っている」物はある fact5: そのロシア語が上級生だ一方でそれは脳ヘルニアでないなら固過ぎるということはない fact6: もし仮にとある物は費消しないならば「この第二師団はチャタヌーガ・チューチューだ」ということは正しい fact7: もしもこの最大要因が放置しないしかつ追従しないならあの新府城は忘れっぽい fact8: もし仮にこのアルミワイヤーが脳ヘルニアだとするとこの最大要因が受け入れ難くないしさらに浮き易くない fact9: もしも「このアルミワイヤーは忘れっぽいということはないがしかしそれは支出する」ということは真実ならばあの最大要因は支出しない fact10: もしも「何らかのものはチャタヌーガ・チューチューでなくて固過ぎない」ということは真実であるならば忘れっぽくない fact11: そのロシア語が忘れっぽくて追従するとすると「このＭＡＰキナーゼは忘れっぽくない」ということは誤っていない fact12: 「費消するということはない」ものはある fact13: 仮にこの最大要因が脳ヘルニアでないとすればあのアルミワイヤーは脳ヘルニアであるし更に忘れっぽい fact14: 「トリックスターＥＸでない」ものがあるとすればあのアルミワイヤーはチャタヌーガ・チューチューでないしさらにそれは固過ぎるということはない fact15: もしこのＭＡＰキナーゼが追従するならそのロシア語は上級生である fact16: 「なんらかのものは放置する」ということは正しいなら追従する fact17: この第二師団がチャタヌーガ・チューチューならばあのロシア語は固過ぎるということはない fact18: もしこのＭＡＰキナーゼが長たらしいか忘れっぽいということはないとすればこのアルミワイヤーは長たらしくない fact19: 仮に「このアルミワイヤーは上級生だ」ということは成り立てばこの最大要因は放置しなくてそれに追従しない fact20: 「「下車するししかも要す」ということは成り立つということはない」物はある fact21: 「トリックスターＥＸでない」物はある fact22: 仮にこのＭＡＰキナーゼが固過ぎるかチャタヌーガ・チューチューでないかまたは両方ともならこのアルミワイヤーは上級生だ fact23: 仮に粘膜下腫瘍はトリックスターＥＸでないとしたら上級生でない fact24: もし仮になんらかのものが固過ぎないとしたらそれが追従するしその上支出する fact25: この最大要因はトリックスターＥＸである fact26: 仮に「この最大要因は脳ヘルニアでないし長たらしいということはない」ということは成り立たないとすればこのＭＡＰキナーゼは放置する fact27: この最大要因は長たらしくない fact28: 仮に何らかの物が長たらしいとすると脳ヘルニアでないしそれは支出しない
void -> assump1: 以下のように仮定する。この最大要因は脳ヘルニアでなくて加えて長たらしくない; assump1 -> int1: この最大要因は脳ヘルニアだということはない; int1 & fact13 -> int2: このアルミワイヤーが脳ヘルニアだしおまけに忘れっぽい; int2 -> int3: このアルミワイヤーは忘れっぽい; fact10 -> int4: もしこのアルミワイヤーがチャタヌーガ・チューチューでなくてそれが固過ぎないとすると忘れっぽくない; fact14 & fact21 -> int5: このアルミワイヤーはチャタヌーガ・チューチューでないしさらにそれは固過ぎない; int4 & int5 -> int6: このアルミワイヤーは忘れっぽくない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この最大要因は脳ヘルニアでないしまた長たらしくない」ということは成り立たない; int8 & fact26 -> int9: このＭＡＰキナーゼは放置する; fact16 -> int10: もしもこのＭＡＰキナーゼは放置すれば「それは追従する」ということは成り立つ; int9 & int10 -> int11: 「このＭＡＰキナーゼは追従する」ということは成り立つ; int11 & fact15 -> int12: そのロシア語は上級生だ; int12 & fact1 -> hypothesis;
あの新府城は支出しない
$facts$ = fact1: 仮にそのロシア語が上級生であるとしたらあの新府城は支出する fact2: 斃牛馬処理権は粘膜下腫瘍だがしかしトリックスターＥＸだということはない fact3: もし仮にある物が放置するとするとそれは忘れっぽい fact4: 「「追従するということはなくてそれに脳ヘルニアでない」ということは間違っている」物はある fact5: そのロシア語が上級生だ一方でそれは脳ヘルニアでないなら固過ぎるということはない fact6: もし仮にとある物は費消しないならば「この第二師団はチャタヌーガ・チューチューだ」ということは正しい fact7: もしもこの最大要因が放置しないしかつ追従しないならあの新府城は忘れっぽい fact8: もし仮にこのアルミワイヤーが脳ヘルニアだとするとこの最大要因が受け入れ難くないしさらに浮き易くない fact9: もしも「このアルミワイヤーは忘れっぽいということはないがしかしそれは支出する」ということは真実ならばあの最大要因は支出しない fact10: もしも「何らかのものはチャタヌーガ・チューチューでなくて固過ぎない」ということは真実であるならば忘れっぽくない fact11: そのロシア語が忘れっぽくて追従するとすると「このＭＡＰキナーゼは忘れっぽくない」ということは誤っていない fact12: 「費消するということはない」ものはある fact13: 仮にこの最大要因が脳ヘルニアでないとすればあのアルミワイヤーは脳ヘルニアであるし更に忘れっぽい fact14: 「トリックスターＥＸでない」ものがあるとすればあのアルミワイヤーはチャタヌーガ・チューチューでないしさらにそれは固過ぎるということはない fact15: もしこのＭＡＰキナーゼが追従するならそのロシア語は上級生である fact16: 「なんらかのものは放置する」ということは正しいなら追従する fact17: この第二師団がチャタヌーガ・チューチューならばあのロシア語は固過ぎるということはない fact18: もしこのＭＡＰキナーゼが長たらしいか忘れっぽいということはないとすればこのアルミワイヤーは長たらしくない fact19: 仮に「このアルミワイヤーは上級生だ」ということは成り立てばこの最大要因は放置しなくてそれに追従しない fact20: 「「下車するししかも要す」ということは成り立つということはない」物はある fact21: 「トリックスターＥＸでない」物はある fact22: 仮にこのＭＡＰキナーゼが固過ぎるかチャタヌーガ・チューチューでないかまたは両方ともならこのアルミワイヤーは上級生だ fact23: 仮に粘膜下腫瘍はトリックスターＥＸでないとしたら上級生でない fact24: もし仮になんらかのものが固過ぎないとしたらそれが追従するしその上支出する fact25: この最大要因はトリックスターＥＸである fact26: 仮に「この最大要因は脳ヘルニアでないし長たらしいということはない」ということは成り立たないとすればこのＭＡＰキナーゼは放置する fact27: この最大要因は長たらしくない fact28: 仮に何らかの物が長たらしいとすると脳ヘルニアでないしそれは支出しない ; $hypothesis$ = あの新府城は支出する ; $proof$ = 
void -> assump1: 以下のように仮定する。この最大要因は脳ヘルニアでなくて加えて長たらしくない; assump1 -> int1: この最大要因は脳ヘルニアだということはない; int1 & fact13 -> int2: このアルミワイヤーが脳ヘルニアだしおまけに忘れっぽい; int2 -> int3: このアルミワイヤーは忘れっぽい; fact10 -> int4: もしこのアルミワイヤーがチャタヌーガ・チューチューでなくてそれが固過ぎないとすると忘れっぽくない; fact14 & fact21 -> int5: このアルミワイヤーはチャタヌーガ・チューチューでないしさらにそれは固過ぎない; int4 & int5 -> int6: このアルミワイヤーは忘れっぽくない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この最大要因は脳ヘルニアでないしまた長たらしくない」ということは成り立たない; int8 & fact26 -> int9: このＭＡＰキナーゼは放置する; fact16 -> int10: もしもこのＭＡＰキナーゼは放置すれば「それは追従する」ということは成り立つ; int9 & int10 -> int11: 「このＭＡＰキナーゼは追従する」ということは成り立つ; int11 & fact15 -> int12: そのロシア語は上級生だ; int12 & fact1 -> hypothesis; __PROVED__
事実1: 仮にそのロシア語が上級生であるとしたらあの新府城は支出する
事実2: 斃牛馬処理権は粘膜下腫瘍だがしかしトリックスターＥＸだということはない
事実3: もし仮にある物が放置するとするとそれは忘れっぽい
事実4: 「「追従するということはなくてそれに脳ヘルニアでない」ということは間違っている」物はある
事実5: そのロシア語が上級生だ一方でそれは脳ヘルニアでないなら固過ぎるということはない
事実6: もし仮にとある物は費消しないならば「この第二師団はチャタヌーガ・チューチューだ」ということは正しい
事実7: もしもこの最大要因が放置しないしかつ追従しないならあの新府城は忘れっぽい
事実8: もし仮にこのアルミワイヤーが脳ヘルニアだとするとこの最大要因が受け入れ難くないしさらに浮き易くない
事実9: もしも「このアルミワイヤーは忘れっぽいということはないがしかしそれは支出する」ということは真実ならばあの最大要因は支出しない
事実10: もしも「何らかのものはチャタヌーガ・チューチューでなくて固過ぎない」ということは真実であるならば忘れっぽくない
事実11: そのロシア語が忘れっぽくて追従するとすると「このＭＡＰキナーゼは忘れっぽくない」ということは誤っていない
事実12: 「費消するということはない」ものはある
事実13: 仮にこの最大要因が脳ヘルニアでないとすればあのアルミワイヤーは脳ヘルニアであるし更に忘れっぽい
事実14: 「トリックスターＥＸでない」ものがあるとすればあのアルミワイヤーはチャタヌーガ・チューチューでないしさらにそれは固過ぎるということはない
事実15: もしこのＭＡＰキナーゼが追従するならそのロシア語は上級生である
事実16: 「なんらかのものは放置する」ということは正しいなら追従する
事実17: この第二師団がチャタヌーガ・チューチューならばあのロシア語は固過ぎるということはない
事実18: もしこのＭＡＰキナーゼが長たらしいか忘れっぽいということはないとすればこのアルミワイヤーは長たらしくない
事実19: 仮に「このアルミワイヤーは上級生だ」ということは成り立てばこの最大要因は放置しなくてそれに追従しない
事実20: 「「下車するししかも要す」ということは成り立つということはない」物はある
事実21: 「トリックスターＥＸでない」物はある
事実22: 仮にこのＭＡＰキナーゼが固過ぎるかチャタヌーガ・チューチューでないかまたは両方ともならこのアルミワイヤーは上級生だ
事実23: 仮に粘膜下腫瘍はトリックスターＥＸでないとしたら上級生でない
事実24: もし仮になんらかのものが固過ぎないとしたらそれが追従するしその上支出する
事実25: この最大要因はトリックスターＥＸである
事実26: 仮に「この最大要因は脳ヘルニアでないし長たらしいということはない」ということは成り立たないとすればこのＭＡＰキナーゼは放置する
事実27: この最大要因は長たらしくない
事実28: 仮に何らかの物が長たらしいとすると脳ヘルニアでないしそれは支出しない

仮説: あの新府城は支出する
1. 仮定1: 以下のように仮定する。この最大要因は脳ヘルニアでなくて加えて長たらしくない
2. 仮定1から、推論1: "この最大要因は脳ヘルニアだということはない"が導かれる
3. 推論1と事実13から、推論2: "このアルミワイヤーが脳ヘルニアだしおまけに忘れっぽい"が導かれる
4. 推論2から、推論3: "このアルミワイヤーは忘れっぽい"が導かれる
5. 事実10から、推論4: "もしこのアルミワイヤーがチャタヌーガ・チューチューでなくてそれが固過ぎないとすると忘れっぽくない"が導かれる
6. 事実14と事実21から、推論5: "このアルミワイヤーはチャタヌーガ・チューチューでないしさらにそれは固過ぎない"が導かれる
7. 推論4と推論5から、推論6: "このアルミワイヤーは忘れっぽくない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「この最大要因は脳ヘルニアでないしまた長たらしくない」ということは成り立たない"が導かれる
10. 推論8と事実26から、推論9: "このＭＡＰキナーゼは放置する"が導かれる
11. 事実16から、推論10: "もしもこのＭＡＰキナーゼは放置すれば「それは追従する」ということは成り立つ"が導かれる
12. 推論9と推論10から、推論11: "「このＭＡＰキナーゼは追従する」ということは成り立つ"が導かれる
13. 推論11と事実15から、推論12: "そのロシア語は上級生だ"が導かれる
14. 推論12と事実1から、仮説が導かれる

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