English: But we cannot derive it using first forward chaining or back ward chaining, but in resolution method there is a very simple small proof for doing that.
Telugu: కానీ మేము దీనిని మొదటి ఫార్వర్డ్ చైనింగ్(forward chaining) లేదా బ్యాక్ వార్డ్ చైనింగ్(backward chaining) ఉపయోగించి తీసుకోలేము, కాని రిజల్యూషన్ పద్ధతిలో అలా చేయడానికి చాలా చిన్న చిన్న రుజువు ఉంది.