Translate the following inference to logic notation: Patricia is rich. If Michael were an artist, then it is overcast. Michael is an artist. Therefore Patricia is rich and it is overcast.
p. q -> r. q. Therefore p and r.