Artificial Intelligence - Old Questions

2.  How resolution algorithm is used in FOPL to infer conclusion? 

Consider the facts;

    Anyone whom pugu loves is a star. Any  hero who does not reherse does not act. Anmol is a hero. Any hero who does not work does not reherse. Anyone who does not act is not a star. Convert above into FOPL and use resolution to infer that "If Anmol does not work, then pugu does not love Anmol".