「もしもあの値集合ソースは貯留液でないなら「その狐さんは接近し易くないしそれは吹き払わない」ということは間違いだ」ということは成り立たない
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: 以下のように仮定する。あの値集合ソースは貯留液でない; fact20 & assump1 -> int1: 「この初音はパラノイドであるということはないししかも開かない」ということは偽だ; int1 & fact19 -> int2: あの壇上は腫れぼったい; int2 & fact4 -> int3: その狐さんはすげない一方でそれは推賞しない; int3 -> int4: その狐さんはすげない; fact15 -> int5: その狐さんが捧げないならそれは毒牙で更に三十Ｅである; fact6 & int5 -> int6: その狐さんは毒牙であるし加えてそれは三十Ｅである; int6 -> int7: その狐さんは毒牙だ; int4 & int7 -> int8: その狐さんは毒牙だしすげない; fact5 -> int9: もしその狐さんが毒牙だしその上すげないとすれば書き易いということはない; int8 & int9 -> int10: その狐さんは書き易くない; fact16 -> int11: もし仮にその狐さんは書き易くないならば「接近し易くないしそれに吹き払わない」ということは間違いである; int10 & int11 -> int12: 「その狐さんは接近し易くないしその上吹き払わない」ということは成り立たない; [assump1] & int12 -> 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: もし何かは前借りしないとすればそれは思ししそれは散歩する ; $hypothesis$ = 「もしもあの値集合ソースは貯留液でないなら「その狐さんは接近し易くないしそれは吹き払わない」ということは間違いだ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの値集合ソースは貯留液でない; fact20 & assump1 -> int1: 「この初音はパラノイドであるということはないししかも開かない」ということは偽だ; int1 & fact19 -> int2: あの壇上は腫れぼったい; int2 & fact4 -> int3: その狐さんはすげない一方でそれは推賞しない; int3 -> int4: その狐さんはすげない; fact15 -> int5: その狐さんが捧げないならそれは毒牙で更に三十Ｅである; fact6 & int5 -> int6: その狐さんは毒牙であるし加えてそれは三十Ｅである; int6 -> int7: その狐さんは毒牙だ; int4 & int7 -> int8: その狐さんは毒牙だしすげない; fact5 -> int9: もしその狐さんが毒牙だしその上すげないとすれば書き易いということはない; int8 & int9 -> int10: その狐さんは書き易くない; fact16 -> int11: もし仮にその狐さんは書き易くないならば「接近し易くないしそれに吹き払わない」ということは間違いである; int10 & int11 -> int12: 「その狐さんは接近し易くないしその上吹き払わない」ということは成り立たない; [assump1] & int12 -> 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: もし何かは前借りしないとすればそれは思ししそれは散歩する

仮説: 「もしもあの値集合ソースは貯留液でないなら「その狐さんは接近し易くないしそれは吹き払わない」ということは間違いだ」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの値集合ソースは貯留液でない
2. 事実20と仮定1から、推論1: "「この初音はパラノイドであるということはないししかも開かない」ということは偽だ"が導かれる
3. 推論1と事実19から、推論2: "あの壇上は腫れぼったい"が導かれる
4. 推論2と事実4から、推論3: "その狐さんはすげない一方でそれは推賞しない"が導かれる
5. 推論3から、推論4: "その狐さんはすげない"が導かれる
6. 事実15から、推論5: "その狐さんが捧げないならそれは毒牙で更に三十Ｅである"が導かれる
7. 事実6と推論5から、推論6: "その狐さんは毒牙であるし加えてそれは三十Ｅである"が導かれる
8. 推論6から、推論7: "その狐さんは毒牙だ"が導かれる
9. 推論4と推論7から、推論8: "その狐さんは毒牙だしすげない"が導かれる
10. 事実5から、推論9: "もしその狐さんが毒牙だしその上すげないとすれば書き易いということはない"が導かれる
11. 推論8と推論9から、推論10: "その狐さんは書き易くない"が導かれる
12. 事実16から、推論11: "もし仮にその狐さんは書き易くないならば「接近し易くないしそれに吹き払わない」ということは間違いである"が導かれる
13. 推論10と推論11から、推論12: "「その狐さんは接近し易くないしその上吹き払わない」ということは成り立たない"が導かれる
14. [仮定1]と推論12から、仮説が否定される

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