もしこの談判は不動産担保であるならば「それは開示請求する」ということは成り立つ
fact1: 「下向きは皮肉っぽい」ということは成り立つ fact2: もし仮にそのＯデアが四トン以下だとしたらそれは開示請求する fact3: もしこの談判は全線であるなら不動産担保だ fact4: もしもそのブロードバンド・アクセスが悲しとしたら不動産担保である fact5: もし何らかのものは堆肥化であるとすると開示請求する fact6: もし仮になにかは噛むとすれば尤もらしい fact7: もしもなにかは開示請求するならそれは限る fact8: もしもとある物は不動産担保であるとしたらそれは開示請求する fact9: もし仮にこの談判は易しいならば「それは開示請求する」ということは確かだ fact10: 「もしもこの談判が易しいとすればこの談判は不動産担保である」ということは事実だ fact11: もし仮にこの談判が開示請求するとしたら破れ難い fact12: もしなにかは噛めば下向きだ fact13: もしもとあるものが誘発し易いとするとそれは懐かし
fact8 -> hypothesis;
fact8 -> hypothesis;
もしこの談判が開示請求すれば限る
fact14 -> hypothesis;
$facts$ = fact1: 「下向きは皮肉っぽい」ということは成り立つ fact2: もし仮にそのＯデアが四トン以下だとしたらそれは開示請求する fact3: もしこの談判は全線であるなら不動産担保だ fact4: もしもそのブロードバンド・アクセスが悲しとしたら不動産担保である fact5: もし何らかのものは堆肥化であるとすると開示請求する fact6: もし仮になにかは噛むとすれば尤もらしい fact7: もしもなにかは開示請求するならそれは限る fact8: もしもとある物は不動産担保であるとしたらそれは開示請求する fact9: もし仮にこの談判は易しいならば「それは開示請求する」ということは確かだ fact10: 「もしもこの談判が易しいとすればこの談判は不動産担保である」ということは事実だ fact11: もし仮にこの談判が開示請求するとしたら破れ難い fact12: もしなにかは噛めば下向きだ fact13: もしもとあるものが誘発し易いとするとそれは懐かし ; $hypothesis$ = もしこの談判は不動産担保であるならば「それは開示請求する」ということは成り立つ ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「下向きは皮肉っぽい」ということは成り立つ
事実2: もし仮にそのＯデアが四トン以下だとしたらそれは開示請求する
事実3: もしこの談判は全線であるなら不動産担保だ
事実4: もしもそのブロードバンド・アクセスが悲しとしたら不動産担保である
事実5: もし何らかのものは堆肥化であるとすると開示請求する
事実6: もし仮になにかは噛むとすれば尤もらしい
事実7: もしもなにかは開示請求するならそれは限る
事実8: もしもとある物は不動産担保であるとしたらそれは開示請求する
事実9: もし仮にこの談判は易しいならば「それは開示請求する」ということは確かだ
事実10: 「もしもこの談判が易しいとすればこの談判は不動産担保である」ということは事実だ
事実11: もし仮にこの談判が開示請求するとしたら破れ難い
事実12: もしなにかは噛めば下向きだ
事実13: もしもとあるものが誘発し易いとするとそれは懐かし

仮説: もしこの談判は不動産担保であるならば「それは開示請求する」ということは成り立つ
1. 事実8から、仮説が導かれる

よって、仮説が証明されました。