そのクリちゃんは考え深い
fact1: この何曜日は考え深いしハインケルＨＥである fact2: そのクリちゃんは受け入れるし加えてそれは心許ない fact3: そのクリちゃんは紛う fact4: なにがしかの物が中心概念であるということはないとしたらそれは地中深くてそれは受け入れない fact5: そのクリちゃんは受け入れるしかつそれは考え深い fact6: 「おならでない」物はある fact7: あの進路妨害物は考え深いし読み難い fact8: あの御説明は考え深い fact9: この不動産等は受け入れる fact10: そのクリちゃんは全国タウン誌ガイドである
fact5 -> hypothesis;
fact5 -> hypothesis;
そのクリちゃんは考え深いということはない
fact11 -> int1: もしその山の手が中心概念でないとすれば地中深いしまた受け入れない;
$facts$ = fact1: この何曜日は考え深いしハインケルＨＥである fact2: そのクリちゃんは受け入れるし加えてそれは心許ない fact3: そのクリちゃんは紛う fact4: なにがしかの物が中心概念であるということはないとしたらそれは地中深くてそれは受け入れない fact5: そのクリちゃんは受け入れるしかつそれは考え深い fact6: 「おならでない」物はある fact7: あの進路妨害物は考え深いし読み難い fact8: あの御説明は考え深い fact9: この不動産等は受け入れる fact10: そのクリちゃんは全国タウン誌ガイドである ; $hypothesis$ = そのクリちゃんは考え深い ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: この何曜日は考え深いしハインケルＨＥである
事実2: そのクリちゃんは受け入れるし加えてそれは心許ない
事実3: そのクリちゃんは紛う
事実4: なにがしかの物が中心概念であるということはないとしたらそれは地中深くてそれは受け入れない
事実5: そのクリちゃんは受け入れるしかつそれは考え深い
事実6: 「おならでない」物はある
事実7: あの進路妨害物は考え深いし読み難い
事実8: あの御説明は考え深い
事実9: この不動産等は受け入れる
事実10: そのクリちゃんは全国タウン誌ガイドである

仮説: そのクリちゃんは考え深い
1. 事実5から、仮説が導かれる

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