Translate the following inference to logic notation: Richard is not a musician. If Charles were curious, then it is overcast. For all x, x_11 will drink water if and only if x_11 is a musician. It is not overcast. Therefore Charles is not curious and Richard is not drinking water.
~P(a). p -> q. forall x: Q(x) <-> P(x). ~q. Therefore ~p and ~Q(a).