Translate the following inference to logic notation: Joseph is not poor. If Joseph were poor, then Sarah is playing tennis. Sarah is playing tennis if and only if Barbara is a musician. If Sarah plays tennis, then Joseph is poor. Therefore Barbara is not a musician.
~p. p -> q. q <-> r. q -> p. Therefore ~r.