「そのスコッチ・ウイスキーが仰々しくないとしたらこのレクリエーションは馬鹿馬鹿しくてまたそれは述ぶ」ということは成り立たない
fact1: もし仮に「疲れ難いけれど実験研究でない」物があるとするとこのレクリエーションは述ぶ fact2: このレクリエーションはかっちりするということはないがそれは歌い踊る fact3: 「か細くない」ものはある fact4: 「「研鑽するかあるいは面目無いということはない」ということは偽である」ものはある fact5: なにかは葛藤状態であるしその上対抗出来る fact6: もしも「あの開拓使は憎々しいかまたは生易しくない」ということは成り立たないとしたらそのスコッチ・ウイスキーは某大学でない fact7: そのスコッチ・ウイスキーは千八百七十年代でないけど目敏い fact8: もしもその要支援認定が述ぶらないとしたらこのレクリエーションは生易しいがしかしそれは再入院でない fact9: 「「研鑽するかまたは面目無いということはない」ということは成り立たない」物があるならその栽培品種は憎々しい fact10: 再入院が臨時代理大使でないとしたらその要支援認定は憎々しい fact11: もしもそのスコッチ・ウイスキーが某大学でないしそれにそれが仰々しくないとするとこのレクリエーションは馬鹿馬鹿しい fact12: もしもそのスコッチ・ウイスキーが某大学でないとするとその要支援認定は再入院であるしそれに憎々しい fact13: 仮に「このＪＡＣは述ぶか疲れ難くないかまたは両方ともだ」ということは嘘であるならこのレクリエーションは再入院でない fact14: もしその要支援認定は抜け易くないけど再入院だとすれば臨時代理大使でない fact15: 仮にその栽培品種は憎々しいとしたら「あの開拓使は憎々しいかもしくはそれは生易しいということはない」ということは成り立たない fact16: 「仰々しくない」ものはある fact17: 「「臨時代理大使であるか述ぶらないかもしくはどちらもである」ということは間違いな」物はある fact18: どれもこれもは抜け易くなくて再入院である fact19: すべての物は企業紹介でないけど赤らめる fact20: 「仰々しい」物はある fact21: もしその要支援認定が臨時代理大使でないとすればこのＪＡＣは疲れ難いがしかし実験研究でない fact22: もし仮にその要支援認定が述ぶらないけれどそれは抜け易いとしたら「このＪＡＣは疲れ難い」ということは事実である fact23: あの開拓使は仰々しくない fact24: もしその要支援認定は某大学だとすると「そのスコッチ・ウイスキーは某大学であるかまたは再入院でないかまたはどちらもである」ということは成り立たない
fact4 & fact9 -> int1: その栽培品種は憎々しい; int1 & fact15 -> int2: 「あの開拓使は憎々しいかあるいは生易しくない」ということは成り立たない; int2 & fact6 -> int3: そのスコッチ・ウイスキーは某大学でない; void -> assump1: 以下のように仮定する。そのスコッチ・ウイスキーは仰々しくない; int3 & assump1 -> int4: そのスコッチ・ウイスキーは某大学でなくて更にそれは仰々しいということはない; int4 & fact11 -> int5: このレクリエーションは馬鹿馬鹿しい; fact18 -> int6: その要支援認定は抜け易くないけれど再入院だ; fact14 & int6 -> int7: その要支援認定は臨時代理大使であるということはない; fact21 & int7 -> int8: このＪＡＣは疲れ難いが実験研究でない; int8 -> int9: なにがしかの物は疲れ難いけれど実験研究でない; fact1 & int9 -> int10: このレクリエーションは述ぶ; int5 & int10 -> int11: このレクリエーションは馬鹿馬鹿しくて述ぶ; [assump1] & int11 -> 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: もしその要支援認定は某大学だとすると「そのスコッチ・ウイスキーは某大学であるかまたは再入院でないかまたはどちらもである」ということは成り立たない ; $hypothesis$ = 「そのスコッチ・ウイスキーが仰々しくないとしたらこのレクリエーションは馬鹿馬鹿しくてまたそれは述ぶ」ということは成り立たない ; $proof$ = 
fact4 & fact9 -> int1: その栽培品種は憎々しい; int1 & fact15 -> int2: 「あの開拓使は憎々しいかあるいは生易しくない」ということは成り立たない; int2 & fact6 -> int3: そのスコッチ・ウイスキーは某大学でない; void -> assump1: 以下のように仮定する。そのスコッチ・ウイスキーは仰々しくない; int3 & assump1 -> int4: そのスコッチ・ウイスキーは某大学でなくて更にそれは仰々しいということはない; int4 & fact11 -> int5: このレクリエーションは馬鹿馬鹿しい; fact18 -> int6: その要支援認定は抜け易くないけれど再入院だ; fact14 & int6 -> int7: その要支援認定は臨時代理大使であるということはない; fact21 & int7 -> int8: このＪＡＣは疲れ難いが実験研究でない; int8 -> int9: なにがしかの物は疲れ難いけれど実験研究でない; fact1 & int9 -> int10: このレクリエーションは述ぶ; int5 & int10 -> int11: このレクリエーションは馬鹿馬鹿しくて述ぶ; [assump1] & int11 -> hypothesis; __DISPROVED__
事実1: もし仮に「疲れ難いけれど実験研究でない」物があるとするとこのレクリエーションは述ぶ
事実2: このレクリエーションはかっちりするということはないがそれは歌い踊る
事実3: 「か細くない」ものはある
事実4: 「「研鑽するかあるいは面目無いということはない」ということは偽である」ものはある
事実5: なにかは葛藤状態であるしその上対抗出来る
事実6: もしも「あの開拓使は憎々しいかまたは生易しくない」ということは成り立たないとしたらそのスコッチ・ウイスキーは某大学でない
事実7: そのスコッチ・ウイスキーは千八百七十年代でないけど目敏い
事実8: もしもその要支援認定が述ぶらないとしたらこのレクリエーションは生易しいがしかしそれは再入院でない
事実9: 「「研鑽するかまたは面目無いということはない」ということは成り立たない」物があるならその栽培品種は憎々しい
事実10: 再入院が臨時代理大使でないとしたらその要支援認定は憎々しい
事実11: もしもそのスコッチ・ウイスキーが某大学でないしそれにそれが仰々しくないとするとこのレクリエーションは馬鹿馬鹿しい
事実12: もしもそのスコッチ・ウイスキーが某大学でないとするとその要支援認定は再入院であるしそれに憎々しい
事実13: 仮に「このＪＡＣは述ぶか疲れ難くないかまたは両方ともだ」ということは嘘であるならこのレクリエーションは再入院でない
事実14: もしその要支援認定は抜け易くないけど再入院だとすれば臨時代理大使でない
事実15: 仮にその栽培品種は憎々しいとしたら「あの開拓使は憎々しいかもしくはそれは生易しいということはない」ということは成り立たない
事実16: 「仰々しくない」ものはある
事実17: 「「臨時代理大使であるか述ぶらないかもしくはどちらもである」ということは間違いな」物はある
事実18: どれもこれもは抜け易くなくて再入院である
事実19: すべての物は企業紹介でないけど赤らめる
事実20: 「仰々しい」物はある
事実21: もしその要支援認定が臨時代理大使でないとすればこのＪＡＣは疲れ難いがしかし実験研究でない
事実22: もし仮にその要支援認定が述ぶらないけれどそれは抜け易いとしたら「このＪＡＣは疲れ難い」ということは事実である
事実23: あの開拓使は仰々しくない
事実24: もしその要支援認定は某大学だとすると「そのスコッチ・ウイスキーは某大学であるかまたは再入院でないかまたはどちらもである」ということは成り立たない

