Abstract: This paper describes the algorithm and concrete process with BASIC program to realize theorem proving and solving some artificial intelligence problem. For theorem proving we introduce "subsumption test", "omiting method" and "programing technics" to speed up for finding proofs of theorem as the previous paper[1].