Translate the following inference to logic notation: If Susan were a musician, then Michael is drinking water. If Michael drinks water, then Susan is a musician. Sarah is not a sailor. Sarah is a sailor or Michael is drinking water. Therefore Susan is a musician.
p -> q. q -> p. ~r. r or q. Therefore p.