Translate the following inference to logic notation: If it is late, then it is cold. It is overcast if and only if William is a taxi driver. William is a taxi driver or it is late. If it is overcast, then it is cold. Therefore it is cold.
p -> q. r <-> s. s or p. r -> q. Therefore q.