「あのオーディオキャプチャアプリケーションは流れ去る」ということは確かだ
fact1: とあるものは十万円未満であるということはない fact2: 仮になんらかのものが貸し倒れるとするとそれは流れ去るか石屋でない fact3: もし「あのオーディオキャプチャアプリケーションは流れ去るかあるいは石屋でないかまたは両方である」ということは確かであるとするとそれは造設しない fact4: その事例検討は石屋である fact5: 仮に「とある物は石屋でないがしかし流れ去る」ということは嘘なら流れ去らない fact6: なんらかの物はダイヤル数字でないならば金融情勢であるしさらに貸し倒れる fact7: 「ドリップしない」ものはある fact8: もし「石屋でない」物があるとするとあのオーディオキャプチャアプリケーションは流れ去る fact9: とある物は石屋でない fact10: とある物は予防歯科でない fact11: もし仮にあの実質ＧＤＰ成長率は貸し倒れるとすれば「あのオーディオキャプチャアプリケーションは石屋でないけど流れ去る」ということは誤っている fact12: あのオーディオキャプチャアプリケーションは葉色である fact13: なにがしかの物は石屋だ fact14: あの約十万人は石屋である fact15: 「流れ去るということはない」物はある
fact9 & fact8 -> hypothesis;
fact9 & fact8 -> hypothesis;
「造設するということはない」ものはある
fact16 -> int1: 仮に「あのオーディオキャプチャアプリケーションは貸し倒れる」ということは間違っていないとするとそれは流れ去るかもしくはそれは石屋でないか両方ともだ; fact17 -> int2: もしあのオーディオキャプチャアプリケーションはダイヤル数字であるということはないとしたらそれは金融情勢であるしかつ貸し倒れる;
$facts$ = fact1: とあるものは十万円未満であるということはない fact2: 仮になんらかのものが貸し倒れるとするとそれは流れ去るか石屋でない fact3: もし「あのオーディオキャプチャアプリケーションは流れ去るかあるいは石屋でないかまたは両方である」ということは確かであるとするとそれは造設しない fact4: その事例検討は石屋である fact5: 仮に「とある物は石屋でないがしかし流れ去る」ということは嘘なら流れ去らない fact6: なんらかの物はダイヤル数字でないならば金融情勢であるしさらに貸し倒れる fact7: 「ドリップしない」ものはある fact8: もし「石屋でない」物があるとするとあのオーディオキャプチャアプリケーションは流れ去る fact9: とある物は石屋でない fact10: とある物は予防歯科でない fact11: もし仮にあの実質ＧＤＰ成長率は貸し倒れるとすれば「あのオーディオキャプチャアプリケーションは石屋でないけど流れ去る」ということは誤っている fact12: あのオーディオキャプチャアプリケーションは葉色である fact13: なにがしかの物は石屋だ fact14: あの約十万人は石屋である fact15: 「流れ去るということはない」物はある ; $hypothesis$ = 「あのオーディオキャプチャアプリケーションは流れ去る」ということは確かだ ; $proof$ = 
fact9 & fact8 -> hypothesis; __PROVED__
事実1: とあるものは十万円未満であるということはない
事実2: 仮になんらかのものが貸し倒れるとするとそれは流れ去るか石屋でない
事実3: もし「あのオーディオキャプチャアプリケーションは流れ去るかあるいは石屋でないかまたは両方である」ということは確かであるとするとそれは造設しない
事実4: その事例検討は石屋である
事実5: 仮に「とある物は石屋でないがしかし流れ去る」ということは嘘なら流れ去らない
事実6: なんらかの物はダイヤル数字でないならば金融情勢であるしさらに貸し倒れる
事実7: 「ドリップしない」ものはある
事実8: もし「石屋でない」物があるとするとあのオーディオキャプチャアプリケーションは流れ去る
事実9: とある物は石屋でない
事実10: とある物は予防歯科でない
事実11: もし仮にあの実質ＧＤＰ成長率は貸し倒れるとすれば「あのオーディオキャプチャアプリケーションは石屋でないけど流れ去る」ということは誤っている
事実12: あのオーディオキャプチャアプリケーションは葉色である
事実13: なにがしかの物は石屋だ
事実14: あの約十万人は石屋である
事実15: 「流れ去るということはない」物はある

仮説: 「あのオーディオキャプチャアプリケーションは流れ去る」ということは確かだ
1. 事実9と事実8から、仮説が導かれる

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