English: Now, if you look at the high level algorithm for finding proof it basically says picks some rule of inference, pick some applicable data and produce some new data add it to the system.
Telugu: ఇప్పుడు, రుజువును కనుగొనటానికి మీరు ఉన్నత స్థాయి అల్గారిథమ్‌ను(algorithm) పరిశీలిస్తే, అది ప్రాథమికంగా కొన్ని రూల్ ఆఫ్ ఇన్ఫెరెన్స్(rule of inference) ను ఎంచుకుంటుందని చెబుతుంది, వర్తించే కొన్ని డేటాను ఎంచుకోండి మరియు కొన్ని కొత్త డేటాను ఉత్పత్తి చేస్తుంది.