もしも「この終電は返上するということはなくておまけに低体重でない」ということは誤りであるとするとそれは中途解約しない
fact1: もし仮に「とある物は返上しないしそれは低体重でない」ということは成り立つということはないとすると中途解約するということはない
$facts$ = fact1: もし仮に「とある物は返上しないしそれは低体重でない」ということは成り立つということはないとすると中途解約するということはない ; $hypothesis$ = もしも「この終電は返上するということはなくておまけに低体重でない」ということは誤りであるとするとそれは中途解約しない ; $proof$ = 
事実1: もし仮に「とある物は返上しないしそれは低体重でない」ということは成り立つということはないとすると中途解約するということはない

仮説: もしも「この終電は返上するということはなくておまけに低体重でない」ということは誤りであるとするとそれは中途解約しない