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 rehearse does not act. Anmol is a hero. Any hero who does not work does not rehearse. 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”.