「貯留するとすれば円板状でないし生き難くない」ものはある
fact1: 「仮に貯留するとしたら円板状であるしかつ生き難くない」ものはある fact2: 「もし仮に「貯留する」ということは本当だとすると生き難くない」ものはある fact3: 仮にあの地場が貯留するとすれば円板状でないしそれは生き難くない fact4: あの地場は貯留するなら「円板状でそれは生き難くない」ということは成り立つ fact5: 仮にあの地場は貯留するなら「それは通関しない」ということは本当だ fact6: 「仮に貯留するとしたら円板状でない」ものはある
fact3 -> hypothesis;
$facts$ = fact1: 「仮に貯留するとしたら円板状であるしかつ生き難くない」ものはある fact2: 「もし仮に「貯留する」ということは本当だとすると生き難くない」ものはある fact3: 仮にあの地場が貯留するとすれば円板状でないしそれは生き難くない fact4: あの地場は貯留するなら「円板状でそれは生き難くない」ということは成り立つ fact5: 仮にあの地場は貯留するなら「それは通関しない」ということは本当だ fact6: 「仮に貯留するとしたら円板状でない」ものはある ; $hypothesis$ = 「貯留するとすれば円板状でないし生き難くない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「仮に貯留するとしたら円板状であるしかつ生き難くない」ものはある
事実2: 「もし仮に「貯留する」ということは本当だとすると生き難くない」ものはある
事実3: 仮にあの地場が貯留するとすれば円板状でないしそれは生き難くない
事実4: あの地場は貯留するなら「円板状でそれは生き難くない」ということは成り立つ
事実5: 仮にあの地場は貯留するなら「それは通関しない」ということは本当だ
事実6: 「仮に貯留するとしたら円板状でない」ものはある

仮説: 「貯留するとすれば円板状でないし生き難くない」ものはある
1. 事実3から、仮説が導かれる

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