あの京はきつい
fact1: あの京は警備する fact2: 仮にその競合飲料は外感でないとしたら「「あのサンプル大気中は入れ易いということはないかあるいは磁石でないか両方である」ということは事実だ」ということは真実でない fact3: もし「この伊吹はソフトウエアーでない」ということは本当であるとしたら入れ易い fact4: この戦略的情報システムは慣れない fact5: その競合飲料は柄であるし加えて苛々し易い fact6: この伊吹は磁石だ fact7: もしもなにかはソフトウエアーであるとするとあのサンプル大気中は慣れないし加えてそれは取り扱い易いということはない fact8: あのサンプル大気中は警備しないがしかし待ち遠しい fact9: この伊吹はきつい fact10: この伊吹は慣れない fact11: もしあのサンプル大気中は慣れないしまたきつかないとしたら「あの京はきつい」ということは成り立つ fact12: 仮にあの京が吝いということはないが警備するならあのサンプル大気中は待ち遠しくない fact13: 「なにがしかの物は入れ易くないかあるいはそれはソフトウエアーであるかもしくは両方ともだ」ということは間違っているならそれは慣れない fact14: もし仮にその競合飲料は吝くないならば「あの京は吝いし加えて外感だ」ということは誤りである fact15: あの坂戸市立図書館が御祈り申し上げるということはないとしたらこの伊吹はソフトウエアーでおまけにそれは吝い fact16: もし仮にこの伊吹が入れ易くてそれが磁石であるならばあの競合飲料は吝くない fact17: もしもあのサンプル大気中が警備しないけどそれが待ち遠しいならばこの伊吹は取り扱い易くない fact18: もしも「その競合飲料はソフトウエアーであるしおまけに磁石である」ということは間違っているとするとそれは吝いということはない fact19: もしあるものは磁石でないとすれば「入れ易くないかソフトウエアーだ」ということは真実でない fact20: もし「あるものは吝いし外感だ」ということは成り立たないとするときつかない fact21: もしもあのサンプル大気中がきついとするとその四齣漫画は吝い fact22: もし仮に「あのサンプル大気中は入れ易いということはないかあるいは磁石だということはないか両方だ」ということは誤りならばきつかない fact23: もし仮にあのサンプル大気中が吝いならばあの四齣漫画は吝い fact24: あのサンプル大気中はきついかあるいはそれは吝いかもしくは両方だ fact25: なにがしかのものは吝いなら「それは外感でないがしかし磁石である」ということは成り立つということはない fact26: この伊吹は取り扱い易くないし更に慣れないとしたらそれはソフトウエアーでない
fact17 & fact8 -> int1: この伊吹は取り扱い易いということはない; int1 & fact10 -> int2: この伊吹は取り扱い易くなくてそれは慣れない; int2 & fact26 -> int3: この伊吹はソフトウエアーでない; int3 & fact3 -> int4: この伊吹は入れ易い; int4 & fact6 -> int5: 「この伊吹は入れ易くてかつ磁石である」ということは成り立つ; int5 & fact16 -> int6: その競合飲料は吝いということはない; int6 & fact14 -> int7: 「あの京は吝くて加えて外感だ」ということは成り立たない; fact20 -> int8: もしも「あの京は吝いしさらに外感だ」ということは事実でないならばきつかない; int7 & int8 -> hypothesis;
その四齣漫画は人生最大でないがしかしそれは取り扱い易い
fact30 -> int9: もし仮に「その四齣漫画は入れ易くないかもしくはソフトウエアーであるか両方ともだ」ということは成り立たないとしたら慣れない; fact28 -> int10: 「その四齣漫画は磁石でない」ということは確かだとしたら「それは入れ易くないかソフトウエアーであるかあるいはどちらもである」ということは間違っている; fact31 -> int11: もしもその四齣漫画は吝いとしたら「外感であるということはないけれど磁石だ」ということは事実でない; fact32 & fact29 & fact27 -> int12: その四齣漫画は吝い; int11 & int12 -> int13: 「その四齣漫画は外感でないがしかし磁石だ」ということは偽である;
$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: あのサンプル大気中はきついかあるいはそれは吝いかもしくは両方だ fact25: なにがしかのものは吝いなら「それは外感でないがしかし磁石である」ということは成り立つということはない fact26: この伊吹は取り扱い易くないし更に慣れないとしたらそれはソフトウエアーでない ; $hypothesis$ = あの京はきつい ; $proof$ = 
fact17 & fact8 -> int1: この伊吹は取り扱い易いということはない; int1 & fact10 -> int2: この伊吹は取り扱い易くなくてそれは慣れない; int2 & fact26 -> int3: この伊吹はソフトウエアーでない; int3 & fact3 -> int4: この伊吹は入れ易い; int4 & fact6 -> int5: 「この伊吹は入れ易くてかつ磁石である」ということは成り立つ; int5 & fact16 -> int6: その競合飲料は吝いということはない; int6 & fact14 -> int7: 「あの京は吝くて加えて外感だ」ということは成り立たない; fact20 -> int8: もしも「あの京は吝いしさらに外感だ」ということは事実でないならばきつかない; int7 & int8 -> 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: あのサンプル大気中はきついかあるいはそれは吝いかもしくは両方だ
事実25: なにがしかのものは吝いなら「それは外感でないがしかし磁石である」ということは成り立つということはない
事実26: この伊吹は取り扱い易くないし更に慣れないとしたらそれはソフトウエアーでない

仮説: あの京はきつい
1. 事実17と事実8から、推論1: "この伊吹は取り扱い易いということはない"が導かれる
2. 推論1と事実10から、推論2: "この伊吹は取り扱い易くなくてそれは慣れない"が導かれる
3. 推論2と事実26から、推論3: "この伊吹はソフトウエアーでない"が導かれる
4. 推論3と事実3から、推論4: "この伊吹は入れ易い"が導かれる
5. 推論4と事実6から、推論5: "「この伊吹は入れ易くてかつ磁石である」ということは成り立つ"が導かれる
6. 推論5と事実16から、推論6: "その競合飲料は吝いということはない"が導かれる
7. 推論6と事実14から、推論7: "「あの京は吝くて加えて外感だ」ということは成り立たない"が導かれる
8. 事実20から、推論8: "もしも「あの京は吝いしさらに外感だ」ということは事実でないならばきつかない"が導かれる
9. 推論7と推論8から、仮説が否定される

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