Translate the following inference to logic notation: Jennifer is driving a car or it is not cold. Jennifer is not driving a car. If it is not cold, then it is raining. Therefore it is raining.
p or ~q. ~p. ~q -> r. Therefore r.