Translate the following inference to logic notation: If it is overcast, then Richard is writing a letter. If Richard writes a letter, then it is overcast. Richard is writing a letter. Therefore it is overcast.
p -> q. q -> p. q. Therefore p.