「もしもあの手形法は人間っぽいならば「その講釈師は御若い」ということは成り立つ」ということは真実でない
fact1: あの手形法は勢力下でない fact2: ひょろ長い勢力下は人間っぽくない fact3: 仮に「「廃坑だけど凍結保存しない」ということは誤っている」ものがあればあの資本主義社会は廃坑でない fact4: もしもなにがしかの物が展開し易くないかもしくはそれは安泰だということはないかもしくはどちらもであるとしたらそれは人間っぽくない fact5: 「あの手形法はひょろ長くないが御若い」ということは成り立つということはない fact6: もしもとある物が振り乱さないならばそれは展開し易くないかもしくはそれは安泰でないかあるいは両方ともである fact7: 惨たらしくない物は履き違えるし加えてスエズ運河である fact8: あの手形法が勢力下であるとするとその講釈師は御若い fact9: その講釈師はスウェーデン国王であるがしかし日本重化でないとすると振り乱さない fact10: この海賊停止令が短絡路だということはないとすればあの一市は惨たらしくない fact11: もしこの海賊停止令が惨たらしいとするとあの一市は惨たらしくない fact12: もしもあの資本主義社会が廃坑でないならばこの海賊停止令は惨たらしいかあるいはそれは短絡路でない fact13: もしあの手形法が勢力下でないがひょろ長いとしたらそれは人間っぽい fact14: 人間っぽくないものは御若くないし押し続けない fact15: もし仮に「あの手形法は勢力下でないがひょろ長い」ということは偽であるならその講釈師は御若い fact16: もし仮にあの一市が惨たらしいということはないとしたらその講釈師は惨たらしくない fact17: 仮になにがしかのものが勢力下でないけどそれがひょろ長いならそれは人間っぽい fact18: もしもとある物が勢力下でないけれどひょろ長いとすればそれは人間っぽくない fact19: 「あの手形法は勢力下だしひょろ長い」ということは事実と異なる fact20: 「「廃坑だけれど凍結保存しない」ということは間違いである」物はある fact21: あの手形法は勢力下であるしひょろ長いならそれは人間っぽくない
fact18 -> int1: もしもあの手形法は勢力下であるということはない一方でひょろ長いとすればそれは人間っぽいということはない; void -> assump2: 以下のように仮定する。あの手形法は勢力下でないけどひょろ長い; int1 & assump2 -> int2: あの手形法は人間っぽくない; void -> assump1: 以下のように仮定する。あの手形法は人間っぽい; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「あの手形法は勢力下でない一方でそれはひょろ長い」ということは間違いである; int4 & fact15 -> int5: その講釈師は御若い; [assump1] & int5 -> hypothesis;
その講釈師は押し続けるということはないけどスエズ運河である
fact22 -> int6: 「その講釈師は人間っぽくないとしたら「その講釈師は御若くないしかつ押し続けるということはない」ということは本当である」ということは確かだ; fact24 -> int7: もしもその講釈師は展開し易くないか安泰でないか両方ならそれは人間っぽくない; fact31 -> int8: 仮にその講釈師が振り乱さないなら展開し易くないかあるいは安泰でないかもしくは両方ともだ; fact27 -> int9: もしその講釈師が惨たらしくないならそれは履き違えるし更にスエズ運河である; fact25 & fact28 -> int10: あの資本主義社会は廃坑でない; fact29 & int10 -> int11: この海賊停止令は惨たらしいかもしくは短絡路でない; int11 & fact23 & fact26 -> int12: あの一市は惨たらしいということはない; fact32 & int12 -> int13: その講釈師は惨たらしくない; int9 & int13 -> int14: その講釈師は履き違えるし加えてスエズ運河である; int14 -> int15: その講釈師はスエズ運河である;
$facts$ = fact1: あの手形法は勢力下でない fact2: ひょろ長い勢力下は人間っぽくない fact3: 仮に「「廃坑だけど凍結保存しない」ということは誤っている」ものがあればあの資本主義社会は廃坑でない fact4: もしもなにがしかの物が展開し易くないかもしくはそれは安泰だということはないかもしくはどちらもであるとしたらそれは人間っぽくない fact5: 「あの手形法はひょろ長くないが御若い」ということは成り立つということはない fact6: もしもとある物が振り乱さないならばそれは展開し易くないかもしくはそれは安泰でないかあるいは両方ともである fact7: 惨たらしくない物は履き違えるし加えてスエズ運河である fact8: あの手形法が勢力下であるとするとその講釈師は御若い fact9: その講釈師はスウェーデン国王であるがしかし日本重化でないとすると振り乱さない fact10: この海賊停止令が短絡路だということはないとすればあの一市は惨たらしくない fact11: もしこの海賊停止令が惨たらしいとするとあの一市は惨たらしくない fact12: もしもあの資本主義社会が廃坑でないならばこの海賊停止令は惨たらしいかあるいはそれは短絡路でない fact13: もしあの手形法が勢力下でないがひょろ長いとしたらそれは人間っぽい fact14: 人間っぽくないものは御若くないし押し続けない fact15: もし仮に「あの手形法は勢力下でないがひょろ長い」ということは偽であるならその講釈師は御若い fact16: もし仮にあの一市が惨たらしいということはないとしたらその講釈師は惨たらしくない fact17: 仮になにがしかのものが勢力下でないけどそれがひょろ長いならそれは人間っぽい fact18: もしもとある物が勢力下でないけれどひょろ長いとすればそれは人間っぽくない fact19: 「あの手形法は勢力下だしひょろ長い」ということは事実と異なる fact20: 「「廃坑だけれど凍結保存しない」ということは間違いである」物はある fact21: あの手形法は勢力下であるしひょろ長いならそれは人間っぽくない ; $hypothesis$ = 「もしもあの手形法は人間っぽいならば「その講釈師は御若い」ということは成り立つ」ということは真実でない ; $proof$ = 
fact18 -> int1: もしもあの手形法は勢力下であるということはない一方でひょろ長いとすればそれは人間っぽいということはない; void -> assump2: 以下のように仮定する。あの手形法は勢力下でないけどひょろ長い; int1 & assump2 -> int2: あの手形法は人間っぽくない; void -> assump1: 以下のように仮定する。あの手形法は人間っぽい; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「あの手形法は勢力下でない一方でそれはひょろ長い」ということは間違いである; int4 & fact15 -> int5: その講釈師は御若い; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: あの手形法は勢力下でない
事実2: ひょろ長い勢力下は人間っぽくない
事実3: 仮に「「廃坑だけど凍結保存しない」ということは誤っている」ものがあればあの資本主義社会は廃坑でない
事実4: もしもなにがしかの物が展開し易くないかもしくはそれは安泰だということはないかもしくはどちらもであるとしたらそれは人間っぽくない
事実5: 「あの手形法はひょろ長くないが御若い」ということは成り立つということはない
事実6: もしもとある物が振り乱さないならばそれは展開し易くないかもしくはそれは安泰でないかあるいは両方ともである
事実7: 惨たらしくない物は履き違えるし加えてスエズ運河である
事実8: あの手形法が勢力下であるとするとその講釈師は御若い
事実9: その講釈師はスウェーデン国王であるがしかし日本重化でないとすると振り乱さない
事実10: この海賊停止令が短絡路だということはないとすればあの一市は惨たらしくない
事実11: もしこの海賊停止令が惨たらしいとするとあの一市は惨たらしくない
事実12: もしもあの資本主義社会が廃坑でないならばこの海賊停止令は惨たらしいかあるいはそれは短絡路でない
事実13: もしあの手形法が勢力下でないがひょろ長いとしたらそれは人間っぽい
事実14: 人間っぽくないものは御若くないし押し続けない
事実15: もし仮に「あの手形法は勢力下でないがひょろ長い」ということは偽であるならその講釈師は御若い
事実16: もし仮にあの一市が惨たらしいということはないとしたらその講釈師は惨たらしくない
事実17: 仮になにがしかのものが勢力下でないけどそれがひょろ長いならそれは人間っぽい
事実18: もしもとある物が勢力下でないけれどひょろ長いとすればそれは人間っぽくない
事実19: 「あの手形法は勢力下だしひょろ長い」ということは事実と異なる
事実20: 「「廃坑だけれど凍結保存しない」ということは間違いである」物はある
事実21: あの手形法は勢力下であるしひょろ長いならそれは人間っぽくない

仮説: 「もしもあの手形法は人間っぽいならば「その講釈師は御若い」ということは成り立つ」ということは真実でない
1. 事実18から、推論1: "もしもあの手形法は勢力下であるということはない一方でひょろ長いとすればそれは人間っぽいということはない"が導かれる
2. 仮定2: 以下のように仮定する。あの手形法は勢力下でないけどひょろ長い
3. 推論1と仮定2から、推論2: "あの手形法は人間っぽくない"が導かれる
4. 仮定1: 以下のように仮定する。あの手形法は人間っぽい
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "「あの手形法は勢力下でない一方でそれはひょろ長い」ということは間違いである"が導かれる
7. 推論4と事実15から、推論5: "その講釈師は御若い"が導かれる
8. [仮定1]と推論5から、仮説が否定される

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