Seol mar théacs é seo: Efficient integration of induction and Case-Based Reasoning