Translate the following inference to logic notation: If Mary were sad, then Susan is working. Mary is sad or it is not overcast. If Susan works, then it is overcast. Therefore if it is overcast, then Mary is sad.
p -> q. p or ~r. q -> r. Therefore r -> p.