Translate the following inference to logic notation: Barbara is not a taxi driver. If Richard were a server, then it is windy. If Richard were a server, then Barbara is a taxi driver. If it is windy, then Richard is a server. Therefore it is not windy.
~p. q -> r. q -> p. r -> q. Therefore ~r.