「もし仮に「満腔であるしさらに鍛練する」ということは成り立つなら残念がらない」ものはある
fact1: もしあの大所帯が鍛練するしその上子房だとすると信じ難くない fact2: もしもその好き好きが鍛練するしさらに畏むとしたら組み合わさない fact3: 仮にあの大所帯が満腔だしおまけにそれが鍛練するとするとそれは残念がる fact4: もし何かは果たし終えるしかつ知覚するとするとそれは無しない fact5: 「仮に創出するし割れ易いとすると子房でない」物はある fact6: あの大所帯は満腔で鍛練すれば残念がらない fact7: もしある物が残念がるししかも創出するとすればそれは消え行かない fact8: 「もしも荒立つし御構い無いとすれば極細胞でない」ものはある fact9: 「「仮に制限すししかも消え行くなら「成り易くない」ということは成り立つ」物はある」ということは真実だ fact10: 「もしも「御めでたくて成り易い」ということは成り立つとすれば恨めしくない」ものはある fact11: 休戦ラインが鍛練すればそれは荒々しいということはない fact12: 仮にあの発信基地は換算率であるし時価ヘッジ会計であるとすればそれは鍛練するということはない fact13: 「もし満腔でかつ鍛練するとすれば残念がる」物はある
fact6 -> hypothesis;
fact6 -> hypothesis;
あの大所帯が休戦ラインだしさらにそれが鍛練するならそれは荒々しくない
fact14 -> hypothesis;
$facts$ = fact1: もしあの大所帯が鍛練するしその上子房だとすると信じ難くない fact2: もしもその好き好きが鍛練するしさらに畏むとしたら組み合わさない fact3: 仮にあの大所帯が満腔だしおまけにそれが鍛練するとするとそれは残念がる fact4: もし何かは果たし終えるしかつ知覚するとするとそれは無しない fact5: 「仮に創出するし割れ易いとすると子房でない」物はある fact6: あの大所帯は満腔で鍛練すれば残念がらない fact7: もしある物が残念がるししかも創出するとすればそれは消え行かない fact8: 「もしも荒立つし御構い無いとすれば極細胞でない」ものはある fact9: 「「仮に制限すししかも消え行くなら「成り易くない」ということは成り立つ」物はある」ということは真実だ fact10: 「もしも「御めでたくて成り易い」ということは成り立つとすれば恨めしくない」ものはある fact11: 休戦ラインが鍛練すればそれは荒々しいということはない fact12: 仮にあの発信基地は換算率であるし時価ヘッジ会計であるとすればそれは鍛練するということはない fact13: 「もし満腔でかつ鍛練するとすれば残念がる」物はある ; $hypothesis$ = 「もし仮に「満腔であるしさらに鍛練する」ということは成り立つなら残念がらない」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしあの大所帯が鍛練するしその上子房だとすると信じ難くない
事実2: もしもその好き好きが鍛練するしさらに畏むとしたら組み合わさない
事実3: 仮にあの大所帯が満腔だしおまけにそれが鍛練するとするとそれは残念がる
事実4: もし何かは果たし終えるしかつ知覚するとするとそれは無しない
事実5: 「仮に創出するし割れ易いとすると子房でない」物はある
事実6: あの大所帯は満腔で鍛練すれば残念がらない
事実7: もしある物が残念がるししかも創出するとすればそれは消え行かない
事実8: 「もしも荒立つし御構い無いとすれば極細胞でない」ものはある
事実9: 「「仮に制限すししかも消え行くなら「成り易くない」ということは成り立つ」物はある」ということは真実だ
事実10: 「もしも「御めでたくて成り易い」ということは成り立つとすれば恨めしくない」ものはある
事実11: 休戦ラインが鍛練すればそれは荒々しいということはない
事実12: 仮にあの発信基地は換算率であるし時価ヘッジ会計であるとすればそれは鍛練するということはない
事実13: 「もし満腔でかつ鍛練するとすれば残念がる」物はある

仮説: 「もし仮に「満腔であるしさらに鍛練する」ということは成り立つなら残念がらない」ものはある
1. 事実6から、仮説が導かれる

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