Induction with Subtheory Selection and Abduction