Translate the following inference to logic notation: If it is overcast, then Thomas is a writer. Thomas is not a writer. Therefore it is not overcast or Mary is a police officer.
p -> q. ~q. Therefore ~p or r.