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