다음은 유효한 추론 규칙(항진식)인가요?

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

이것은 자동 정리 증명에서 사용되는 소거 규칙입니다.