Translate the following inference to logic notation: If it is overcast, then Elisabeth is happy. It is snowing or it is overcast. If Elisabeth were happy, then it is cloudy. It is cloudy or it is not snowing. Therefore it is cloudy.
p -> q. r or p. q -> s. s or ~r. Therefore s.