「もしも釈しなくて遡らないとすると記録係である」ものはある
fact1: もしあの二年以下は釈するけど遡るということはないならばそれは記録係だ fact2: もしもあの二年以下は釈するということはないけど遡るとしたらそれは記録係である fact3: 「もしも釈するし加えて遡らないとすれば「記録係だ」ということは真実な」ものはある fact4: もしも「あの二年以下は釈しなくてその上遡らない」ということは真実ならそれは記録係だ fact5: 「釈しなくて遡れば「記録係だ」ということは確かである」物はある fact6: もしなんらかの物が計画地でなくて御出で成さないとすると埋没する
fact4 -> hypothesis;
「仮に「計画地でなくてかつ御出で成すということはない」ということは本当だとしたら「埋没する」ということは正しい」物はある
fact7 -> int1: もしもあの町は計画地でないしまた御出で成さないとするとそれは埋没する; int1 -> hypothesis;
$facts$ = fact1: もしあの二年以下は釈するけど遡るということはないならばそれは記録係だ fact2: もしもあの二年以下は釈するということはないけど遡るとしたらそれは記録係である fact3: 「もしも釈するし加えて遡らないとすれば「記録係だ」ということは真実な」ものはある fact4: もしも「あの二年以下は釈しなくてその上遡らない」ということは真実ならそれは記録係だ fact5: 「釈しなくて遡れば「記録係だ」ということは確かである」物はある fact6: もしなんらかの物が計画地でなくて御出で成さないとすると埋没する ; $hypothesis$ = 「もしも釈しなくて遡らないとすると記録係である」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしあの二年以下は釈するけど遡るということはないならばそれは記録係だ
事実2: もしもあの二年以下は釈するということはないけど遡るとしたらそれは記録係である
事実3: 「もしも釈するし加えて遡らないとすれば「記録係だ」ということは真実な」ものはある
事実4: もしも「あの二年以下は釈しなくてその上遡らない」ということは真実ならそれは記録係だ
事実5: 「釈しなくて遡れば「記録係だ」ということは確かである」物はある
事実6: もしなんらかの物が計画地でなくて御出で成さないとすると埋没する

仮説: 「もしも釈しなくて遡らないとすると記録係である」ものはある
1. 事実4から、仮説が導かれる

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