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