「この被保護者は切り上げない」ということは確かだ
fact1: この被保護者はジェネリックであるとすると切り上げる fact2: この被保護者はジェネリックだ
$facts$ = fact1: この被保護者はジェネリックであるとすると切り上げる fact2: この被保護者はジェネリックだ ; $hypothesis$ = 「この被保護者は切り上げない」ということは確かだ ; $proof$ = 
事実1: この被保護者はジェネリックであるとすると切り上げる
事実2: この被保護者はジェネリックだ

仮説: 「この被保護者は切り上げない」ということは確かだ