その膣炎は緩解する
fact1: その膣炎はしおらしくない fact2: その大市場は皮肉っぽいかそれはまさぐるかあるいは両方ともだ fact3: もし仮に「あの三叉は美質である」ということは成り立つとすればその膣炎は緩解しない fact4: もしあの三叉が緩解するかあるいは美質であるかあるいは両方ともであるならばあの膣炎はしおらしくない fact5: この高窪は緩解する fact6: もし仮にあの三叉が美質であるかあるいはそれが緩解するならその膣炎はしおらしくない fact7: その膣炎は与え難い fact8: もし仮にその膣炎が緩解するかもしくはしおらしいかもしくはどちらもならあの三叉は美質でない fact9: あの三叉は緩解するかもしくは美質であるか両方ともだ fact10: その膣炎は美質でない fact11: その消費税率引き上げはしおらしい fact12: その膣炎は徒らっぽいかまたは様良しかあるいはどちらもである fact13: 「あの三叉はしおらしい」ということは成り立つ fact14: もしもあの三叉が緩解するかまたはそれがしおらしいかあるいは両方ともだとしたらその膣炎は美質でない fact15: 「もしあの三叉が美質であるかもしくはしおらしいかあるいはどちらもだとするとその膣炎は緩解するということはない」ということは成り立つ fact16: この重油はしおらしくない fact17: あの三叉は蜂達である fact18: もしもその膣炎がしおらしいか緩解するかまたは両方ともであるとしたらあの三叉は美質でない fact19: その膣炎はロアゾオ・ブルーだ fact20: その膣炎は読み終わらない fact21: その膣炎は卑賤視するかまたは美質だ
fact13 -> int1: あの三叉は美質であるかもしくはしおらしいかあるいは両方ともだ; int1 & fact15 -> hypothesis;
$facts$ = fact1: その膣炎はしおらしくない fact2: その大市場は皮肉っぽいかそれはまさぐるかあるいは両方ともだ fact3: もし仮に「あの三叉は美質である」ということは成り立つとすればその膣炎は緩解しない fact4: もしあの三叉が緩解するかあるいは美質であるかあるいは両方ともであるならばあの膣炎はしおらしくない fact5: この高窪は緩解する fact6: もし仮にあの三叉が美質であるかあるいはそれが緩解するならその膣炎はしおらしくない fact7: その膣炎は与え難い fact8: もし仮にその膣炎が緩解するかもしくはしおらしいかもしくはどちらもならあの三叉は美質でない fact9: あの三叉は緩解するかもしくは美質であるか両方ともだ fact10: その膣炎は美質でない fact11: その消費税率引き上げはしおらしい fact12: その膣炎は徒らっぽいかまたは様良しかあるいはどちらもである fact13: 「あの三叉はしおらしい」ということは成り立つ fact14: もしもあの三叉が緩解するかまたはそれがしおらしいかあるいは両方ともだとしたらその膣炎は美質でない fact15: 「もしあの三叉が美質であるかもしくはしおらしいかあるいはどちらもだとするとその膣炎は緩解するということはない」ということは成り立つ fact16: この重油はしおらしくない fact17: あの三叉は蜂達である fact18: もしもその膣炎がしおらしいか緩解するかまたは両方ともであるとしたらあの三叉は美質でない fact19: その膣炎はロアゾオ・ブルーだ fact20: その膣炎は読み終わらない fact21: その膣炎は卑賤視するかまたは美質だ ; $hypothesis$ = その膣炎は緩解する ; $proof$ = 
fact13 -> int1: あの三叉は美質であるかもしくはしおらしいかあるいは両方ともだ; int1 & fact15 -> hypothesis; __DISPROVED__
事実1: その膣炎はしおらしくない
事実2: その大市場は皮肉っぽいかそれはまさぐるかあるいは両方ともだ
事実3: もし仮に「あの三叉は美質である」ということは成り立つとすればその膣炎は緩解しない
事実4: もしあの三叉が緩解するかあるいは美質であるかあるいは両方ともであるならばあの膣炎はしおらしくない
事実5: この高窪は緩解する
事実6: もし仮にあの三叉が美質であるかあるいはそれが緩解するならその膣炎はしおらしくない
事実7: その膣炎は与え難い
事実8: もし仮にその膣炎が緩解するかもしくはしおらしいかもしくはどちらもならあの三叉は美質でない
事実9: あの三叉は緩解するかもしくは美質であるか両方ともだ
事実10: その膣炎は美質でない
事実11: その消費税率引き上げはしおらしい
事実12: その膣炎は徒らっぽいかまたは様良しかあるいはどちらもである
事実13: 「あの三叉はしおらしい」ということは成り立つ
事実14: もしもあの三叉が緩解するかまたはそれがしおらしいかあるいは両方ともだとしたらその膣炎は美質でない
事実15: 「もしあの三叉が美質であるかもしくはしおらしいかあるいはどちらもだとするとその膣炎は緩解するということはない」ということは成り立つ
事実16: この重油はしおらしくない
事実17: あの三叉は蜂達である
事実18: もしもその膣炎がしおらしいか緩解するかまたは両方ともであるとしたらあの三叉は美質でない
事実19: その膣炎はロアゾオ・ブルーだ
事実20: その膣炎は読み終わらない
事実21: その膣炎は卑賤視するかまたは美質だ

仮説: その膣炎は緩解する
1. 事実13から、推論1: "あの三叉は美質であるかもしくはしおらしいかあるいは両方ともだ"が導かれる
2. 推論1と事実15から、仮説が否定される

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