その物流専業機関は踊り続けないかあるいは女系社会でないかあるいは両方ともだ
fact1: もしもとあるものは歩み掛けるとしたら「それは踊り続けるかあるいは女系社会でないかもしくは両方である」ということは本当だ fact2: 仮にとある物は遣り辛くないかあるいは歩み掛けるかまたは両方であるならば歩み掛ける fact3: もし何かは第三順位者でないならば女系社会だ fact4: もし仮にその物流専業機関が煩くないしおまけにそれが痛めないならそれは第三順位者でない fact5: なにがしかの物は第三順位者であるということはないとすれば「踊り続けないかもしくは女系社会でないか両方ともである」ということは成り立たない fact6: 仮にその物流専業機関は第三順位者でないとすると女系社会である fact7: 仮に「この押しは遣り辛くないがしかしＰＴエッチ分泌である」ということは間違いであるとすると「ＰＴエッチ分泌であるということはない」ということは確かである fact8: その物流専業機関は女系社会である fact9: その物流専業機関は煩くないし更に痛めない fact10: もしなにかは女系社会でないなら第三順位者でない
fact4 & fact9 -> int1: その物流専業機関は第三順位者でない; fact5 -> int2: 「もし「その物流専業機関は第三順位者でない」ということは事実だとすれば「その物流専業機関は踊り続けないかもしくは女系社会でないかまたは両方ともである」ということは誤りである」ということは成り立つ; int1 & int2 -> hypothesis;
fact4 & fact9 -> int1: ¬{B}{a}; fact5 -> int2: ¬{B}{a} -> ¬(¬{C}{a} v ¬{A}{a}); int1 & int2 -> hypothesis;
その物流専業機関は踊り続けないかもしくはそれは女系社会であるということはないか両方だ
$facts$ = fact1: もしもとあるものは歩み掛けるとしたら「それは踊り続けるかあるいは女系社会でないかもしくは両方である」ということは本当だ fact2: 仮にとある物は遣り辛くないかあるいは歩み掛けるかまたは両方であるならば歩み掛ける fact3: もし何かは第三順位者でないならば女系社会だ fact4: もし仮にその物流専業機関が煩くないしおまけにそれが痛めないならそれは第三順位者でない fact5: なにがしかの物は第三順位者であるということはないとすれば「踊り続けないかもしくは女系社会でないか両方ともである」ということは成り立たない fact6: 仮にその物流専業機関は第三順位者でないとすると女系社会である fact7: 仮に「この押しは遣り辛くないがしかしＰＴエッチ分泌である」ということは間違いであるとすると「ＰＴエッチ分泌であるということはない」ということは確かである fact8: その物流専業機関は女系社会である fact9: その物流専業機関は煩くないし更に痛めない fact10: もしなにかは女系社会でないなら第三順位者でない ; $hypothesis$ = その物流専業機関は踊り続けないかあるいは女系社会でないかあるいは両方ともだ ; $proof$ = 
fact4 & fact9 -> int1: その物流専業機関は第三順位者でない; fact5 -> int2: 「もし「その物流専業機関は第三順位者でない」ということは事実だとすれば「その物流専業機関は踊り続けないかもしくは女系社会でないかまたは両方ともである」ということは誤りである」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもとあるものは歩み掛けるとしたら「それは踊り続けるかあるいは女系社会でないかもしくは両方である」ということは本当だ
事実2: 仮にとある物は遣り辛くないかあるいは歩み掛けるかまたは両方であるならば歩み掛ける
事実3: もし何かは第三順位者でないならば女系社会だ
事実4: もし仮にその物流専業機関が煩くないしおまけにそれが痛めないならそれは第三順位者でない
事実5: なにがしかの物は第三順位者であるということはないとすれば「踊り続けないかもしくは女系社会でないか両方ともである」ということは成り立たない
事実6: 仮にその物流専業機関は第三順位者でないとすると女系社会である
事実7: 仮に「この押しは遣り辛くないがしかしＰＴエッチ分泌である」ということは間違いであるとすると「ＰＴエッチ分泌であるということはない」ということは確かである
事実8: その物流専業機関は女系社会である
事実9: その物流専業機関は煩くないし更に痛めない
事実10: もしなにかは女系社会でないなら第三順位者でない

仮説: その物流専業機関は踊り続けないかあるいは女系社会でないかあるいは両方ともだ
1. 事実4と事実9から、推論1: "その物流専業機関は第三順位者でない"が導かれる
2. 事実5から、推論2: "「もし「その物流専業機関は第三順位者でない」ということは事実だとすれば「その物流専業機関は踊り続けないかもしくは女系社会でないかまたは両方ともである」ということは誤りである」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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