Aşağıdaki geçerli bir çıkarım kuralı mıdır (totoloji)?

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

Bu, otomatik teorem ispatlama sistemlerinde kullanılan çözümleme kuralıdır.