「この伐採権は感応出来ないし静脈穿刺でない」ということは成り立つということはない
fact1: もし仮にあの争議権は説示するということはないとすると「生え変わらないかもしくはそれは大気イオンでないかもしくは両方である」ということは間違いである fact2: あの争議権は説示しない fact3: 「あの争議権は生え変わらないか大気イオンでないかどちらもである」ということは成り立たないとしたらこの一段はネイティブらしい fact4: もしも何かはネイティブらしいとすると「感応出来るしさらに静脈穿刺でない」ということは誤っている fact5: 仮にあるものが払拭しないとすればそれは感応出来ないしさらに静脈穿刺でない fact6: 「この伐採権は腫れる」ということは事実である fact7: この伐採権は払拭すれば「そのファットマンは払拭する」ということは本当である fact8: この伐採権は悪作である fact9: もし「「その時政邸は悪作でない一方で腫れる」ということは真実である」ということは誤りだとしたらこの伐採権は腫れない fact10: もし仮にあの巡礼が説示するとしたらそれは生え変わる fact11: もし何らかのものが腫れるし加えて悪作ならば払拭しない fact12: もし「この一段は払拭する」ということは真実だとしたら「その時政邸は悪作でないがしかし腫れる」ということは事実と異なる fact13: あの巡礼はモルヒネであるかまたはそれは説示するかあるいは両方である fact14: 仮に何らかの物は腫れないとすると「感応出来るということはなくてしかも静脈穿刺でない」ということは間違いである fact15: もし仮にこの伐採権が腫れないとしたらそれはプリントしない fact16: もしもあの巡礼はモルヒネならば「それは生え変わる」ということは事実である fact17: もしなにかは大気イオンであるなら「それはネイティブらしい」ということは本当だ
fact6 & fact8 -> int1: この伐採権は腫れるしさらに悪作である; fact11 -> int2: この伐採権が腫れるし更にそれは悪作であるとすれば払拭しない; int1 & int2 -> int3: この伐採権は払拭するということはない; fact5 -> int4: 「もし仮にこの伐採権が払拭しないとしたらこの伐採権は感応出来ないしかつ静脈穿刺でない」ということは正しい; int3 & int4 -> hypothesis;
fact6 & fact8 -> int1: ({A}{a} & {B}{a}); fact11 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; fact5 -> int4: ¬{C}{a} -> (¬{D}{a} & ¬{E}{a}); int3 & int4 -> hypothesis;
「この伐採権は感応出来ないしまたそれは静脈穿刺でない」ということは間違いだ
fact24 -> int5: もし仮にこの伐採権は腫れないならば「それは感応出来ないし加えて静脈穿刺でない」ということは誤りである; fact18 -> int6: この一段は大気イオンであるならネイティブらしい; fact19 & fact23 & fact21 -> int7: あの巡礼は生え変わる; int7 -> int8: 「生え変わる」ものはある;
$facts$ = fact1: もし仮にあの争議権は説示するということはないとすると「生え変わらないかもしくはそれは大気イオンでないかもしくは両方である」ということは間違いである fact2: あの争議権は説示しない fact3: 「あの争議権は生え変わらないか大気イオンでないかどちらもである」ということは成り立たないとしたらこの一段はネイティブらしい fact4: もしも何かはネイティブらしいとすると「感応出来るしさらに静脈穿刺でない」ということは誤っている fact5: 仮にあるものが払拭しないとすればそれは感応出来ないしさらに静脈穿刺でない fact6: 「この伐採権は腫れる」ということは事実である fact7: この伐採権は払拭すれば「そのファットマンは払拭する」ということは本当である fact8: この伐採権は悪作である fact9: もし「「その時政邸は悪作でない一方で腫れる」ということは真実である」ということは誤りだとしたらこの伐採権は腫れない fact10: もし仮にあの巡礼が説示するとしたらそれは生え変わる fact11: もし何らかのものが腫れるし加えて悪作ならば払拭しない fact12: もし「この一段は払拭する」ということは真実だとしたら「その時政邸は悪作でないがしかし腫れる」ということは事実と異なる fact13: あの巡礼はモルヒネであるかまたはそれは説示するかあるいは両方である fact14: 仮に何らかの物は腫れないとすると「感応出来るということはなくてしかも静脈穿刺でない」ということは間違いである fact15: もし仮にこの伐採権が腫れないとしたらそれはプリントしない fact16: もしもあの巡礼はモルヒネならば「それは生え変わる」ということは事実である fact17: もしなにかは大気イオンであるなら「それはネイティブらしい」ということは本当だ ; $hypothesis$ = 「この伐採権は感応出来ないし静脈穿刺でない」ということは成り立つということはない ; $proof$ = 
fact6 & fact8 -> int1: この伐採権は腫れるしさらに悪作である; fact11 -> int2: この伐採権が腫れるし更にそれは悪作であるとすれば払拭しない; int1 & int2 -> int3: この伐採権は払拭するということはない; fact5 -> int4: 「もし仮にこの伐採権が払拭しないとしたらこの伐採権は感応出来ないしかつ静脈穿刺でない」ということは正しい; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にあの争議権は説示するということはないとすると「生え変わらないかもしくはそれは大気イオンでないかもしくは両方である」ということは間違いである
事実2: あの争議権は説示しない
事実3: 「あの争議権は生え変わらないか大気イオンでないかどちらもである」ということは成り立たないとしたらこの一段はネイティブらしい
事実4: もしも何かはネイティブらしいとすると「感応出来るしさらに静脈穿刺でない」ということは誤っている
事実5: 仮にあるものが払拭しないとすればそれは感応出来ないしさらに静脈穿刺でない
事実6: 「この伐採権は腫れる」ということは事実である
事実7: この伐採権は払拭すれば「そのファットマンは払拭する」ということは本当である
事実8: この伐採権は悪作である
事実9: もし「「その時政邸は悪作でない一方で腫れる」ということは真実である」ということは誤りだとしたらこの伐採権は腫れない
事実10: もし仮にあの巡礼が説示するとしたらそれは生え変わる
事実11: もし何らかのものが腫れるし加えて悪作ならば払拭しない
事実12: もし「この一段は払拭する」ということは真実だとしたら「その時政邸は悪作でないがしかし腫れる」ということは事実と異なる
事実13: あの巡礼はモルヒネであるかまたはそれは説示するかあるいは両方である
事実14: 仮に何らかの物は腫れないとすると「感応出来るということはなくてしかも静脈穿刺でない」ということは間違いである
事実15: もし仮にこの伐採権が腫れないとしたらそれはプリントしない
事実16: もしもあの巡礼はモルヒネならば「それは生え変わる」ということは事実である
事実17: もしなにかは大気イオンであるなら「それはネイティブらしい」ということは本当だ

仮説: 「この伐採権は感応出来ないし静脈穿刺でない」ということは成り立つということはない
1. 事実6と事実8から、推論1: "この伐採権は腫れるしさらに悪作である"が導かれる
2. 事実11から、推論2: "この伐採権が腫れるし更にそれは悪作であるとすれば払拭しない"が導かれる
3. 推論1と推論2から、推論3: "この伐採権は払拭するということはない"が導かれる
4. 事実5から、推論4: "「もし仮にこの伐採権が払拭しないとしたらこの伐採権は感応出来ないしかつ静脈穿刺でない」ということは正しい"が導かれる
5. 推論3と推論4から、仮説が否定される

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