この先取特権者は御待ち下さる
fact1: 「居辛い」ものはある fact2: もし「居辛い」ものがあればこの先取特権者は御待ち下さる
$facts$ = fact1: 「居辛い」ものはある fact2: もし「居辛い」ものがあればこの先取特権者は御待ち下さる ; $hypothesis$ = この先取特権者は御待ち下さる ; $proof$ = 
事実1: 「居辛い」ものはある
事実2: もし「居辛い」ものがあればこの先取特権者は御待ち下さる

仮説: この先取特権者は御待ち下さる