「「有意傾向であるしさらにナノディスクな」物はある」ということは事実と異なる
fact1: 何かは上級であるかもしくはそれは捌ける fact2: もし仮に「上級である」物はあるとすれば「あの名月は捌ける」ということは嘘でない fact3: 仮にあるものが捌けるとすればナノディスクであるということはなくてまたそれは切り易い fact4: 「仮に「そのアート関係は冷たい」ということは真実だとしたら「この過剰防衛はデイトレードする一方で肋骨骨折でない」ということは本当でない」ということは成り立つ fact5: あの数発は切り易い fact6: この過剰防衛は説得する fact7: もしもあの名月がむず痒くないが切り易いとすればそのアート関係はむず痒い fact8: 仮にこの過剰防衛はナノディスクであるとすると「あの名月はデイトレードするがしかし捌けない」ということは本当でない fact9: あの名月は冷たい fact10: そのバルサミコ酢は出入りし易い fact11: あの快速は肋骨骨折である fact12: もし仮に「この過剰防衛はナノディスクである」ということは成り立つとしたら「あの名月は切り易いけどデイトレードしない」ということは嘘である fact13: むず痒い物はナノディスクでないけど有意傾向である fact14: 仮に何らかのものが御背だとすればそれは出来難い fact15: もし仮になにがしかの物がむず痒いとすれば冷たい fact16: もしもあの名月は捌けるとすれば「この過剰防衛はナノディスクであるし切り易い」ということは成り立つということはない fact17: もしも「上級であるか捌けるかあるいはどちらもな」物があるとすればあの名月は捌ける fact18: なにがしかの物はむず痒いかあるいは有意傾向であるかあるいは両方ともである fact19: 「仮に「「あるものはデイトレードするがそれは肋骨骨折でない」ということは本当である」ということは間違いであるとすると有意傾向だ」ということは成り立つ fact20: 「もし仮に「なんらかのものは起算するけど遠くない」ということは真実でないとすれば「それは相当因果関係だ」ということは真実である」ということは真実だ fact21: あの名月がナノディスクだということはないけれど切り易いとするとこの過剰防衛はナノディスクである fact22: もし「「あの名月は切り易いけどむず痒くない」ということは確かである」ということは偽であるとしたらそれはデイトレードする fact23: そのアート関係はしがない fact24: 「むず痒い」物はある fact25: そのアート関係はむず痒いし冷たい
fact25 -> int1: そのアート関係は冷たい; int1 & fact4 -> int2: 「「この過剰防衛はデイトレードするが肋骨骨折でない」ということは偽である」ということは成り立つ; fact19 -> int3: 「「この過剰防衛はデイトレードするがしかし肋骨骨折でない」ということは間違っている」ということは本当であるなら有意傾向だ; int2 & int3 -> int4: この過剰防衛は有意傾向である; fact1 & fact17 -> int5: 「あの名月は捌ける」ということは事実だ; fact3 -> int6: 仮に「あの名月は捌ける」ということは成り立てばそれはナノディスクでなくてしかも切り易い; int5 & int6 -> int7: あの名月はナノディスクでないけれど切り易い; int7 & fact21 -> int8: この過剰防衛はナノディスクだ; int4 & int8 -> int9: この過剰防衛は有意傾向だしそれにナノディスクだ; int9 -> hypothesis;
$facts$ = fact1: 何かは上級であるかもしくはそれは捌ける fact2: もし仮に「上級である」物はあるとすれば「あの名月は捌ける」ということは嘘でない fact3: 仮にあるものが捌けるとすればナノディスクであるということはなくてまたそれは切り易い fact4: 「仮に「そのアート関係は冷たい」ということは真実だとしたら「この過剰防衛はデイトレードする一方で肋骨骨折でない」ということは本当でない」ということは成り立つ fact5: あの数発は切り易い fact6: この過剰防衛は説得する fact7: もしもあの名月がむず痒くないが切り易いとすればそのアート関係はむず痒い fact8: 仮にこの過剰防衛はナノディスクであるとすると「あの名月はデイトレードするがしかし捌けない」ということは本当でない fact9: あの名月は冷たい fact10: そのバルサミコ酢は出入りし易い fact11: あの快速は肋骨骨折である fact12: もし仮に「この過剰防衛はナノディスクである」ということは成り立つとしたら「あの名月は切り易いけどデイトレードしない」ということは嘘である fact13: むず痒い物はナノディスクでないけど有意傾向である fact14: 仮に何らかのものが御背だとすればそれは出来難い fact15: もし仮になにがしかの物がむず痒いとすれば冷たい fact16: もしもあの名月は捌けるとすれば「この過剰防衛はナノディスクであるし切り易い」ということは成り立つということはない fact17: もしも「上級であるか捌けるかあるいはどちらもな」物があるとすればあの名月は捌ける fact18: なにがしかの物はむず痒いかあるいは有意傾向であるかあるいは両方ともである fact19: 「仮に「「あるものはデイトレードするがそれは肋骨骨折でない」ということは本当である」ということは間違いであるとすると有意傾向だ」ということは成り立つ fact20: 「もし仮に「なんらかのものは起算するけど遠くない」ということは真実でないとすれば「それは相当因果関係だ」ということは真実である」ということは真実だ fact21: あの名月がナノディスクだということはないけれど切り易いとするとこの過剰防衛はナノディスクである fact22: もし「「あの名月は切り易いけどむず痒くない」ということは確かである」ということは偽であるとしたらそれはデイトレードする fact23: そのアート関係はしがない fact24: 「むず痒い」物はある fact25: そのアート関係はむず痒いし冷たい ; $hypothesis$ = 「「有意傾向であるしさらにナノディスクな」物はある」ということは事実と異なる ; $proof$ = 
fact25 -> int1: そのアート関係は冷たい; int1 & fact4 -> int2: 「「この過剰防衛はデイトレードするが肋骨骨折でない」ということは偽である」ということは成り立つ; fact19 -> int3: 「「この過剰防衛はデイトレードするがしかし肋骨骨折でない」ということは間違っている」ということは本当であるなら有意傾向だ; int2 & int3 -> int4: この過剰防衛は有意傾向である; fact1 & fact17 -> int5: 「あの名月は捌ける」ということは事実だ; fact3 -> int6: 仮に「あの名月は捌ける」ということは成り立てばそれはナノディスクでなくてしかも切り易い; int5 & int6 -> int7: あの名月はナノディスクでないけれど切り易い; int7 & fact21 -> int8: この過剰防衛はナノディスクだ; int4 & int8 -> int9: この過剰防衛は有意傾向だしそれにナノディスクだ; int9 -> hypothesis; __DISPROVED__
事実1: 何かは上級であるかもしくはそれは捌ける
事実2: もし仮に「上級である」物はあるとすれば「あの名月は捌ける」ということは嘘でない
事実3: 仮にあるものが捌けるとすればナノディスクであるということはなくてまたそれは切り易い
事実4: 「仮に「そのアート関係は冷たい」ということは真実だとしたら「この過剰防衛はデイトレードする一方で肋骨骨折でない」ということは本当でない」ということは成り立つ
事実5: あの数発は切り易い
事実6: この過剰防衛は説得する
事実7: もしもあの名月がむず痒くないが切り易いとすればそのアート関係はむず痒い
事実8: 仮にこの過剰防衛はナノディスクであるとすると「あの名月はデイトレードするがしかし捌けない」ということは本当でない
事実9: あの名月は冷たい
事実10: そのバルサミコ酢は出入りし易い
事実11: あの快速は肋骨骨折である
事実12: もし仮に「この過剰防衛はナノディスクである」ということは成り立つとしたら「あの名月は切り易いけどデイトレードしない」ということは嘘である
事実13: むず痒い物はナノディスクでないけど有意傾向である
事実14: 仮に何らかのものが御背だとすればそれは出来難い
事実15: もし仮になにがしかの物がむず痒いとすれば冷たい
事実16: もしもあの名月は捌けるとすれば「この過剰防衛はナノディスクであるし切り易い」ということは成り立つということはない
事実17: もしも「上級であるか捌けるかあるいはどちらもな」物があるとすればあの名月は捌ける
事実18: なにがしかの物はむず痒いかあるいは有意傾向であるかあるいは両方ともである
事実19: 「仮に「「あるものはデイトレードするがそれは肋骨骨折でない」ということは本当である」ということは間違いであるとすると有意傾向だ」ということは成り立つ
事実20: 「もし仮に「なんらかのものは起算するけど遠くない」ということは真実でないとすれば「それは相当因果関係だ」ということは真実である」ということは真実だ
事実21: あの名月がナノディスクだということはないけれど切り易いとするとこの過剰防衛はナノディスクである
事実22: もし「「あの名月は切り易いけどむず痒くない」ということは確かである」ということは偽であるとしたらそれはデイトレードする
事実23: そのアート関係はしがない
事実24: 「むず痒い」物はある
事実25: そのアート関係はむず痒いし冷たい

仮説: 「「有意傾向であるしさらにナノディスクな」物はある」ということは事実と異なる
1. 事実25から、推論1: "そのアート関係は冷たい"が導かれる
2. 推論1と事実4から、推論2: "「「この過剰防衛はデイトレードするが肋骨骨折でない」ということは偽である」ということは成り立つ"が導かれる
3. 事実19から、推論3: "「「この過剰防衛はデイトレードするがしかし肋骨骨折でない」ということは間違っている」ということは本当であるなら有意傾向だ"が導かれる
4. 推論2と推論3から、推論4: "この過剰防衛は有意傾向である"が導かれる
5. 事実1と事実17から、推論5: "「あの名月は捌ける」ということは事実だ"が導かれる
6. 事実3から、推論6: "仮に「あの名月は捌ける」ということは成り立てばそれはナノディスクでなくてしかも切り易い"が導かれる
7. 推論5と推論6から、推論7: "あの名月はナノディスクでないけれど切り易い"が導かれる
8. 推論7と事実21から、推論8: "この過剰防衛はナノディスクだ"が導かれる
9. 推論4と推論8から、推論9: "この過剰防衛は有意傾向だしそれにナノディスクだ"が導かれる
10. 推論9から、仮説が否定される

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