その長者は後半だ
fact1: あのサービス種類は止む無い fact2: もし仮にあのサービス種類が止む無いとしたらその長者は後半である
$facts$ = fact1: あのサービス種類は止む無い fact2: もし仮にあのサービス種類が止む無いとしたらその長者は後半である ; $hypothesis$ = その長者は後半だ ; $proof$ = 
事実1: あのサービス種類は止む無い
事実2: もし仮にあのサービス種類が止む無いとしたらその長者は後半である

仮説: その長者は後半だ