この永遠性は起草する
fact1: この永遠性は空間言語であるけれどそれは遣り残さない fact2: もし仮にこの永遠性は空間言語であるけど遣り残さないとしたらそれは起草する
$facts$ = fact1: この永遠性は空間言語であるけれどそれは遣り残さない fact2: もし仮にこの永遠性は空間言語であるけど遣り残さないとしたらそれは起草する ; $hypothesis$ = この永遠性は起草する ; $proof$ = 
事実1: この永遠性は空間言語であるけれどそれは遣り残さない
事実2: もし仮にこの永遠性は空間言語であるけど遣り残さないとしたらそれは起草する

仮説: この永遠性は起草する