To prove the following, I have tried resolution with success, but I need to do it using semantics of interpretation; that every interpretation that satisfies the first sentence satisifies the second. I am not sure on how to go about this ....... Your help is extrememly appreciated.
F(x) iff P(x) or (G(x) and ~N(x))
G(x) and ~N(x) implies F(x)