Translate the following inference to logic notation: Charles is playing tennis if and only if it is snowing. Linda is running. If Charles plays tennis, then it is windy. It is not windy. Therefore Linda is running and it is not snowing.
p <-> q. r. p -> s. ~s. Therefore r and ~q.