この余儀は出荷しないしそれにそれは踏み締めない
fact1: 調節し易くない物は踏み締めるということはない fact2: 「その神代文字は認定反対債権額だしかつ肺塞栓症診断だ」ということは偽だ fact3: その神代文字が肺塞栓症診断であるとするとあの多寡は調節し易いということはない fact4: 「この余儀は出荷するけど踏み締めない」ということは真実でない fact5: もし仮にあの多寡は踏み締めないならば「この余儀は出荷するけど踏み締めるということはない」ということは成り立たない fact6: 仮になにがしかのものが出荷しないとすると認定反対債権額でない fact7: 仮にあの多寡は踏み締めないとしたら「この余儀が出荷しないしさらにそれは踏み締めない」ということは誤りである fact8: 「「その神代文字は認定反対債権額であるけど肺塞栓症診断でない」ということは成り立たない」ということは真実であるとするとあの多寡は調節し易くない fact9: 「この余儀は倹しかないが踏み締める」ということは偽だ fact10: もし仮になにかは肺塞栓症診断でないならば踏み締めない fact11: もしもあの多寡は踏み締めないならば「この余儀は出荷しない一方で踏み締める」ということは成り立たない fact12: 「その神代文字は認定反対債権額だがそれは肺塞栓症診断でない」ということは間違いだ fact13: 仮にその神代文字がたわいない一方で調節し易くないとするとこの余儀は調節し易くない
fact8 & fact12 -> int1: あの多寡は調節し易くない; fact1 -> int2: あの多寡は調節し易くないとすれば踏み締めない; int1 & int2 -> int3: あの多寡は踏み締めない; int3 & fact7 -> hypothesis;
fact8 & fact12 -> int1: ¬{B}{b}; fact1 -> int2: ¬{B}{b} -> ¬{A}{b}; int1 & int2 -> int3: ¬{A}{b}; int3 & fact7 -> hypothesis;
この余儀は出荷するということはないししかもそれは踏み締めるということはない
$facts$ = fact1: 調節し易くない物は踏み締めるということはない fact2: 「その神代文字は認定反対債権額だしかつ肺塞栓症診断だ」ということは偽だ fact3: その神代文字が肺塞栓症診断であるとするとあの多寡は調節し易いということはない fact4: 「この余儀は出荷するけど踏み締めない」ということは真実でない fact5: もし仮にあの多寡は踏み締めないならば「この余儀は出荷するけど踏み締めるということはない」ということは成り立たない fact6: 仮になにがしかのものが出荷しないとすると認定反対債権額でない fact7: 仮にあの多寡は踏み締めないとしたら「この余儀が出荷しないしさらにそれは踏み締めない」ということは誤りである fact8: 「「その神代文字は認定反対債権額であるけど肺塞栓症診断でない」ということは成り立たない」ということは真実であるとするとあの多寡は調節し易くない fact9: 「この余儀は倹しかないが踏み締める」ということは偽だ fact10: もし仮になにかは肺塞栓症診断でないならば踏み締めない fact11: もしもあの多寡は踏み締めないならば「この余儀は出荷しない一方で踏み締める」ということは成り立たない fact12: 「その神代文字は認定反対債権額だがそれは肺塞栓症診断でない」ということは間違いだ fact13: 仮にその神代文字がたわいない一方で調節し易くないとするとこの余儀は調節し易くない ; $hypothesis$ = この余儀は出荷しないしそれにそれは踏み締めない ; $proof$ = 
fact8 & fact12 -> int1: あの多寡は調節し易くない; fact1 -> int2: あの多寡は調節し易くないとすれば踏み締めない; int1 & int2 -> int3: あの多寡は踏み締めない; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: 調節し易くない物は踏み締めるということはない
事実2: 「その神代文字は認定反対債権額だしかつ肺塞栓症診断だ」ということは偽だ
事実3: その神代文字が肺塞栓症診断であるとするとあの多寡は調節し易いということはない
事実4: 「この余儀は出荷するけど踏み締めない」ということは真実でない
事実5: もし仮にあの多寡は踏み締めないならば「この余儀は出荷するけど踏み締めるということはない」ということは成り立たない
事実6: 仮になにがしかのものが出荷しないとすると認定反対債権額でない
事実7: 仮にあの多寡は踏み締めないとしたら「この余儀が出荷しないしさらにそれは踏み締めない」ということは誤りである
事実8: 「「その神代文字は認定反対債権額であるけど肺塞栓症診断でない」ということは成り立たない」ということは真実であるとするとあの多寡は調節し易くない
事実9: 「この余儀は倹しかないが踏み締める」ということは偽だ
事実10: もし仮になにかは肺塞栓症診断でないならば踏み締めない
事実11: もしもあの多寡は踏み締めないならば「この余儀は出荷しない一方で踏み締める」ということは成り立たない
事実12: 「その神代文字は認定反対債権額だがそれは肺塞栓症診断でない」ということは間違いだ
事実13: 仮にその神代文字がたわいない一方で調節し易くないとするとこの余儀は調節し易くない

仮説: この余儀は出荷しないしそれにそれは踏み締めない
1. 事実8と事実12から、推論1: "あの多寡は調節し易くない"が導かれる
2. 事実1から、推論2: "あの多寡は調節し易くないとすれば踏み締めない"が導かれる
3. 推論1と推論2から、推論3: "あの多寡は踏み締めない"が導かれる
4. 推論3と事実7から、仮説が否定される

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