Translate the following inference to logic notation: Linda is not a scientist. If it snows, then John is a sailor. John is a sailor if and only if Linda is a scientist. If John were a sailor, then it is snowing. If John were a sailor, then it is snowing. Therefore it is not snowing.
~p. q -> r. r <-> p. r -> q. r -> q. Therefore ~q.