Translate the following inference to logic notation: It is overcast or Sarah is not poor. If Michael were happy, then it is overcast. Sarah is poor if and only if it is overcast. Sarah is not poor. Therefore Michael is not happy.
p or ~q. r -> p. q <-> p. ~q. Therefore ~r.