その選択制は熱処理する
fact1: とある物は飲み掛けるかあるいは染め抜かないかどちらもだ fact2: もし何かは飲み掛けるかまたは染め抜かないかまたは両方ともならばあの選択制は熱処理しない
$facts$ = fact1: とある物は飲み掛けるかあるいは染め抜かないかどちらもだ fact2: もし何かは飲み掛けるかまたは染め抜かないかまたは両方ともならばあの選択制は熱処理しない ; $hypothesis$ = その選択制は熱処理する ; $proof$ = 
事実1: とある物は飲み掛けるかあるいは染め抜かないかどちらもだ
事実2: もし何かは飲み掛けるかまたは染め抜かないかまたは両方ともならばあの選択制は熱処理しない

仮説: その選択制は熱処理する