「あの日本初は気高しない一方でそれはカテゴリー間である」ということは成り立たない
fact1: もし仮に「その別記様式は二レーザーである」ということは事実だとすれば「あの同病相は優良担保だ」ということは正しい fact2: その別記様式は二レーザーである fact3: あるものは二レーザーでないならば「「多くないかもしくは演算出来ないかもしくはどちらもだ」ということは成り立つ」ということは確かでない fact4: 仮に「なんらかのものは滑り易くないが積分する」ということは成り立つということはないとしたらそれは笑い皺である fact5: あの日本初は優良担保でないとすると「このレディーは見え易くない一方でそれはカテゴリー間だ」ということは成り立つということはない fact6: もし仮に「とあるものは積分しない一方で二レーザーである」ということは成り立たないとするとそれはカテゴリー間である fact7: 笑い皺は気高しない fact8: もしもあの日本初は笑い皺であるならば「気高しない」ということは成り立つ fact9: もし仮に「「「見え易くないかまたは優良担保でないかまたはどちらもである」ということは成り立つ」ということは成り立たない」ものがあるとしたらそのぴか一は推知するということはない fact10: 仮に「あの日本初は滑り易い」ということは本当なら「笑い皺である」ということは確かである fact11: もしもそのぴか一は推知しないとすると「あの日本初は滑り易くないがしかし積分する」ということは成り立つということはない fact12: 何らかのものは優良担保でないならば二レーザーでない fact13: もしあの同病相が優良担保であるとしたらこのレディーは優良担保である fact14: 仮に「その別記様式は二レーザーであるということはない」ということは正しいとすると「あの日本初は気高しないけれどカテゴリー間である」ということは偽である fact15: あの同病相は優良担保であるとしたら「このレディーは見え易くないかもしくは優良担保でないかどちらもである」ということは成り立たない fact16: このレディーは滑り易い fact17: 笑い皺は気高しということはないけれどカテゴリー間だ
fact1 & fact2 -> int1: あの同病相は優良担保である; int1 & fact15 -> int2: 「このレディーは見え易くないかまたはそれは優良担保でないかまたはどちらもだ」ということは事実と異なる; int2 -> int3: 「「見え易くないか優良担保でない」ということは事実と異なる」ものはある; int3 & fact9 -> int4: そのぴか一は推知しない; int4 & fact11 -> int5: 「あの日本初は滑り易くないけど積分する」ということは間違っている; fact4 -> int6: もし「あの日本初は滑り易いということはないけどそれは積分する」ということは成り立たないならばそれは笑い皺だ; int5 & int6 -> int7: あの日本初は笑い皺である; fact17 -> int8: 「もしあの日本初が笑い皺ならあの日本初は気高しないけれどカテゴリー間である」ということは真実である; int7 & int8 -> hypothesis;
「あの日本初は気高しということはないがしかしカテゴリー間だ」ということは事実と異なる
fact19 -> int9: 仮にその別記様式は優良担保でないとすれば「それは二レーザーでない」ということは本当である;
$facts$ = fact1: もし仮に「その別記様式は二レーザーである」ということは事実だとすれば「あの同病相は優良担保だ」ということは正しい fact2: その別記様式は二レーザーである fact3: あるものは二レーザーでないならば「「多くないかもしくは演算出来ないかもしくはどちらもだ」ということは成り立つ」ということは確かでない fact4: 仮に「なんらかのものは滑り易くないが積分する」ということは成り立つということはないとしたらそれは笑い皺である fact5: あの日本初は優良担保でないとすると「このレディーは見え易くない一方でそれはカテゴリー間だ」ということは成り立つということはない fact6: もし仮に「とあるものは積分しない一方で二レーザーである」ということは成り立たないとするとそれはカテゴリー間である fact7: 笑い皺は気高しない fact8: もしもあの日本初は笑い皺であるならば「気高しない」ということは成り立つ fact9: もし仮に「「「見え易くないかまたは優良担保でないかまたはどちらもである」ということは成り立つ」ということは成り立たない」ものがあるとしたらそのぴか一は推知するということはない fact10: 仮に「あの日本初は滑り易い」ということは本当なら「笑い皺である」ということは確かである fact11: もしもそのぴか一は推知しないとすると「あの日本初は滑り易くないがしかし積分する」ということは成り立つということはない fact12: 何らかのものは優良担保でないならば二レーザーでない fact13: もしあの同病相が優良担保であるとしたらこのレディーは優良担保である fact14: 仮に「その別記様式は二レーザーであるということはない」ということは正しいとすると「あの日本初は気高しないけれどカテゴリー間である」ということは偽である fact15: あの同病相は優良担保であるとしたら「このレディーは見え易くないかもしくは優良担保でないかどちらもである」ということは成り立たない fact16: このレディーは滑り易い fact17: 笑い皺は気高しということはないけれどカテゴリー間だ ; $hypothesis$ = 「あの日本初は気高しない一方でそれはカテゴリー間である」ということは成り立たない ; $proof$ = 
fact1 & fact2 -> int1: あの同病相は優良担保である; int1 & fact15 -> int2: 「このレディーは見え易くないかまたはそれは優良担保でないかまたはどちらもだ」ということは事実と異なる; int2 -> int3: 「「見え易くないか優良担保でない」ということは事実と異なる」ものはある; int3 & fact9 -> int4: そのぴか一は推知しない; int4 & fact11 -> int5: 「あの日本初は滑り易くないけど積分する」ということは間違っている; fact4 -> int6: もし「あの日本初は滑り易いということはないけどそれは積分する」ということは成り立たないならばそれは笑い皺だ; int5 & int6 -> int7: あの日本初は笑い皺である; fact17 -> int8: 「もしあの日本初が笑い皺ならあの日本初は気高しないけれどカテゴリー間である」ということは真実である; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もし仮に「その別記様式は二レーザーである」ということは事実だとすれば「あの同病相は優良担保だ」ということは正しい
事実2: その別記様式は二レーザーである
事実3: あるものは二レーザーでないならば「「多くないかもしくは演算出来ないかもしくはどちらもだ」ということは成り立つ」ということは確かでない
事実4: 仮に「なんらかのものは滑り易くないが積分する」ということは成り立つということはないとしたらそれは笑い皺である
事実5: あの日本初は優良担保でないとすると「このレディーは見え易くない一方でそれはカテゴリー間だ」ということは成り立つということはない
事実6: もし仮に「とあるものは積分しない一方で二レーザーである」ということは成り立たないとするとそれはカテゴリー間である
事実7: 笑い皺は気高しない
事実8: もしもあの日本初は笑い皺であるならば「気高しない」ということは成り立つ
事実9: もし仮に「「「見え易くないかまたは優良担保でないかまたはどちらもである」ということは成り立つ」ということは成り立たない」ものがあるとしたらそのぴか一は推知するということはない
事実10: 仮に「あの日本初は滑り易い」ということは本当なら「笑い皺である」ということは確かである
事実11: もしもそのぴか一は推知しないとすると「あの日本初は滑り易くないがしかし積分する」ということは成り立つということはない
事実12: 何らかのものは優良担保でないならば二レーザーでない
事実13: もしあの同病相が優良担保であるとしたらこのレディーは優良担保である
事実14: 仮に「その別記様式は二レーザーであるということはない」ということは正しいとすると「あの日本初は気高しないけれどカテゴリー間である」ということは偽である
事実15: あの同病相は優良担保であるとしたら「このレディーは見え易くないかもしくは優良担保でないかどちらもである」ということは成り立たない
事実16: このレディーは滑り易い
事実17: 笑い皺は気高しということはないけれどカテゴリー間だ

仮説: 「あの日本初は気高しない一方でそれはカテゴリー間である」ということは成り立たない
1. 事実1と事実2から、推論1: "あの同病相は優良担保である"が導かれる
2. 推論1と事実15から、推論2: "「このレディーは見え易くないかまたはそれは優良担保でないかまたはどちらもだ」ということは事実と異なる"が導かれる
3. 推論2から、推論3: "「「見え易くないか優良担保でない」ということは事実と異なる」ものはある"が導かれる
4. 推論3と事実9から、推論4: "そのぴか一は推知しない"が導かれる
5. 推論4と事実11から、推論5: "「あの日本初は滑り易くないけど積分する」ということは間違っている"が導かれる
6. 事実4から、推論6: "もし「あの日本初は滑り易いということはないけどそれは積分する」ということは成り立たないならばそれは笑い皺だ"が導かれる
7. 推論5と推論6から、推論7: "あの日本初は笑い皺である"が導かれる
8. 事実17から、推論8: "「もしあの日本初が笑い皺ならあの日本初は気高しないけれどカテゴリー間である」ということは真実である"が導かれる
9. 推論7と推論8から、仮説が否定される

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