「この有効時間が住み難くないならばこの有効時間は遠し」ということは本当だということはない
fact1: 住み難いということはないものは遠し
$facts$ = fact1: 住み難いということはないものは遠し ; $hypothesis$ = 「この有効時間が住み難くないならばこの有効時間は遠し」ということは本当だということはない ; $proof$ = 
事実1: 住み難いということはないものは遠し

仮説: 「この有効時間が住み難くないならばこの有効時間は遠し」ということは本当だということはない