「その高格付けは熱っぽいしかつだらける」ということは成り立たない
fact1: 「あの遺伝的素因は計上すということはなくて散大しない」ということは成り立たない fact2: もし仮に程無い物が発見しないとすると熱っぽい fact3: 「もし仮にあの臨時増刊が国語教育だ一方でだらけるということはないならあの臨時増刊は使用し難い」ということは確かである fact4: 「何らかのものはだらける一方で為合わない」ということは間違っているとすればそれは熱っぽい fact5: もしあの当該判決が紹介し合わないしその上蹴上げないとしたらその杓子岳は為合う fact6: その杓子岳は紹介し合わない一方で清掃する fact7: もしも「あの近代国家像は会話らしいということはないがしかし革命的批判である」ということは間違いだとすればその杓子岳は発見するということはない fact8: もしもとある物が清掃するがそれが発見しないならば程無い fact9: もしその杓子岳が程無いならその高格付けは熱っぽい fact10: この枢が刺青でないとしたらあの当該判決は紹介し合わなくてしかもそれは蹴上げない fact11: その第四十五回大会要旨集は蹴上げる fact12: 仮に「あの遺伝的素因は計上すらないしさらに散大しない」ということは真実であるということはないとしたら計上す fact13: 「あの近代国家像は会話らしくないけれどそれは革命的批判である」ということは成り立たない fact14: もしも「あの近代国家像は清掃しない」ということは成り立つとすると「その高格付けは熱っぽくてだらける」ということは成り立たない fact15: 「計上す」ものがあるとしたらその詳細設計は二次林でない fact16: あの近代国家像が印象深くないならば教え始める fact17: その杓子岳がＬ姉だとしたらあの近代国家像は程無くなくて発見するということはない fact18: もしこの風俗営業が可変しない一方でそれが歩くならこの枢は刺青でない fact19: その高格付けは蹴上げる fact20: 仮に「何かは為合う一方でＬ姉でない」ということは成り立たないとするとだらける fact21: もしもその高格付けは蹴上げるとすると「為合うし加えてＬ姉でない」ということは成り立たない
fact7 & fact13 -> int1: 「その杓子岳は発見しない」ということは真実である; fact6 -> int2: その杓子岳は清掃する; int1 & int2 -> int3: その杓子岳は清掃するがしかしそれは発見しない; fact8 -> int4: その杓子岳は清掃する一方で発見しないとすると程無い; int3 & int4 -> int5: その杓子岳は程無い; int5 & fact9 -> int6: その高格付けは熱っぽい; fact20 -> int7: 「もし仮に「その高格付けは為合うけどＬ姉でない」ということは本当でないとしたらその高格付けはだらける」ということは本当である; fact19 & fact21 -> int8: 「その高格付けは為合う一方でＬ姉でない」ということは成り立たない; int7 & int8 -> int9: その高格付けはだらける; int6 & int9 -> hypothesis;
「その高格付けは熱っぽくてだらける」ということは成り立つということはない
fact23 & fact25 -> int10: あの遺伝的素因は計上す; int10 -> int11: とあるものは計上す; int11 & fact29 -> int12: その詳細設計は二次林でない; int12 -> int13: 「二次林でない」物はある;
$facts$ = fact1: 「あの遺伝的素因は計上すということはなくて散大しない」ということは成り立たない fact2: もし仮に程無い物が発見しないとすると熱っぽい fact3: 「もし仮にあの臨時増刊が国語教育だ一方でだらけるということはないならあの臨時増刊は使用し難い」ということは確かである fact4: 「何らかのものはだらける一方で為合わない」ということは間違っているとすればそれは熱っぽい fact5: もしあの当該判決が紹介し合わないしその上蹴上げないとしたらその杓子岳は為合う fact6: その杓子岳は紹介し合わない一方で清掃する fact7: もしも「あの近代国家像は会話らしいということはないがしかし革命的批判である」ということは間違いだとすればその杓子岳は発見するということはない fact8: もしもとある物が清掃するがそれが発見しないならば程無い fact9: もしその杓子岳が程無いならその高格付けは熱っぽい fact10: この枢が刺青でないとしたらあの当該判決は紹介し合わなくてしかもそれは蹴上げない fact11: その第四十五回大会要旨集は蹴上げる fact12: 仮に「あの遺伝的素因は計上すらないしさらに散大しない」ということは真実であるということはないとしたら計上す fact13: 「あの近代国家像は会話らしくないけれどそれは革命的批判である」ということは成り立たない fact14: もしも「あの近代国家像は清掃しない」ということは成り立つとすると「その高格付けは熱っぽくてだらける」ということは成り立たない fact15: 「計上す」ものがあるとしたらその詳細設計は二次林でない fact16: あの近代国家像が印象深くないならば教え始める fact17: その杓子岳がＬ姉だとしたらあの近代国家像は程無くなくて発見するということはない fact18: もしこの風俗営業が可変しない一方でそれが歩くならこの枢は刺青でない fact19: その高格付けは蹴上げる fact20: 仮に「何かは為合う一方でＬ姉でない」ということは成り立たないとするとだらける fact21: もしもその高格付けは蹴上げるとすると「為合うし加えてＬ姉でない」ということは成り立たない ; $hypothesis$ = 「その高格付けは熱っぽいしかつだらける」ということは成り立たない ; $proof$ = 
fact7 & fact13 -> int1: 「その杓子岳は発見しない」ということは真実である; fact6 -> int2: その杓子岳は清掃する; int1 & int2 -> int3: その杓子岳は清掃するがしかしそれは発見しない; fact8 -> int4: その杓子岳は清掃する一方で発見しないとすると程無い; int3 & int4 -> int5: その杓子岳は程無い; int5 & fact9 -> int6: その高格付けは熱っぽい; fact20 -> int7: 「もし仮に「その高格付けは為合うけどＬ姉でない」ということは本当でないとしたらその高格付けはだらける」ということは本当である; fact19 & fact21 -> int8: 「その高格付けは為合う一方でＬ姉でない」ということは成り立たない; int7 & int8 -> int9: その高格付けはだらける; int6 & int9 -> hypothesis; __DISPROVED__
事実1: 「あの遺伝的素因は計上すということはなくて散大しない」ということは成り立たない
事実2: もし仮に程無い物が発見しないとすると熱っぽい
事実3: 「もし仮にあの臨時増刊が国語教育だ一方でだらけるということはないならあの臨時増刊は使用し難い」ということは確かである
事実4: 「何らかのものはだらける一方で為合わない」ということは間違っているとすればそれは熱っぽい
事実5: もしあの当該判決が紹介し合わないしその上蹴上げないとしたらその杓子岳は為合う
事実6: その杓子岳は紹介し合わない一方で清掃する
事実7: もしも「あの近代国家像は会話らしいということはないがしかし革命的批判である」ということは間違いだとすればその杓子岳は発見するということはない
事実8: もしもとある物が清掃するがそれが発見しないならば程無い
事実9: もしその杓子岳が程無いならその高格付けは熱っぽい
事実10: この枢が刺青でないとしたらあの当該判決は紹介し合わなくてしかもそれは蹴上げない
事実11: その第四十五回大会要旨集は蹴上げる
事実12: 仮に「あの遺伝的素因は計上すらないしさらに散大しない」ということは真実であるということはないとしたら計上す
事実13: 「あの近代国家像は会話らしくないけれどそれは革命的批判である」ということは成り立たない
事実14: もしも「あの近代国家像は清掃しない」ということは成り立つとすると「その高格付けは熱っぽくてだらける」ということは成り立たない
事実15: 「計上す」ものがあるとしたらその詳細設計は二次林でない
事実16: あの近代国家像が印象深くないならば教え始める
事実17: その杓子岳がＬ姉だとしたらあの近代国家像は程無くなくて発見するということはない
事実18: もしこの風俗営業が可変しない一方でそれが歩くならこの枢は刺青でない
事実19: その高格付けは蹴上げる
事実20: 仮に「何かは為合う一方でＬ姉でない」ということは成り立たないとするとだらける
事実21: もしもその高格付けは蹴上げるとすると「為合うし加えてＬ姉でない」ということは成り立たない

仮説: 「その高格付けは熱っぽいしかつだらける」ということは成り立たない
1. 事実7と事実13から、推論1: "「その杓子岳は発見しない」ということは真実である"が導かれる
2. 事実6から、推論2: "その杓子岳は清掃する"が導かれる
3. 推論1と推論2から、推論3: "その杓子岳は清掃するがしかしそれは発見しない"が導かれる
4. 事実8から、推論4: "その杓子岳は清掃する一方で発見しないとすると程無い"が導かれる
5. 推論3と推論4から、推論5: "その杓子岳は程無い"が導かれる
6. 推論5と事実9から、推論6: "その高格付けは熱っぽい"が導かれる
7. 事実20から、推論7: "「もし仮に「その高格付けは為合うけどＬ姉でない」ということは本当でないとしたらその高格付けはだらける」ということは本当である"が導かれる
8. 事実19と事実21から、推論8: "「その高格付けは為合う一方でＬ姉でない」ということは成り立たない"が導かれる
9. 推論7と推論8から、推論9: "その高格付けはだらける"が導かれる
10. 推論6と推論9から、仮説が否定される

よって、仮説が否定されました。