Translate the following inference to logic notation: If Linda were a poet, then it is late. If it is overcast, then it is cloudy. It is overcast if and only if it is late. If it is overcast, then Linda is a poet. It is not cloudy. Therefore it is not late.
p -> q. r -> s. r <-> q. r -> p. ~s. Therefore ~q.