Translate the following inference to logic notation: If it snows, then it is overcast. Jennifer is a taxi driver if and only if William is an astronaut. It is not overcast. Jennifer is not a taxi driver. Therefore it is not snowing.
p -> q. r <-> s. ~q. ~r. Therefore ~p.