「もし公報だとすると離れ難いがしかし達さない」ものはある
fact1: 仮にあのマネーは公報であるならばそれは離れ難くて加えて達す fact2: 「もし公報だとしたら達すということはない」ものはある fact3: 「仮に及び難いならば巡り会えるが呼び込まない」ものはある fact4: 「もしも公報だとすれば離れ難い」物はある fact5: もしもあのマネーが達すとすればそれは歌い出すし更にそれは起き易くない fact6: 「仮に行儀良いなら砂漠だしそれに珍獣でない」ものはある fact7: 仮にあのマネーが離れ難いとすれば半径寸法であるしさらにそれは立ち塞がらない fact8: 「策定するなら描き足すしその上疲れ始めるということはない」物はある fact9: もしもその使い物は耐酸性であるとすれば荒々しい fact10: もしあの立法・行政・司法が公報だとすれば工業化するししかもそれは寒しない fact11: もし仮にあのマネーは公報であるなら「離れ難いしその上達すということはない」ということは真実である
fact11 -> hypothesis;
fact11 -> hypothesis;
$facts$ = fact1: 仮にあのマネーは公報であるならばそれは離れ難くて加えて達す fact2: 「もし公報だとしたら達すということはない」ものはある fact3: 「仮に及び難いならば巡り会えるが呼び込まない」ものはある fact4: 「もしも公報だとすれば離れ難い」物はある fact5: もしもあのマネーが達すとすればそれは歌い出すし更にそれは起き易くない fact6: 「仮に行儀良いなら砂漠だしそれに珍獣でない」ものはある fact7: 仮にあのマネーが離れ難いとすれば半径寸法であるしさらにそれは立ち塞がらない fact8: 「策定するなら描き足すしその上疲れ始めるということはない」物はある fact9: もしもその使い物は耐酸性であるとすれば荒々しい fact10: もしあの立法・行政・司法が公報だとすれば工業化するししかもそれは寒しない fact11: もし仮にあのマネーは公報であるなら「離れ難いしその上達すということはない」ということは真実である ; $hypothesis$ = 「もし公報だとすると離れ難いがしかし達さない」ものはある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 仮にあのマネーは公報であるならばそれは離れ難くて加えて達す
事実2: 「もし公報だとしたら達すということはない」ものはある
事実3: 「仮に及び難いならば巡り会えるが呼び込まない」ものはある
事実4: 「もしも公報だとすれば離れ難い」物はある
事実5: もしもあのマネーが達すとすればそれは歌い出すし更にそれは起き易くない
事実6: 「仮に行儀良いなら砂漠だしそれに珍獣でない」ものはある
事実7: 仮にあのマネーが離れ難いとすれば半径寸法であるしさらにそれは立ち塞がらない
事実8: 「策定するなら描き足すしその上疲れ始めるということはない」物はある
事実9: もしもその使い物は耐酸性であるとすれば荒々しい
事実10: もしあの立法・行政・司法が公報だとすれば工業化するししかもそれは寒しない
事実11: もし仮にあのマネーは公報であるなら「離れ難いしその上達すということはない」ということは真実である

仮説: 「もし公報だとすると離れ難いがしかし達さない」ものはある
1. 事実11から、仮説が導かれる

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