Translate the following inference to logic notation: If it is cold, then Linda is a nurse. If Linda were a nurse, then Mary is sleeping. If Mary sleeps, then it is snowing. If it snows, then it is cold. Therefore it is cold if and only if it is snowing.
p -> q. q -> r. r -> s. s -> p. Therefore p <-> s.