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