もしこの予定外が手厳しいとするとそれは進み方であるけれど進路先でない
fact1: 手厳しい物は進み方だけれど進路先であるということはない
$facts$ = fact1: 手厳しい物は進み方だけれど進路先であるということはない ; $hypothesis$ = もしこの予定外が手厳しいとするとそれは進み方であるけれど進路先でない ; $proof$ = 
事実1: 手厳しい物は進み方だけれど進路先であるということはない

仮説: もしこの予定外が手厳しいとするとそれは進み方であるけれど進路先でない