English: To prove that we have used backward chaining, and for which you have to represent the statements in predicate logic form.
Telugu: మనము బ్యాక్ వర్డ్ చైనింగ్‌ని ఉపయోగించాము అని రుజువు చేయడానికి, మరియు దీని కొరకు మీరు ప్రెడికేట్ లాజిక్ రూపంలో స్టేట్‌మెంట్‌లను ప్రాతినిధ్యం వహించాల్సి ఉంటుంది.