Translate the following inference to logic notation: If Linda drinks water, then it is cloudy. If it rains, then Linda is drinking water. It is cold if and only if it is cloudy. Therefore if it rains, then it is cold.
p -> q. r -> p. s <-> q. Therefore r -> s.