Translate the following inference to logic notation: If Michael were a writer, then it is windy. It is windy if and only if it is sunny. Susan is drinking water. Michael is a writer or it is sunny. Therefore it is windy and Susan is drinking water.
p -> q. q <-> r. s. p or r. Therefore q and s.