この穀象虫は業務用チラーでない
fact1: もし仮にその氷原は木目細かいならば「この穀象虫は業務用チラーである」ということは事実である fact2: その氷原は工業薬品であるかまたは木目細かい fact3: もし仮にその氷原は工業薬品であるならば「この穀象虫は業務用チラーである」ということは本当だ
$facts$ = fact1: もし仮にその氷原は木目細かいならば「この穀象虫は業務用チラーである」ということは事実である fact2: その氷原は工業薬品であるかまたは木目細かい fact3: もし仮にその氷原は工業薬品であるならば「この穀象虫は業務用チラーである」ということは本当だ ; $hypothesis$ = この穀象虫は業務用チラーでない ; $proof$ = 
事実1: もし仮にその氷原は木目細かいならば「この穀象虫は業務用チラーである」ということは事実である
事実2: その氷原は工業薬品であるかまたは木目細かい
事実3: もし仮にその氷原は工業薬品であるならば「この穀象虫は業務用チラーである」ということは本当だ

仮説: この穀象虫は業務用チラーでない