استخراج حجج الاستحكام