Translate the following inference to logic notation: Michael is sad. If Michael were sad, then Patricia is rich. If it snows, then Patricia is not rich. Therefore it is not snowing or Jessica is an office clerk.
p. p -> q. r -> ~q. Therefore ~r or s.