この古地図は込み上げない
fact1: 仮に「このテンＮＧはノーデインターフェイスだ」ということは事実だとしたら「この指数は魘されないしおまけに漏れ無いということはない」ということは誤りである fact2: 「その溜め息は魘される」ということは確かだ fact3: もし「あるものは込み上げなくて漏れ無くない」ということは成り立たないならば維持・継承するということはない fact4: 仮に「なにがしかのものはノーデインターフェイスであるということはなくておまけに作付けるない」ということは成り立たないとしたら「維持・継承しない」ということは成り立つ fact5: もし仮にとあるものは欧州政体でないとすると作付けるし更にノーデインターフェイスである fact6: 仮にこの指数が作付けるならこの古地図は作付ける fact7: 仮になにがしかの物が作付けるとしたらそれはしんどい fact8: もしなんらかのものが頬張らないし魘されないとしたら維持・継承しない fact9: この古地図は仲睦まじい fact10: もしもこの餡蜜が非難がましいということはないとしたらその軽口は扱き始めるけど欧州政体でない fact11: 仮になにかは魘されるとするとそれは頬張る fact12: もしある物が頬張るとすればそれは維持・継承する fact13: この餡蜜は非難がましかない fact14: このテンＮＧは漏れ無いとすると「この指数はノーデインターフェイスであるということはなくてそれに作付けるない」ということは確かでない fact15: もしもこの古地図はノーデインターフェイスであるとするとそれはしんどい fact16: もしも「この古地図は込み上げないけどしんどい」ということは間違いであるとするとこの指数は魘される fact17: このテンＮＧは漏れ無い fact18: もしこの古地図が作付けるならばこのテンＮＧは頬張らないしそれは魘されるということはない
void -> assump1: 以下のように仮定する。「この古地図は込み上げないがしかししんどい」ということは成り立たない; fact16 & assump1 -> int1: この指数は魘される; fact11 -> int2: もしもこの指数が魘されるとすると頬張る; int1 & int2 -> int3: この指数は頬張る; fact12 -> int4: もしもこの指数が頬張るとすればそれは維持・継承する; int3 & int4 -> int5: この指数は維持・継承する; fact17 & fact14 -> int6: 「この指数はノーデインターフェイスでないしそれは作付けるない」ということは事実と異なる; fact4 -> int7: 「この指数がノーデインターフェイスだということはないしさらに作付けるない」ということは事実と異なれば維持・継承しない; int6 & int7 -> int8: 「この指数は維持・継承しない」ということは事実である; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この古地図は込み上げない一方でしんどい; int10 -> hypothesis;
このテンＮＧは維持・継承しない
fact24 -> int11: もしもこのテンＮＧは頬張るということはないし魘されないとすればそれは維持・継承しない; fact22 -> int12: もしもその軽口が欧州政体でないならば作付けるしそれにノーデインターフェイスだ; fact19 & fact20 -> int13: その軽口は扱き始めるがしかし欧州政体でない; int13 -> int14: その軽口は欧州政体だということはない; int12 & int14 -> int15: その軽口は作付けるしかつそれはノーデインターフェイスである; int15 -> int16: その軽口は作付ける; int16 -> int17: 「作付ける」ものはある;
$facts$ = fact1: 仮に「このテンＮＧはノーデインターフェイスだ」ということは事実だとしたら「この指数は魘されないしおまけに漏れ無いということはない」ということは誤りである fact2: 「その溜め息は魘される」ということは確かだ fact3: もし「あるものは込み上げなくて漏れ無くない」ということは成り立たないならば維持・継承するということはない fact4: 仮に「なにがしかのものはノーデインターフェイスであるということはなくておまけに作付けるない」ということは成り立たないとしたら「維持・継承しない」ということは成り立つ fact5: もし仮にとあるものは欧州政体でないとすると作付けるし更にノーデインターフェイスである fact6: 仮にこの指数が作付けるならこの古地図は作付ける fact7: 仮になにがしかの物が作付けるとしたらそれはしんどい fact8: もしなんらかのものが頬張らないし魘されないとしたら維持・継承しない fact9: この古地図は仲睦まじい fact10: もしもこの餡蜜が非難がましいということはないとしたらその軽口は扱き始めるけど欧州政体でない fact11: 仮になにかは魘されるとするとそれは頬張る fact12: もしある物が頬張るとすればそれは維持・継承する fact13: この餡蜜は非難がましかない fact14: このテンＮＧは漏れ無いとすると「この指数はノーデインターフェイスであるということはなくてそれに作付けるない」ということは確かでない fact15: もしもこの古地図はノーデインターフェイスであるとするとそれはしんどい fact16: もしも「この古地図は込み上げないけどしんどい」ということは間違いであるとするとこの指数は魘される fact17: このテンＮＧは漏れ無い fact18: もしこの古地図が作付けるならばこのテンＮＧは頬張らないしそれは魘されるということはない ; $hypothesis$ = この古地図は込み上げない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この古地図は込み上げないがしかししんどい」ということは成り立たない; fact16 & assump1 -> int1: この指数は魘される; fact11 -> int2: もしもこの指数が魘されるとすると頬張る; int1 & int2 -> int3: この指数は頬張る; fact12 -> int4: もしもこの指数が頬張るとすればそれは維持・継承する; int3 & int4 -> int5: この指数は維持・継承する; fact17 & fact14 -> int6: 「この指数はノーデインターフェイスでないしそれは作付けるない」ということは事実と異なる; fact4 -> int7: 「この指数がノーデインターフェイスだということはないしさらに作付けるない」ということは事実と異なれば維持・継承しない; int6 & int7 -> int8: 「この指数は維持・継承しない」ということは事実である; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この古地図は込み上げない一方でしんどい; int10 -> hypothesis; __PROVED__
事実1: 仮に「このテンＮＧはノーデインターフェイスだ」ということは事実だとしたら「この指数は魘されないしおまけに漏れ無いということはない」ということは誤りである
事実2: 「その溜め息は魘される」ということは確かだ
事実3: もし「あるものは込み上げなくて漏れ無くない」ということは成り立たないならば維持・継承するということはない
事実4: 仮に「なにがしかのものはノーデインターフェイスであるということはなくておまけに作付けるない」ということは成り立たないとしたら「維持・継承しない」ということは成り立つ
事実5: もし仮にとあるものは欧州政体でないとすると作付けるし更にノーデインターフェイスである
事実6: 仮にこの指数が作付けるならこの古地図は作付ける
事実7: 仮になにがしかの物が作付けるとしたらそれはしんどい
事実8: もしなんらかのものが頬張らないし魘されないとしたら維持・継承しない
事実9: この古地図は仲睦まじい
事実10: もしもこの餡蜜が非難がましいということはないとしたらその軽口は扱き始めるけど欧州政体でない
事実11: 仮になにかは魘されるとするとそれは頬張る
事実12: もしある物が頬張るとすればそれは維持・継承する
事実13: この餡蜜は非難がましかない
事実14: このテンＮＧは漏れ無いとすると「この指数はノーデインターフェイスであるということはなくてそれに作付けるない」ということは確かでない
事実15: もしもこの古地図はノーデインターフェイスであるとするとそれはしんどい
事実16: もしも「この古地図は込み上げないけどしんどい」ということは間違いであるとするとこの指数は魘される
事実17: このテンＮＧは漏れ無い
事実18: もしこの古地図が作付けるならばこのテンＮＧは頬張らないしそれは魘されるということはない

仮説: この古地図は込み上げない
1. 仮定1: 以下のように仮定する。「この古地図は込み上げないがしかししんどい」ということは成り立たない
2. 事実16と仮定1から、推論1: "この指数は魘される"が導かれる
3. 事実11から、推論2: "もしもこの指数が魘されるとすると頬張る"が導かれる
4. 推論1と推論2から、推論3: "この指数は頬張る"が導かれる
5. 事実12から、推論4: "もしもこの指数が頬張るとすればそれは維持・継承する"が導かれる
6. 推論3と推論4から、推論5: "この指数は維持・継承する"が導かれる
7. 事実17と事実14から、推論6: "「この指数はノーデインターフェイスでないしそれは作付けるない」ということは事実と異なる"が導かれる
8. 事実4から、推論7: "「この指数がノーデインターフェイスだということはないしさらに作付けるない」ということは事実と異なれば維持・継承しない"が導かれる
9. 推論6と推論7から、推論8: "「この指数は維持・継承しない」ということは事実である"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この古地図は込み上げない一方でしんどい"が導かれる
12. 推論10から、仮説が導かれる

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