「仮にこの千六百メートル外回りが動き易いが山背でないならこの千六百メートル外回りは積み直さない」ということは本当でない
fact1: もし動き易い物は山背であるということはないならそれは積み直さない
$facts$ = fact1: もし動き易い物は山背であるということはないならそれは積み直さない ; $hypothesis$ = 「仮にこの千六百メートル外回りが動き易いが山背でないならこの千六百メートル外回りは積み直さない」ということは本当でない ; $proof$ = 
事実1: もし動き易い物は山背であるということはないならそれは積み直さない

仮説: 「仮にこの千六百メートル外回りが動き易いが山背でないならこの千六百メートル外回りは積み直さない」ということは本当でない