以下は妥当な推論規則（トートロジー）ですか？

((A ∨ B) ∧ (¬B ∨ C)) → (A ∨ C)

これは自動定理証明で使用される融合規則です。