仮説: 「そのスコッチ・ウイスキーが仰々しくないとしたらこのレクリエーションは馬鹿馬鹿しくてまたそれは述ぶ」ということは成り立たない
1. 事実4と事実9から、推論1: "その栽培品種は憎々しい"が導かれる
2. 推論1と事実15から、推論2: "「あの開拓使は憎々しいかあるいは生易しくない」ということは成り立たない"が導かれる
3. 推論2と事実6から、推論3: "そのスコッチ・ウイスキーは某大学でない"が導かれる
4. 仮定1: 以下のように仮定する。そのスコッチ・ウイスキーは仰々しくない
5. 推論3と仮定1から、推論4: "そのスコッチ・ウイスキーは某大学でなくて更にそれは仰々しいということはない"が導かれる
6. 推論4と事実11から、推論5: "このレクリエーションは馬鹿馬鹿しい"が導かれる
7. 事実18から、推論6: "その要支援認定は抜け易くないけれど再入院だ"が導かれる
8. 事実14と推論6から、推論7: "その要支援認定は臨時代理大使であるということはない"が導かれる
9. 事実21と推論7から、推論8: "このＪＡＣは疲れ難いが実験研究でない"が導かれる
10. 推論8から、推論9: "なにがしかの物は疲れ難いけれど実験研究でない"が導かれる
11. 事実1と推論9から、推論10: "このレクリエーションは述ぶ"が導かれる
12. 推論5と推論10から、推論11: "このレクリエーションは馬鹿馬鹿しくて述ぶ"が導かれる
13. [仮定1]と推論11から、仮説が否定される

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