can someone help me solve the following logic questions

1.

Prove or disprove the following claim: (P Q) ((Q R) S) (P R) S

using the unit resolution strategy.

2.

Consider the following scenario: Ann lives in Manhattan. If in Manhattan snows then Ann doesnt like Manhattan. If Ann lives in Manhattan and doesnt like it, then Ann is unhappy. In Manhattan snows. Formalize and prove (or disprove) this claim: Ann is unhappy.

Note: Justify your answer using the resolution by refutation method and the set support strategy.