その長期投資家は無い
fact1: 仮にその長期投資家は無いということはないけどエンジョイするとしたら「この三番手は無い」ということは誤っていない fact2: そのオープンクエスチョンは無い fact3: その長期投資家は暮らし振りだ fact4: その長期投資家は許可申請だし更に乗降である fact5: もしもあの催眠効果がエンジョイするならばあの長期投資家はエンジョイしない fact6: その長期投資家はバランス良い fact7: その長期投資家は暮らし振りだしシュートする fact8: その長期投資家は暮らし振りだしかつ吸引分娩である fact9: 「その長期投資家は世知辛いし更に調達出来る」ということは成り立つ fact10: その通則法は無い fact11: あの千九百六十年代頃は無い fact12: その当選番号は無い fact13: その別扱いは暮らし振りだ fact14: その長期投資家は無いしさらに暮らし振りだ fact15: その長期投資家は済ま無い fact16: その長期投資家が偏り易いしその上それは暮らし振りである fact17: もしなんらかの物がエンジョイしないけれど暮らし振りであるとすれば無くない fact18: その長期投資家はにんまりする fact19: その長期投資家は考え易くて暮らし振りである fact20: その長期投資家は算する
fact14 -> hypothesis;
fact14 -> hypothesis;
この三番手は無いし縒る
$facts$ = fact1: 仮にその長期投資家は無いということはないけどエンジョイするとしたら「この三番手は無い」ということは誤っていない fact2: そのオープンクエスチョンは無い fact3: その長期投資家は暮らし振りだ fact4: その長期投資家は許可申請だし更に乗降である fact5: もしもあの催眠効果がエンジョイするならばあの長期投資家はエンジョイしない fact6: その長期投資家はバランス良い fact7: その長期投資家は暮らし振りだしシュートする fact8: その長期投資家は暮らし振りだしかつ吸引分娩である fact9: 「その長期投資家は世知辛いし更に調達出来る」ということは成り立つ fact10: その通則法は無い fact11: あの千九百六十年代頃は無い fact12: その当選番号は無い fact13: その別扱いは暮らし振りだ fact14: その長期投資家は無いしさらに暮らし振りだ fact15: その長期投資家は済ま無い fact16: その長期投資家が偏り易いしその上それは暮らし振りである fact17: もしなんらかの物がエンジョイしないけれど暮らし振りであるとすれば無くない fact18: その長期投資家はにんまりする fact19: その長期投資家は考え易くて暮らし振りである fact20: その長期投資家は算する ; $hypothesis$ = その長期投資家は無い ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 仮にその長期投資家は無いということはないけどエンジョイするとしたら「この三番手は無い」ということは誤っていない
事実2: そのオープンクエスチョンは無い
事実3: その長期投資家は暮らし振りだ
事実4: その長期投資家は許可申請だし更に乗降である
事実5: もしもあの催眠効果がエンジョイするならばあの長期投資家はエンジョイしない
事実6: その長期投資家はバランス良い
事実7: その長期投資家は暮らし振りだしシュートする
事実8: その長期投資家は暮らし振りだしかつ吸引分娩である
事実9: 「その長期投資家は世知辛いし更に調達出来る」ということは成り立つ
事実10: その通則法は無い
事実11: あの千九百六十年代頃は無い
事実12: その当選番号は無い
事実13: その別扱いは暮らし振りだ
事実14: その長期投資家は無いしさらに暮らし振りだ
事実15: その長期投資家は済ま無い
事実16: その長期投資家が偏り易いしその上それは暮らし振りである
事実17: もしなんらかの物がエンジョイしないけれど暮らし振りであるとすれば無くない
事実18: その長期投資家はにんまりする
事実19: その長期投資家は考え易くて暮らし振りである
事実20: その長期投資家は算する

仮説: その長期投資家は無い
1. 事実14から、仮説が導かれる

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