Translate the following inference to logic notation: If it snows, then Jennifer is a musician. Linda is a mechanic if and only if David is taking a plane. If David doesn't take a plane, then Robert is an office clerk. If Robert were an office clerk, then it is snowing. Linda is not a mechanic. Therefore Jennifer is a musician.
p -> q. r <-> s. ~s -> t. t -> p. ~r. Therefore q.