Translate the following inference to logic notation: If James were a carpenter, then Susan is a musician. If Susan were a musician, then James is a carpenter. If James were a carpenter, then Susan is a musician. James is not a carpenter. Therefore Susan is not a musician.
p -> q. q -> p. p -> q. ~p. Therefore ~q.