Translate the following inference to logic notation: If it snows, then Barbara is sad. If Karen were a doctor, then it is snowing. If Karen were a doctor, then it is snowing. If Barbara were sad, then Karen is a doctor. Therefore if it snows, then Karen is a doctor.
p -> q. r -> p. r -> p. q -> r. Therefore p -> r.