Translate the following inference to logic notation: It is not windy. If Mary were curious, then Thomas is running. If Thomas goes running, then Susan is a scientist. If Mary were a server, then Mary is curious. It is windy if and only if Susan is a scientist. Therefore Mary is not a server.
~p. q -> r. r -> s. t -> q. p <-> s. Therefore ~t.