「もし仮に「そのステップ部は御泊まるけれど暮れない」ということは成り立たないとしたらそのステップ部は間近いということはない」ということは成り立たない
fact1: 「とある物は御泊まるけど暮れるということはない」ということは成り立たないならそれは間近くない
$facts$ = fact1: 「とある物は御泊まるけど暮れるということはない」ということは成り立たないならそれは間近くない ; $hypothesis$ = 「もし仮に「そのステップ部は御泊まるけれど暮れない」ということは成り立たないとしたらそのステップ部は間近いということはない」ということは成り立たない ; $proof$ = 
事実1: 「とある物は御泊まるけど暮れるということはない」ということは成り立たないならそれは間近くない

仮説: 「もし仮に「そのステップ部は御泊まるけれど暮れない」ということは成り立たないとしたらそのステップ部は間近いということはない」ということは成り立たない