Translate the following inference to logic notation: It is overcast. If it is overcast, then Thomas is running. Jennifer is not curious. Thomas is running if and only if Jennifer is curious. Therefore Joseph is sad.
p. p -> q. ~r. q <-> r. Therefore s.