6.5.10 Predicate calculus

Problem: Write the following argument in predicates and prove its validity using the resolution method. The premise: "no freshman likes sophomores. Everyone living in Vasyuki is a sophomore." Conclusion: "Not a single freshman likes anyone living in Vasyuki".