Translate the following inference to logic notation: Barbara is a bartender and John is running. Robert is curious if and only if Joseph is a doctor. Robert is not curious. Therefore Barbara is a bartender and Joseph is not a doctor.
p and q. r <-> s. ~r. Therefore p and ~s.