Translate the following inference to logic notation: If Mary were rich, then it is overcast. If it is overcast, then Mary is rich. If it is overcast, then Mary is rich. Therefore if Mary were rich, then it is overcast.
p -> q. q -> p. q -> p. Therefore p -> q.