「この腎合併症は用ゆ」ということは確かである
fact1: あの一夏は用ゆない fact2: なにかは用ゆしそれが乗り子であるとしたらあの一夏はさんざめかない fact3: もしも「乗り子だしまたさんざめく」ものがあるならあの一夏は用ゆということはない fact4: とある物がさんざめくし乗り子ならばあの一夏は用ゆということはない fact5: 「あの警官隊は乗り子でない」ということは本当であるとするとこの腎合併症はさんざめくしその上用ゆ fact6: もし仮になんらかの物が用ゆしそれが乗り子だとしたらこの腎合併症はさんざめかない fact7: 乗り子が用ゆとしたらあの一夏はさんざめくということはない fact8: この大音響は乗り子でない fact9: あの一夏はさんざめくし乗り子である fact10: この腎合併症はさんざめかない fact11: 仮に「「さんざめくし乗り子だ」ということは成り立つ」物があるとするとこの腎合併症は用ゆない fact12: 「古典教育であるしおまけに洋風化する」物はある fact13: その情愛は日本建築学会で加えてさんざめく fact14: なにかは用ゆしそれにさんざめく fact15: この腎合併症は地中深いしまた現金化する fact16: なにがしかのものが共同不法行為だしさらにチートイツだ fact17: あの一夏はさんざめく fact18: 何かは乗り子だ fact19: 「さんざめく」物はある
fact9 -> int1: 「さんざめくし乗り子である」物はある; int1 & fact11 -> hypothesis;
「この腎合併症は用ゆ」ということは真実である
$facts$ = fact1: あの一夏は用ゆない fact2: なにかは用ゆしそれが乗り子であるとしたらあの一夏はさんざめかない fact3: もしも「乗り子だしまたさんざめく」ものがあるならあの一夏は用ゆということはない fact4: とある物がさんざめくし乗り子ならばあの一夏は用ゆということはない fact5: 「あの警官隊は乗り子でない」ということは本当であるとするとこの腎合併症はさんざめくしその上用ゆ fact6: もし仮になんらかの物が用ゆしそれが乗り子だとしたらこの腎合併症はさんざめかない fact7: 乗り子が用ゆとしたらあの一夏はさんざめくということはない fact8: この大音響は乗り子でない fact9: あの一夏はさんざめくし乗り子である fact10: この腎合併症はさんざめかない fact11: 仮に「「さんざめくし乗り子だ」ということは成り立つ」物があるとするとこの腎合併症は用ゆない fact12: 「古典教育であるしおまけに洋風化する」物はある fact13: その情愛は日本建築学会で加えてさんざめく fact14: なにかは用ゆしそれにさんざめく fact15: この腎合併症は地中深いしまた現金化する fact16: なにがしかのものが共同不法行為だしさらにチートイツだ fact17: あの一夏はさんざめく fact18: 何かは乗り子だ fact19: 「さんざめく」物はある ; $hypothesis$ = 「この腎合併症は用ゆ」ということは確かである ; $proof$ = 
fact9 -> int1: 「さんざめくし乗り子である」物はある; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: あの一夏は用ゆない
事実2: なにかは用ゆしそれが乗り子であるとしたらあの一夏はさんざめかない
事実3: もしも「乗り子だしまたさんざめく」ものがあるならあの一夏は用ゆということはない
事実4: とある物がさんざめくし乗り子ならばあの一夏は用ゆということはない
事実5: 「あの警官隊は乗り子でない」ということは本当であるとするとこの腎合併症はさんざめくしその上用ゆ
事実6: もし仮になんらかの物が用ゆしそれが乗り子だとしたらこの腎合併症はさんざめかない
事実7: 乗り子が用ゆとしたらあの一夏はさんざめくということはない
事実8: この大音響は乗り子でない
事実9: あの一夏はさんざめくし乗り子である
事実10: この腎合併症はさんざめかない
事実11: 仮に「「さんざめくし乗り子だ」ということは成り立つ」物があるとするとこの腎合併症は用ゆない
事実12: 「古典教育であるしおまけに洋風化する」物はある
事実13: その情愛は日本建築学会で加えてさんざめく
事実14: なにかは用ゆしそれにさんざめく
事実15: この腎合併症は地中深いしまた現金化する
事実16: なにがしかのものが共同不法行為だしさらにチートイツだ
事実17: あの一夏はさんざめく
事実18: 何かは乗り子だ
事実19: 「さんざめく」物はある

仮説: 「この腎合併症は用ゆ」ということは確かである
1. 事実9から、推論1: "「さんざめくし乗り子である」物はある"が導かれる
2. 推論1と事実11から、仮説が否定される

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