以下推理规则是否有效（是重言式）？

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

这是自动证明中使用的归结规则。