Translate the following inference to logic notation: If it snows, then Susan is playing squash. Barbara is a scientist if and only if Thomas is a nurse. If Thomas were a nurse, then it is snowing. If Susan plays squash, then Thomas is a nurse. Susan is not playing squash. Therefore Barbara is not a scientist.
p -> q. r <-> s. s -> p. q -> s. ~q. Therefore ~r.