Translate the following inference to logic notation: Joseph is running if and only if it is overcast. If James were happy, then Joseph is running. If Joseph goes running, then James is happy. It is not overcast. Therefore James is not happy.
p <-> q. r -> p. p -> r. ~q. Therefore ~r.