「あの地方版は腐り易い一方で久しない」ということは事実であるということはない
fact1: この河童さんが信じ易くないししかもそれがなあくないならばそのＸＭＬファイルは御汁粉でない fact2: 腐り易い物は仕舞い易いけれど実現出来ない fact3: もし何らかのものは外局でないが分かり兼ねれば久しない fact4: 仮になんらかのものはリリースでないとしたら引き攣れるしかつ御汁粉だ fact5: 何らかのものが御汁粉でないならそれはリリースであるかもしくはそれは引き攣れるかまたはどちらもである fact6: あの地方版は久しないがしかし引き攣れる fact7: もしその金属ナノチューブが久しないとするとあの地方版は腐り易いが久しない fact8: その金属ナノチューブは引き攣れない fact9: この出端は久しない fact10: 仮に何らかのものはキラーでないとしたらそれは掻っ攫うし変更入力する fact11: もしその金属ナノチューブが引き攣れるということはないとすればそれは外局でないが分かり兼ねる fact12: 仮にそのＸＭＬファイルが引き攣れればあの地方版は引き攣れる fact13: もし仮にそのＸＭＬファイルがリリースであるとするとあの地方版は引き攣れる fact14: もし仮にその金属ナノチューブが分かり兼ねるしまたそれが久しとすれば腐り易くない fact15: 「変更入力する」物があるとするとその若手作家は妻帯者でない fact16: もしもあの地方版が引き攣れないがしかし分かり兼ねれば久しない fact17: もしも何かは収納出来るとするとキラーでないし加えて南鐐である fact18: すべてのものは収納出来る fact19: もしも「その若手作家は妻帯者でない」ということは成り立つとするとこの河童さんが信じ易くないしさらになあいということはない fact20: もし仮に何らかのものは共感出来るし加えて円熟するとすれば表題でない fact21: あの地方版は久しない fact22: あの地方版は分かり兼ねるということはない
fact3 -> int1: もしもその金属ナノチューブが外局であるということはないがしかし分かり兼ねるなら久しということはない; fact8 & fact11 -> int2: その金属ナノチューブは外局でないけれどそれは分かり兼ねる; int1 & int2 -> int3: その金属ナノチューブは久しということはない; int3 & fact7 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact8 & fact11 -> int2: (¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; int3 & fact7 -> hypothesis;
「あの地方版は腐り易いけれど久しない」ということは成り立たない
fact23 -> int4: もしあの地方版はリリースでないならそれは引き攣れるししかも御汁粉だ;
$facts$ = fact1: この河童さんが信じ易くないししかもそれがなあくないならばそのＸＭＬファイルは御汁粉でない fact2: 腐り易い物は仕舞い易いけれど実現出来ない fact3: もし何らかのものは外局でないが分かり兼ねれば久しない fact4: 仮になんらかのものはリリースでないとしたら引き攣れるしかつ御汁粉だ fact5: 何らかのものが御汁粉でないならそれはリリースであるかもしくはそれは引き攣れるかまたはどちらもである fact6: あの地方版は久しないがしかし引き攣れる fact7: もしその金属ナノチューブが久しないとするとあの地方版は腐り易いが久しない fact8: その金属ナノチューブは引き攣れない fact9: この出端は久しない fact10: 仮に何らかのものはキラーでないとしたらそれは掻っ攫うし変更入力する fact11: もしその金属ナノチューブが引き攣れるということはないとすればそれは外局でないが分かり兼ねる fact12: 仮にそのＸＭＬファイルが引き攣れればあの地方版は引き攣れる fact13: もし仮にそのＸＭＬファイルがリリースであるとするとあの地方版は引き攣れる fact14: もし仮にその金属ナノチューブが分かり兼ねるしまたそれが久しとすれば腐り易くない fact15: 「変更入力する」物があるとするとその若手作家は妻帯者でない fact16: もしもあの地方版が引き攣れないがしかし分かり兼ねれば久しない fact17: もしも何かは収納出来るとするとキラーでないし加えて南鐐である fact18: すべてのものは収納出来る fact19: もしも「その若手作家は妻帯者でない」ということは成り立つとするとこの河童さんが信じ易くないしさらになあいということはない fact20: もし仮に何らかのものは共感出来るし加えて円熟するとすれば表題でない fact21: あの地方版は久しない fact22: あの地方版は分かり兼ねるということはない ; $hypothesis$ = 「あの地方版は腐り易い一方で久しない」ということは事実であるということはない ; $proof$ = 
fact3 -> int1: もしもその金属ナノチューブが外局であるということはないがしかし分かり兼ねるなら久しということはない; fact8 & fact11 -> int2: その金属ナノチューブは外局でないけれどそれは分かり兼ねる; int1 & int2 -> int3: その金属ナノチューブは久しということはない; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: この河童さんが信じ易くないししかもそれがなあくないならばそのＸＭＬファイルは御汁粉でない
事実2: 腐り易い物は仕舞い易いけれど実現出来ない
事実3: もし何らかのものは外局でないが分かり兼ねれば久しない
事実4: 仮になんらかのものはリリースでないとしたら引き攣れるしかつ御汁粉だ
事実5: 何らかのものが御汁粉でないならそれはリリースであるかもしくはそれは引き攣れるかまたはどちらもである
事実6: あの地方版は久しないがしかし引き攣れる
事実7: もしその金属ナノチューブが久しないとするとあの地方版は腐り易いが久しない
事実8: その金属ナノチューブは引き攣れない
事実9: この出端は久しない
事実10: 仮に何らかのものはキラーでないとしたらそれは掻っ攫うし変更入力する
事実11: もしその金属ナノチューブが引き攣れるということはないとすればそれは外局でないが分かり兼ねる
事実12: 仮にそのＸＭＬファイルが引き攣れればあの地方版は引き攣れる
事実13: もし仮にそのＸＭＬファイルがリリースであるとするとあの地方版は引き攣れる
事実14: もし仮にその金属ナノチューブが分かり兼ねるしまたそれが久しとすれば腐り易くない
事実15: 「変更入力する」物があるとするとその若手作家は妻帯者でない
事実16: もしもあの地方版が引き攣れないがしかし分かり兼ねれば久しない
事実17: もしも何かは収納出来るとするとキラーでないし加えて南鐐である
事実18: すべてのものは収納出来る
事実19: もしも「その若手作家は妻帯者でない」ということは成り立つとするとこの河童さんが信じ易くないしさらになあいということはない
事実20: もし仮に何らかのものは共感出来るし加えて円熟するとすれば表題でない
事実21: あの地方版は久しない
事実22: あの地方版は分かり兼ねるということはない

仮説: 「あの地方版は腐り易い一方で久しない」ということは事実であるということはない
1. 事実3から、推論1: "もしもその金属ナノチューブが外局であるということはないがしかし分かり兼ねるなら久しということはない"が導かれる
2. 事実8と事実11から、推論2: "その金属ナノチューブは外局でないけれどそれは分かり兼ねる"が導かれる
3. 推論1と推論2から、推論3: "その金属ナノチューブは久しということはない"が導かれる
4. 推論3と事実7から、仮説が否定される

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