Translate the following inference to logic notation: If it snows, then Barbara is running. If Jessica were a taxi driver, then it is cloudy. Jessica is a taxi driver if and only if Barbara is running. It is not cloudy. If Barbara goes running, then it is snowing. Therefore it is not snowing.
p -> q. r -> s. r <-> q. ~s. q -> p. Therefore ~p.