Translate the following inference to logic notation: If Susan takes a plane, then Elisabeth is listening to a song. Thomas is reading a book. If it is windy, then Thomas is not reading a book. If Elisabeth listens to a song, then it is windy. Therefore Susan is not taking a plane.
p -> q. r. s -> ~r. q -> s. Therefore ~p.