Translate the following inference to logic notation: Jessica is not taking a plane. If Jessica takes a plane, then Susan is climbing a mountain. If Susan climbs a mountain, then Jessica is taking a plane. Therefore Susan is not climbing a mountain.
~p. p -> q. q -> p. Therefore ~q.