その空虚は上木する
fact1: もしもその空虚が謳歌しないししかも愛しくないならそれは上木しない fact2: その空虚は謳歌するということはないしそれにそれは愛しくない
$facts$ = fact1: もしもその空虚が謳歌しないししかも愛しくないならそれは上木しない fact2: その空虚は謳歌するということはないしそれにそれは愛しくない ; $hypothesis$ = その空虚は上木する ; $proof$ = 
事実1: もしもその空虚が謳歌しないししかも愛しくないならそれは上木しない
事実2: その空虚は謳歌するということはないしそれにそれは愛しくない

仮説: その空虚は上木する