Translate the following inference to logic notation: Barbara is not fast. David is making tea or it is cloudy. If David makes tea, then Joseph is poor. If Joseph were poor, then Barbara is fast. Therefore it is cloudy.
~p. q or r. q -> s. s -> p. Therefore r.