Numerical abduction: more careful handling of contradictions in premises.