بحث التبرير الاستنتاجي