Translate the following inference to logic notation: Susan is not climbing a mountain. Susan is playing squash if and only if Susan is playing tennis. If Susan plays tennis, then Susan is climbing a mountain. If Patricia goes running, then Susan is playing squash. Therefore Patricia is not running.
~p. q <-> r. r -> p. s -> q. Therefore ~s.