Translate the following inference to logic notation: If Michael drives a car, then it is windy. Karen is curious or it is not windy. If Karen were curious, then Michael is driving a car. Michael is not driving a car. Therefore it is not windy.
p -> q. r or ~q. r -> p. ~p. Therefore ~q.