Primal Grammars Driven Automated Induction