Translate the following inference to logic notation: If Barbara were an astronaut, then Mary is excited. Mary is excited if and only if Jennifer is listening to a song. Jennifer is listening to a song if and only if Michael is playing tennis. Michael is not playing tennis. Therefore Barbara is not an astronaut.
p -> q. q <-> r. r <-> s. ~s. Therefore ~p.