あの半値幅は切断しない
fact1: もし仮に「とある物は苦悩しない一方でそれは繰り戻す」ということは成り立たないとすると「切断する」ということは成り立つ fact2: 「もし仮に「「苦悩しなくてしかも著しいということはない」ということは間違いである」ものがあるとしたらこの製菓用は苦悩する」ということは真実である fact3: もし仮にそのミラノ蜂起は著しかないとすると「あの半値幅は切断するがしかし置き易くない」ということは本当でない fact4: 「「あの半値幅はちっちゃいしそれは書き起こす」ということは事実である」ということは誤っている fact5: あの半値幅は置き易い fact6: もしもこの中間段階は易しいとすると「それは地震動だし切断する」ということは成り立たない fact7: 「もし「何かはマッチングしないけど留め置く」ということは真実でないならば吸い続ける」ということは本当である fact8: もし「あの半値幅は痛ましい」ということは真実であるとすると「切断しないが繰り戻す」ということは事実でない fact9: 「この職人技は止血するしさらに切断する」ということは成り立たない fact10: もし「あの大作戦は継ぎ合わせないがしかしレディさんである」ということは真実でないならばそれは苦悩する fact11: もし仮に何らかの物は著しいとしたら「苦悩しなくて加えて繰り戻す」ということは嘘である fact12: 「あの半値幅は苦悩するし繰り戻す」ということは成り立たない fact13: もし「あのＭＸ法は四角くない一方で不可侵条約である」ということは間違いであるとすれば「され易い」ということは成り立つ fact14: もしもあの半値幅が置き易いとすれば著しい fact15: もしとある物が著しいなら置き易い
fact14 & fact5 -> int1: あの半値幅は著しい; fact11 -> int2: もしも「あの半値幅は著しい」ということは事実だとすると「それは苦悩しないが繰り戻す」ということは成り立たない; int1 & int2 -> int3: 「あの半値幅は苦悩しないけど繰り戻す」ということは間違いだ; fact1 -> int4: 「あの半値幅は苦悩しないが繰り戻す」ということは成り立たないとすれば「切断する」ということは成り立つ; int3 & int4 -> hypothesis;
fact14 & fact5 -> int1: {B}{a}; fact11 -> int2: {B}{a} -> ¬(¬{D}{a} & {C}{a}); int1 & int2 -> int3: ¬(¬{D}{a} & {C}{a}); fact1 -> int4: ¬(¬{D}{a} & {C}{a}) -> {E}{a}; int3 & int4 -> hypothesis;
この製菓用は苦悩する
$facts$ = fact1: もし仮に「とある物は苦悩しない一方でそれは繰り戻す」ということは成り立たないとすると「切断する」ということは成り立つ fact2: 「もし仮に「「苦悩しなくてしかも著しいということはない」ということは間違いである」ものがあるとしたらこの製菓用は苦悩する」ということは真実である fact3: もし仮にそのミラノ蜂起は著しかないとすると「あの半値幅は切断するがしかし置き易くない」ということは本当でない fact4: 「「あの半値幅はちっちゃいしそれは書き起こす」ということは事実である」ということは誤っている fact5: あの半値幅は置き易い fact6: もしもこの中間段階は易しいとすると「それは地震動だし切断する」ということは成り立たない fact7: 「もし「何かはマッチングしないけど留め置く」ということは真実でないならば吸い続ける」ということは本当である fact8: もし「あの半値幅は痛ましい」ということは真実であるとすると「切断しないが繰り戻す」ということは事実でない fact9: 「この職人技は止血するしさらに切断する」ということは成り立たない fact10: もし「あの大作戦は継ぎ合わせないがしかしレディさんである」ということは真実でないならばそれは苦悩する fact11: もし仮に何らかの物は著しいとしたら「苦悩しなくて加えて繰り戻す」ということは嘘である fact12: 「あの半値幅は苦悩するし繰り戻す」ということは成り立たない fact13: もし「あのＭＸ法は四角くない一方で不可侵条約である」ということは間違いであるとすれば「され易い」ということは成り立つ fact14: もしもあの半値幅が置き易いとすれば著しい fact15: もしとある物が著しいなら置き易い ; $hypothesis$ = あの半値幅は切断しない ; $proof$ = 
fact14 & fact5 -> int1: あの半値幅は著しい; fact11 -> int2: もしも「あの半値幅は著しい」ということは事実だとすると「それは苦悩しないが繰り戻す」ということは成り立たない; int1 & int2 -> int3: 「あの半値幅は苦悩しないけど繰り戻す」ということは間違いだ; fact1 -> int4: 「あの半値幅は苦悩しないが繰り戻す」ということは成り立たないとすれば「切断する」ということは成り立つ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「とある物は苦悩しない一方でそれは繰り戻す」ということは成り立たないとすると「切断する」ということは成り立つ
事実2: 「もし仮に「「苦悩しなくてしかも著しいということはない」ということは間違いである」ものがあるとしたらこの製菓用は苦悩する」ということは真実である
事実3: もし仮にそのミラノ蜂起は著しかないとすると「あの半値幅は切断するがしかし置き易くない」ということは本当でない
事実4: 「「あの半値幅はちっちゃいしそれは書き起こす」ということは事実である」ということは誤っている
事実5: あの半値幅は置き易い
事実6: もしもこの中間段階は易しいとすると「それは地震動だし切断する」ということは成り立たない
事実7: 「もし「何かはマッチングしないけど留め置く」ということは真実でないならば吸い続ける」ということは本当である
事実8: もし「あの半値幅は痛ましい」ということは真実であるとすると「切断しないが繰り戻す」ということは事実でない
事実9: 「この職人技は止血するしさらに切断する」ということは成り立たない
事実10: もし「あの大作戦は継ぎ合わせないがしかしレディさんである」ということは真実でないならばそれは苦悩する
事実11: もし仮に何らかの物は著しいとしたら「苦悩しなくて加えて繰り戻す」ということは嘘である
事実12: 「あの半値幅は苦悩するし繰り戻す」ということは成り立たない
事実13: もし「あのＭＸ法は四角くない一方で不可侵条約である」ということは間違いであるとすれば「され易い」ということは成り立つ
事実14: もしもあの半値幅が置き易いとすれば著しい
事実15: もしとある物が著しいなら置き易い

仮説: あの半値幅は切断しない
1. 事実14と事実5から、推論1: "あの半値幅は著しい"が導かれる
2. 事実11から、推論2: "もしも「あの半値幅は著しい」ということは事実だとすると「それは苦悩しないが繰り戻す」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「あの半値幅は苦悩しないけど繰り戻す」ということは間違いだ"が導かれる
4. 事実1から、推論4: "「あの半値幅は苦悩しないが繰り戻す」ということは成り立たないとすれば「切断する」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が否定される

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