もしもあの安寧が物憂いとすれば持ち上がる
fact1: もしなんらかの物は物憂いなら「持ち上がる」ということは真実である
$facts$ = fact1: もしなんらかの物は物憂いなら「持ち上がる」ということは真実である ; $hypothesis$ = もしもあの安寧が物憂いとすれば持ち上がる ; $proof$ = 
事実1: もしなんらかの物は物憂いなら「持ち上がる」ということは真実である

仮説: もしもあの安寧が物憂いとすれば持ち上がる