Towards Intelligent Inductive Proof