あの新日本は民航労連である
fact1: 仮になんらかの物は国土面積でないとすると「遜色無い一方で話し易くない」ということは成り立たない fact2: もしなにがしかのものはインパクトゾーンでないなら何百人でない fact3: その敗色は遜色無くない fact4: もし「あの丸毎は煩くないけどアンダーアチーバーだ」ということは誤りであるとすればあの個は話し易くない fact5: 「この貫通罅割れは煩くない」ということは成り立つ fact6: もし「あの丸毎は遜色無いけれど話し易くない」ということは嘘であるとするとあの新日本は民航労連でない fact7: もしも「あのキャッシュ・アウト・フローは腑甲斐無いがしかしシューターであるということはない」ということは成り立たないとするとそれは腑甲斐無くない fact8: もし仮になんらかの物が何百人でないとすれば国土面積であるし加えて話し易くない fact9: もしもとある物が再建術でないとすればインパクトゾーンであるしおまけにそれは継起する fact10: もし仮にその敗色が国土面積であるということはないしそれに遜色無くないとしたらあの新日本は民航労連だ fact11: もし仮に「あの個は国土面積でないけれど何百人である」ということは本当であるということはないならあの丸毎は国土面積でない fact12: 仮にその敗色が指標化する一方でそれが再建術でないとするとあの個は再建術でない fact13: もしもなにかは話し易くないならば「それは民航労連であるということはないけど遜色無い」ということは事実と異なる fact14: あの新日本はインパクトゾーンでない fact15: あのキャッシュ・アウト・フローが腑甲斐無くないならその敗色は指標化するがしかしそれは再建術でない fact16: このリンクは煩い fact17: もしもあの丸毎が遜色無いならばその敗色は国土面積でないし更に遜色無くない fact18: 「その敗色はアンダーアチーバーでないけれど国土面積だ」ということは誤りである fact19: あの新日本が国土面積であるがそれが話し易いということはないとすればその敗色は話し易くない fact20: 仮にあの個が遜色無くないけどそれが話し易いなら煩い fact21: あの個は話し易いしそれに何百人だ fact22: もし仮に何らかのものは新しいなら「それは腑甲斐無いけれどシューターでない」ということは偽だ fact23: もし煩くない物はアンダーアチーバーであるなら「遜色無い」ということは事実だ
void -> assump1: 以下のように仮定する。「あの丸毎は煩くないがアンダーアチーバーだ」ということは偽だ; fact4 & assump1 -> int1: あの個は話し易くない; fact21 -> int2: あの個は話し易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの丸毎は煩くないけどアンダーアチーバーである; fact23 -> int5: もしもあの丸毎は煩くないけれどアンダーアチーバーだとしたら遜色無い; int4 & int5 -> int6: あの丸毎は遜色無い; int6 & fact17 -> int7: その敗色は国土面積だということはないしかつそれは遜色無くない; int7 & fact10 -> hypothesis;
あの新日本は民航労連でない
fact26 -> int8: 仮にあの丸毎は国土面積でないならば「遜色無い一方で話し易くない」ということは成り立たない; fact28 -> int9: もし仮にあの個は再建術でないとするとそれはインパクトゾーンで継起する; fact29 -> int10: もしも「あのキャッシュ・アウト・フローは新しい」ということは成り立つとすれば「それは腑甲斐無いししかもそれはシューターでない」ということは事実と異なる;
$facts$ = fact1: 仮になんらかの物は国土面積でないとすると「遜色無い一方で話し易くない」ということは成り立たない fact2: もしなにがしかのものはインパクトゾーンでないなら何百人でない fact3: その敗色は遜色無くない fact4: もし「あの丸毎は煩くないけどアンダーアチーバーだ」ということは誤りであるとすればあの個は話し易くない fact5: 「この貫通罅割れは煩くない」ということは成り立つ fact6: もし「あの丸毎は遜色無いけれど話し易くない」ということは嘘であるとするとあの新日本は民航労連でない fact7: もしも「あのキャッシュ・アウト・フローは腑甲斐無いがしかしシューターであるということはない」ということは成り立たないとするとそれは腑甲斐無くない fact8: もし仮になんらかの物が何百人でないとすれば国土面積であるし加えて話し易くない fact9: もしもとある物が再建術でないとすればインパクトゾーンであるしおまけにそれは継起する fact10: もし仮にその敗色が国土面積であるということはないしそれに遜色無くないとしたらあの新日本は民航労連だ fact11: もし仮に「あの個は国土面積でないけれど何百人である」ということは本当であるということはないならあの丸毎は国土面積でない fact12: 仮にその敗色が指標化する一方でそれが再建術でないとするとあの個は再建術でない fact13: もしもなにかは話し易くないならば「それは民航労連であるということはないけど遜色無い」ということは事実と異なる fact14: あの新日本はインパクトゾーンでない fact15: あのキャッシュ・アウト・フローが腑甲斐無くないならその敗色は指標化するがしかしそれは再建術でない fact16: このリンクは煩い fact17: もしもあの丸毎が遜色無いならばその敗色は国土面積でないし更に遜色無くない fact18: 「その敗色はアンダーアチーバーでないけれど国土面積だ」ということは誤りである fact19: あの新日本が国土面積であるがそれが話し易いということはないとすればその敗色は話し易くない fact20: 仮にあの個が遜色無くないけどそれが話し易いなら煩い fact21: あの個は話し易いしそれに何百人だ fact22: もし仮に何らかのものは新しいなら「それは腑甲斐無いけれどシューターでない」ということは偽だ fact23: もし煩くない物はアンダーアチーバーであるなら「遜色無い」ということは事実だ ; $hypothesis$ = あの新日本は民航労連である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの丸毎は煩くないがアンダーアチーバーだ」ということは偽だ; fact4 & assump1 -> int1: あの個は話し易くない; fact21 -> int2: あの個は話し易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの丸毎は煩くないけどアンダーアチーバーである; fact23 -> int5: もしもあの丸毎は煩くないけれどアンダーアチーバーだとしたら遜色無い; int4 & int5 -> int6: あの丸毎は遜色無い; int6 & fact17 -> int7: その敗色は国土面積だということはないしかつそれは遜色無くない; int7 & fact10 -> 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: もし煩くない物はアンダーアチーバーであるなら「遜色無い」ということは事実だ

仮説: あの新日本は民航労連である
1. 仮定1: 以下のように仮定する。「あの丸毎は煩くないがアンダーアチーバーだ」ということは偽だ
2. 事実4と仮定1から、推論1: "あの個は話し易くない"が導かれる
3. 事実21から、推論2: "あの個は話し易い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの丸毎は煩くないけどアンダーアチーバーである"が導かれる
6. 事実23から、推論5: "もしもあの丸毎は煩くないけれどアンダーアチーバーだとしたら遜色無い"が導かれる
7. 推論4と推論5から、推論6: "あの丸毎は遜色無い"が導かれる
8. 推論6と事実17から、推論7: "その敗色は国土面積だということはないしかつそれは遜色無くない"が導かれる
9. 推論7と事実10から、仮説が導かれる

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