そのボスミンは再起するということはない
fact1: あの諸要素は薄いかもしくは頻発するかあるいはどちらもである fact2: あの諸要素が頻発するならそのボスミンは再起する fact3: もし仮にあの諸要素が薄いならばそのボスミンは再起する
$facts$ = fact1: あの諸要素は薄いかもしくは頻発するかあるいはどちらもである fact2: あの諸要素が頻発するならそのボスミンは再起する fact3: もし仮にあの諸要素が薄いならばそのボスミンは再起する ; $hypothesis$ = そのボスミンは再起するということはない ; $proof$ = 
事実1: あの諸要素は薄いかもしくは頻発するかあるいはどちらもである
事実2: あの諸要素が頻発するならそのボスミンは再起する
事実3: もし仮にあの諸要素が薄いならばそのボスミンは再起する

仮説: そのボスミンは再起するということはない