English: And it is a complete method for a proving the theorem or proving something which uses only one rule of inference which is the resolution rule and it does not mean any other essentially.
Telugu: మరియు ఇది సిద్ధాంతాన్ని రుజువు చేయడానికి లేదా నిరూపణ నియమం అయిన ఒక రూల్ ఆఫ్ ఇన్ఫెరెన్స్(rule of inference) మాత్రమే ఉపయోగించే ఏదో నిరూపించడానికి పూర్తి పద్ధతి మరియు ఇది తప్పనిసరిగా మరేదైనా అర్ధం కాదు.