Translate the following inference to logic notation: If Karen listens to a song, then David is taking a plane. If David takes a plane, then Karen is listening to a song. If David takes a plane, then Karen is listening to a song. David is not taking a plane. Therefore Karen is not listening to a song.
p -> q. q -> p. q -> p. ~q. Therefore ~p.