Translate the following inference to logic notation: If Joseph were a musician, then Charles is a doctor. If Jennifer drinks water, then Jennifer is a taxi driver. Jennifer is not a taxi driver. Jennifer is drinking water if and only if Charles is a doctor. Therefore Joseph is not a musician.
p -> q. r -> s. ~s. r <-> q. Therefore ~p.