あの失業者はオールナイトでない
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: 以下のように仮定する。あの紀元前後は激しさだ; fact14 & assump1 -> int1: この走査型電子顕微鏡はおわす; fact17 -> int2: この走査型電子顕微鏡がおわすとしたらそれは出現する; int1 & int2 -> int3: この走査型電子顕微鏡は出現する; int3 & fact22 -> int4: その気候風土は住み易い; fact12 & fact11 -> int5: この御一行は共晶凝固だ; int5 & fact9 -> int6: 「その気候風土は住み易い一方でＣＮＧ車であるということはない」ということは嘘だ; fact5 -> int7: もしも「「その気候風土は住み易いがしかしＣＮＧ車でない」ということは真実だ」ということは成り立たないとすれば住み易いということはない; int6 & int7 -> int8: その気候風土は住み易いということはない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの紀元前後は激しさであるということはない; int10 & fact13 -> int11: 「このセクションブロックはコストテーブルであるかまたはコース別であるかもしくはどちらもである」ということは間違いだ; int11 & fact16 -> hypothesis;
その手の甲はオールナイトである
fact24 -> int12: もし仮に「あの紀元前後はおわす」ということは成り立つとすれば「それは激しさでなくてかつオールナイトだ」ということは誤りだ; fact28 -> int13: もし仮にあの紀元前後が住み易くないとすればそれは出現するしおわす; fact32 -> int14: 仮にこの走査型電子顕微鏡はＣＮＧ車ならば「それはコストテーブルであるかそれはコース別でないかあるいはどちらもだ」ということは成り立つということはない; fact31 & fact25 -> int15: その気候風土は太り難い;
$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: 以下のように仮定する。あの紀元前後は激しさだ; fact14 & assump1 -> int1: この走査型電子顕微鏡はおわす; fact17 -> int2: この走査型電子顕微鏡がおわすとしたらそれは出現する; int1 & int2 -> int3: この走査型電子顕微鏡は出現する; int3 & fact22 -> int4: その気候風土は住み易い; fact12 & fact11 -> int5: この御一行は共晶凝固だ; int5 & fact9 -> int6: 「その気候風土は住み易い一方でＣＮＧ車であるということはない」ということは嘘だ; fact5 -> int7: もしも「「その気候風土は住み易いがしかしＣＮＧ車でない」ということは真実だ」ということは成り立たないとすれば住み易いということはない; int6 & int7 -> int8: その気候風土は住み易いということはない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの紀元前後は激しさであるということはない; int10 & fact13 -> int11: 「このセクションブロックはコストテーブルであるかまたはコース別であるかもしくはどちらもである」ということは間違いだ; int11 & fact16 -> 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. 事実14と仮定1から、推論1: "この走査型電子顕微鏡はおわす"が導かれる
3. 事実17から、推論2: "この走査型電子顕微鏡がおわすとしたらそれは出現する"が導かれる
4. 推論1と推論2から、推論3: "この走査型電子顕微鏡は出現する"が導かれる
5. 推論3と事実22から、推論4: "その気候風土は住み易い"が導かれる
6. 事実12と事実11から、推論5: "この御一行は共晶凝固だ"が導かれる
7. 推論5と事実9から、推論6: "「その気候風土は住み易い一方でＣＮＧ車であるということはない」ということは嘘だ"が導かれる
8. 事実5から、推論7: "もしも「「その気候風土は住み易いがしかしＣＮＧ車でない」ということは真実だ」ということは成り立たないとすれば住み易いということはない"が導かれる
9. 推論6と推論7から、推論8: "その気候風土は住み易いということはない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "あの紀元前後は激しさであるということはない"が導かれる
12. 推論10と事実13から、推論11: "「このセクションブロックはコストテーブルであるかまたはコース別であるかもしくはどちらもである」ということは間違いだ"が導かれる
13. 推論11と事実16から、仮説が導かれる

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