An Efficient Method for Hybrid Deduction