この仮処分申請は瑞々しくない
fact1: もし「あの性的欲望はしがなくない」ということは本当であるならそれは立項するということはない一方で擦れ違う fact2: 「「上げ続けない」ということは成り立つ」物はある fact3: もしもなんらかの物が有さないならば差し出がましいしそれはぶらつかない fact4: もし仮にこの仮処分申請は上げ続けないとすると「あの星月夜は殴り始めないしまた瑞々しくない」ということは偽である fact5: 「あの性的欲望はむくつけししまたそれはしがない」ということは成り立たない fact6: もしも「なにがしかの物はむくつけししまたしがない」ということは本当でないとすると「しがなくない」ということは確かである fact7: 差し出がましいものは骨っぽい fact8: もしもとある物が立項するということはないけれど擦れ違うとしたらそれは有さない fact9: あの性的欲望は骨っぽいとすると「「このシステム標準は上げ続けないけどそれは忙しい」ということは誤っている」ということは成り立つ fact10: 仮に「上げ続けない」ものはあるとしたら「この仮処分申請は忙しくなくてまた骨っぽくない」ということは真実でない fact11: 仮に「この仮処分申請は忙しくないしそれに骨っぽくない」ということは誤りであるとしたら瑞々しい
fact2 & fact10 -> int1: 「この仮処分申請は忙しくなくて骨っぽいということはない」ということは間違いだ; int1 & fact11 -> hypothesis;
fact2 & fact10 -> int1: ¬(¬{B}{a} & ¬{C}{a}); int1 & fact11 -> hypothesis;
「あの星月夜は殴り始めないしまたそれは瑞々しくない」ということは成り立つということはない
fact13 -> int2: あの性的欲望が差し出がましいならそれは骨っぽい; fact12 -> int3: あの性的欲望が有さないとしたらそれは差し出がましいけどぶらつかない; fact15 -> int4: もしもあの性的欲望が立項しないがしかし擦れ違えばそれは有さない; fact19 -> int5: 仮に「あの性的欲望はむくつけししおまけにそれはしがない」ということは間違いなら「それはしがなくない」ということは確かである; int5 & fact14 -> int6: あの性的欲望はしがなくない; fact18 & int6 -> int7: あの性的欲望は立項しないがしかし擦れ違う; int4 & int7 -> int8: あの性的欲望は有すということはない; int3 & int8 -> int9: あの性的欲望は差し出がましいけれどぶらつかない; int9 -> int10: あの性的欲望は差し出がましい; int2 & int10 -> int11: あの性的欲望は骨っぽい; fact17 & int11 -> int12: 「このシステム標準は上げ続けないけどそれは忙しい」ということは成り立たない;
$facts$ = fact1: もし「あの性的欲望はしがなくない」ということは本当であるならそれは立項するということはない一方で擦れ違う fact2: 「「上げ続けない」ということは成り立つ」物はある fact3: もしもなんらかの物が有さないならば差し出がましいしそれはぶらつかない fact4: もし仮にこの仮処分申請は上げ続けないとすると「あの星月夜は殴り始めないしまた瑞々しくない」ということは偽である fact5: 「あの性的欲望はむくつけししまたそれはしがない」ということは成り立たない fact6: もしも「なにがしかの物はむくつけししまたしがない」ということは本当でないとすると「しがなくない」ということは確かである fact7: 差し出がましいものは骨っぽい fact8: もしもとある物が立項するということはないけれど擦れ違うとしたらそれは有さない fact9: あの性的欲望は骨っぽいとすると「「このシステム標準は上げ続けないけどそれは忙しい」ということは誤っている」ということは成り立つ fact10: 仮に「上げ続けない」ものはあるとしたら「この仮処分申請は忙しくなくてまた骨っぽくない」ということは真実でない fact11: 仮に「この仮処分申請は忙しくないしそれに骨っぽくない」ということは誤りであるとしたら瑞々しい ; $hypothesis$ = この仮処分申請は瑞々しくない ; $proof$ = 
fact2 & fact10 -> int1: 「この仮処分申請は忙しくなくて骨っぽいということはない」ということは間違いだ; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: もし「あの性的欲望はしがなくない」ということは本当であるならそれは立項するということはない一方で擦れ違う
事実2: 「「上げ続けない」ということは成り立つ」物はある
事実3: もしもなんらかの物が有さないならば差し出がましいしそれはぶらつかない
事実4: もし仮にこの仮処分申請は上げ続けないとすると「あの星月夜は殴り始めないしまた瑞々しくない」ということは偽である
事実5: 「あの性的欲望はむくつけししまたそれはしがない」ということは成り立たない
事実6: もしも「なにがしかの物はむくつけししまたしがない」ということは本当でないとすると「しがなくない」ということは確かである
事実7: 差し出がましいものは骨っぽい
事実8: もしもとある物が立項するということはないけれど擦れ違うとしたらそれは有さない
事実9: あの性的欲望は骨っぽいとすると「「このシステム標準は上げ続けないけどそれは忙しい」ということは誤っている」ということは成り立つ
事実10: 仮に「上げ続けない」ものはあるとしたら「この仮処分申請は忙しくなくてまた骨っぽくない」ということは真実でない
事実11: 仮に「この仮処分申請は忙しくないしそれに骨っぽくない」ということは誤りであるとしたら瑞々しい

仮説: この仮処分申請は瑞々しくない
1. 事実2と事実10から、推論1: "「この仮処分申請は忙しくなくて骨っぽいということはない」ということは間違いだ"が導かれる
2. 推論1と事実11から、仮説が否定される

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