Translate the following inference to logic notation: Richard is not taking a plane. Jessica is cooking if and only if Karen is running. Karen is running if and only if Richard is taking a plane. If Karen were rich, then Jessica is cooking. Therefore Karen is not rich.
~p. q <-> r. r <-> p. s -> q. Therefore ~s.