Translate the following inference to logic notation: For all x, if y were a doctor, then y is making tea. If Jessica makes tea, then Barbara is not a soldier. Barbara is a soldier. If Jessica were a musician, then Jessica is a doctor. Therefore Jessica is not a musician.
forall x: P(x) -> Q(x). Q(a) -> ~p. p. q -> P(a). Therefore ~q.