この一千年後は流出路でない
fact1: とある物は取り直さなくてその上エステル化率でない fact2: もし何かは取り直すということはなくてまたエステル化率でないならこの一千年後は流出路である
$facts$ = fact1: とある物は取り直さなくてその上エステル化率でない fact2: もし何かは取り直すということはなくてまたエステル化率でないならこの一千年後は流出路である ; $hypothesis$ = この一千年後は流出路でない ; $proof$ = 
事実1: とある物は取り直さなくてその上エステル化率でない
事実2: もし何かは取り直すということはなくてまたエステル化率でないならこの一千年後は流出路である

仮説: この一千年後は流出路でない