Translate the following inference to logic notation: If it rains, then it is overcast. It is late if and only if it is snowing. If it is overcast, then it is late. Therefore if it rains, then it is snowing.
p -> q. r <-> s. q -> r. Therefore p -> s.