「仮に而今でないとしたら申告出来る」ものはある
fact1: 何かは調整方法でないなら止む無し fact2: 「もし仮に而今なら申告出来る」ものはある fact3: 仮にその新開地が而今でないとすれば申告出来る
fact3 -> hypothesis;
fact3 -> hypothesis;
「調整方法であるということはないとしたら止む無し」ものはある
fact4 -> int1: もしその塩類下剤は調整方法でないならば止む無し; int1 -> hypothesis;
$facts$ = fact1: 何かは調整方法でないなら止む無し fact2: 「もし仮に而今なら申告出来る」ものはある fact3: 仮にその新開地が而今でないとすれば申告出来る ; $hypothesis$ = 「仮に而今でないとしたら申告出来る」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 何かは調整方法でないなら止む無し
事実2: 「もし仮に而今なら申告出来る」ものはある
事実3: 仮にその新開地が而今でないとすれば申告出来る

仮説: 「仮に而今でないとしたら申告出来る」ものはある
1. 事実3から、仮説が導かれる

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