هل القاعدة التالية قاعدة استنتاج صحيحة (tautology)؟

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

هذه هي قاعدة الـ resolution المستخدمة في إثبات النظريات الآلي.