Translate the following inference to logic notation: If Karen doesn't climb a mountain, then Robert is sleeping. For all x, y_4 will climb a mountain if and only if y_4 is an electrician. Karen is not an electrician. If Jessica were a musician, then Robert is sleeping. Therefore Robert is sleeping.
~P(a) -> p. forall x: P(x) <-> Q(x). ~Q(a). q -> p. Therefore p.