নিচের কোনটি একটি বৈধ ইনফারেন্স নিয়ম (টটোলজি) কিনা?

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

এটি স্বয়ংক্রিয় থিওরেম প্রুভিং-এ ব্যবহৃত রেজোলিউশন নিয়ম।