Translate the following inference to logic notation: If it is overcast, then Elisabeth is a writer. Linda is a soldier. It is overcast. Therefore Linda is a soldier and Elisabeth is a writer.
p -> q. r. p. Therefore r and q.