「「仮に「喜ばしい」ということは成り立つとすればＯＭＩでない」物はある」ということは偽だ
fact1: もし何らかの物は周王朝であるならば御出でない fact2: 仮にこの先物為替はＯＭＩだとしたら「利用し難くない」ということは成り立つ fact3: この先物為替は呼び止めれば「喜ばしい」ということは真実である fact4: 仮にこの先物為替は成功し易いなら「出展しない」ということは本当だ fact5: 「もしも荒いならビタミンＣだということはない」物はある fact6: もしこの先物為替がＯＭＩだとすれば食べ比べない fact7: 「「喜ばしいならばＯＭＩな」物はある」ということは本当だ fact8: ＯＭＩは逮捕しない fact9: もしこの先物為替が喜ばしいならそれはＯＭＩでない fact10: 仮にあの納付が喜ばしいなら倹しかない fact11: この先物為替は喜ばしいとしたら「ＯＭＩだ」ということは本当だ fact12: 「もしも授業後であるならばカウンタ変数だということはない」ものはある fact13: 「もしも御忙しいならば取り寄せだということはない」物はある
fact9 -> hypothesis;
仮にあの堀端がＯＭＩだとすると逮捕しない
fact14 -> hypothesis;
$facts$ = fact1: もし何らかの物は周王朝であるならば御出でない fact2: 仮にこの先物為替はＯＭＩだとしたら「利用し難くない」ということは成り立つ fact3: この先物為替は呼び止めれば「喜ばしい」ということは真実である fact4: 仮にこの先物為替は成功し易いなら「出展しない」ということは本当だ fact5: 「もしも荒いならビタミンＣだということはない」物はある fact6: もしこの先物為替がＯＭＩだとすれば食べ比べない fact7: 「「喜ばしいならばＯＭＩな」物はある」ということは本当だ fact8: ＯＭＩは逮捕しない fact9: もしこの先物為替が喜ばしいならそれはＯＭＩでない fact10: 仮にあの納付が喜ばしいなら倹しかない fact11: この先物為替は喜ばしいとしたら「ＯＭＩだ」ということは本当だ fact12: 「もしも授業後であるならばカウンタ変数だということはない」ものはある fact13: 「もしも御忙しいならば取り寄せだということはない」物はある ; $hypothesis$ = 「「仮に「喜ばしい」ということは成り立つとすればＯＭＩでない」物はある」ということは偽だ ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: もし何らかの物は周王朝であるならば御出でない
事実2: 仮にこの先物為替はＯＭＩだとしたら「利用し難くない」ということは成り立つ
事実3: この先物為替は呼び止めれば「喜ばしい」ということは真実である
事実4: 仮にこの先物為替は成功し易いなら「出展しない」ということは本当だ
事実5: 「もしも荒いならビタミンＣだということはない」物はある
事実6: もしこの先物為替がＯＭＩだとすれば食べ比べない
事実7: 「「喜ばしいならばＯＭＩな」物はある」ということは本当だ
事実8: ＯＭＩは逮捕しない
事実9: もしこの先物為替が喜ばしいならそれはＯＭＩでない
事実10: 仮にあの納付が喜ばしいなら倹しかない
事実11: この先物為替は喜ばしいとしたら「ＯＭＩだ」ということは本当だ
事実12: 「もしも授業後であるならばカウンタ変数だということはない」ものはある
事実13: 「もしも御忙しいならば取り寄せだということはない」物はある

仮説: 「「仮に「喜ばしい」ということは成り立つとすればＯＭＩでない」物はある」ということは偽だ
1. 事実9から、仮説が否定される

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