あの終了マーカーは整理出来ない
fact1: なにがしかのものは中止す fact2: あの終了マーカーは中止すしそれは補償出来る fact3: その阻喪は髭である fact4: あの終了マーカーは地中深くてさらに危うい fact5: 成され易くない物があるならあの終了マーカーは髭だ fact6: あの終了マーカーは髭だ fact7: 何らかの物は中止すらない fact8: この対抗馬は髭だ fact9: もしも「なにかは中止すらない」ということは真実ならあの終了マーカーは整理出来るし加えて髭だ fact10: もし仮にその先達が中止すならその兄嫁は中止す fact11: 「髭でない」ものはある fact12: なにがしかの物は意味深い fact13: もしも「手厳しくない」物があるとするとこの兆しは驕るし更に毒々しい fact14: 「「整理出来ない」ということは成り立つ」ものがあるとしたらあの終了マーカーは髭だ fact15: なんらかの物は整理出来る fact16: 許し難くない物はシェアだし中止す fact17: もしもその兄嫁は中止すなら「髭でなくてそれにそれは整理出来る」ということは偽である fact18: あの終了マーカーは涼しくておまけに忌まわしい fact19: もし仮に「中止すらない」物があるとするとあの終了マーカーは髭である fact20: あるものは診療する fact21: 何らかのものは髭である
fact7 & fact9 -> int1: あの終了マーカーは整理出来るし髭だ; int1 -> hypothesis;
あの終了マーカーは整理出来ない
fact24 -> int2: もし仮にその先達が許し難くないならばそれはシェアであるしまた中止す;
$facts$ = fact1: なにがしかのものは中止す fact2: あの終了マーカーは中止すしそれは補償出来る fact3: その阻喪は髭である fact4: あの終了マーカーは地中深くてさらに危うい fact5: 成され易くない物があるならあの終了マーカーは髭だ fact6: あの終了マーカーは髭だ fact7: 何らかの物は中止すらない fact8: この対抗馬は髭だ fact9: もしも「なにかは中止すらない」ということは真実ならあの終了マーカーは整理出来るし加えて髭だ fact10: もし仮にその先達が中止すならその兄嫁は中止す fact11: 「髭でない」ものはある fact12: なにがしかの物は意味深い fact13: もしも「手厳しくない」物があるとするとこの兆しは驕るし更に毒々しい fact14: 「「整理出来ない」ということは成り立つ」ものがあるとしたらあの終了マーカーは髭だ fact15: なんらかの物は整理出来る fact16: 許し難くない物はシェアだし中止す fact17: もしもその兄嫁は中止すなら「髭でなくてそれにそれは整理出来る」ということは偽である fact18: あの終了マーカーは涼しくておまけに忌まわしい fact19: もし仮に「中止すらない」物があるとするとあの終了マーカーは髭である fact20: あるものは診療する fact21: 何らかのものは髭である ; $hypothesis$ = あの終了マーカーは整理出来ない ; $proof$ = 
fact7 & fact9 -> int1: あの終了マーカーは整理出来るし髭だ; int1 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは中止す
事実2: あの終了マーカーは中止すしそれは補償出来る
事実3: その阻喪は髭である
事実4: あの終了マーカーは地中深くてさらに危うい
事実5: 成され易くない物があるならあの終了マーカーは髭だ
事実6: あの終了マーカーは髭だ
事実7: 何らかの物は中止すらない
事実8: この対抗馬は髭だ
事実9: もしも「なにかは中止すらない」ということは真実ならあの終了マーカーは整理出来るし加えて髭だ
事実10: もし仮にその先達が中止すならその兄嫁は中止す
事実11: 「髭でない」ものはある
事実12: なにがしかの物は意味深い
事実13: もしも「手厳しくない」物があるとするとこの兆しは驕るし更に毒々しい
事実14: 「「整理出来ない」ということは成り立つ」ものがあるとしたらあの終了マーカーは髭だ
事実15: なんらかの物は整理出来る
事実16: 許し難くない物はシェアだし中止す
事実17: もしもその兄嫁は中止すなら「髭でなくてそれにそれは整理出来る」ということは偽である
事実18: あの終了マーカーは涼しくておまけに忌まわしい
事実19: もし仮に「中止すらない」物があるとするとあの終了マーカーは髭である
事実20: あるものは診療する
事実21: 何らかのものは髭である

仮説: あの終了マーカーは整理出来ない
1. 事実7と事実9から、推論1: "あの終了マーカーは整理出来るし髭だ"が導かれる
2. 推論1から、仮説が否定される

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