「この葉タバコは狭まらない」ということは間違いでない
fact1: もしも「受注データである」ものがあればこの葉タバコは狭まる fact2: 「「受注データだ」ということは真実である」物はある
$facts$ = fact1: もしも「受注データである」ものがあればこの葉タバコは狭まる fact2: 「「受注データだ」ということは真実である」物はある ; $hypothesis$ = 「この葉タバコは狭まらない」ということは間違いでない ; $proof$ = 
事実1: もしも「受注データである」ものがあればこの葉タバコは狭まる
事実2: 「「受注データだ」ということは真実である」物はある

仮説: 「この葉タバコは狭まらない」ということは間違いでない