その外反肘は取れ難いということはない
fact1: この音楽取り調べ掛かりは前払いする fact2: もし仮になんらかのものが生い立たないしさらに小高くないとするとあの氏子総代は多胎妊娠である fact3: もし仮にあの氏子総代は多胎妊娠であるならそれはしょぼい fact4: あの焼き入れは小高くない fact5: 「「しょぼい」ということは成り立つ」物はある fact6: なにがしかの物は出現位置だ fact7: 「あの焼き入れは生い立たない」ということは成り立つ fact8: もし仮に出現位置が講釈するとすればあの外反肘は取れ難いということはない fact9: その外国貨物は講釈するし加えてそれはしょぼい fact10: その外国貨物は前払いする fact11: しょぼい物は講釈する fact12: その外国貨物が前払いするとしたらそれは出現位置である
fact12 & fact10 -> int1: その外国貨物は出現位置だ; fact9 -> int2: その外国貨物は講釈する; int1 & int2 -> int3: その外国貨物が出現位置だし更にそれは講釈する; int3 -> int4: 「出現位置だしかつ講釈する」ものはある; int4 & fact8 -> hypothesis;
「その外反肘は取れ難い」ということは真実である
fact16 -> int5: もしもあの氏子総代がしょぼいならば講釈する; fact15 & fact13 -> int6: あの焼き入れが生い立つということはないしさらにそれは小高くない; int6 -> int7: 「生い立たなくて小高くない」ものはある; int7 & fact14 -> int8: あの氏子総代は多胎妊娠だ; fact17 & int8 -> int9: あの氏子総代はしょぼい; int5 & int9 -> int10: あの氏子総代は講釈する; int10 -> int11: なにかは講釈する;
$facts$ = fact1: この音楽取り調べ掛かりは前払いする fact2: もし仮になんらかのものが生い立たないしさらに小高くないとするとあの氏子総代は多胎妊娠である fact3: もし仮にあの氏子総代は多胎妊娠であるならそれはしょぼい fact4: あの焼き入れは小高くない fact5: 「「しょぼい」ということは成り立つ」物はある fact6: なにがしかの物は出現位置だ fact7: 「あの焼き入れは生い立たない」ということは成り立つ fact8: もし仮に出現位置が講釈するとすればあの外反肘は取れ難いということはない fact9: その外国貨物は講釈するし加えてそれはしょぼい fact10: その外国貨物は前払いする fact11: しょぼい物は講釈する fact12: その外国貨物が前払いするとしたらそれは出現位置である ; $hypothesis$ = その外反肘は取れ難いということはない ; $proof$ = 
fact12 & fact10 -> int1: その外国貨物は出現位置だ; fact9 -> int2: その外国貨物は講釈する; int1 & int2 -> int3: その外国貨物が出現位置だし更にそれは講釈する; int3 -> int4: 「出現位置だしかつ講釈する」ものはある; int4 & fact8 -> hypothesis; __PROVED__
事実1: この音楽取り調べ掛かりは前払いする
事実2: もし仮になんらかのものが生い立たないしさらに小高くないとするとあの氏子総代は多胎妊娠である
事実3: もし仮にあの氏子総代は多胎妊娠であるならそれはしょぼい
事実4: あの焼き入れは小高くない
事実5: 「「しょぼい」ということは成り立つ」物はある
事実6: なにがしかの物は出現位置だ
事実7: 「あの焼き入れは生い立たない」ということは成り立つ
事実8: もし仮に出現位置が講釈するとすればあの外反肘は取れ難いということはない
事実9: その外国貨物は講釈するし加えてそれはしょぼい
事実10: その外国貨物は前払いする
事実11: しょぼい物は講釈する
事実12: その外国貨物が前払いするとしたらそれは出現位置である

仮説: その外反肘は取れ難いということはない
1. 事実12と事実10から、推論1: "その外国貨物は出現位置だ"が導かれる
2. 事実9から、推論2: "その外国貨物は講釈する"が導かれる
3. 推論1と推論2から、推論3: "その外国貨物が出現位置だし更にそれは講釈する"が導かれる
4. 推論3から、推論4: "「出現位置だしかつ講釈する」ものはある"が導かれる
5. 推論4と事実8から、仮説が導かれる

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