Translate the following inference to logic notation: If it is windy, then James is not curious. James is curious. It is not sunny. It is sunny if and only if Susan is happy. Therefore Susan is not happy and it is not windy.
p -> ~q. q. ~r. r <-> s. Therefore ~s and ~p.