Destructor Eliminating，term generalizing and irrelevance eliminating，fertil-izing are several important inference strategies in induction inference system．Starting from the introduction of the above strategies，this paper discusses the basic idea of the strategies and the method of using the strategies，The system has been implemented by using compiler LISP on micro computers．