Translate the following inference to logic notation: For all x, x_17 will make tea if and only if x_17 is a musician. Patricia is not a musician. Therefore Patricia is not making tea or David is drinking water.
forall x: P(x) <-> Q(x). ~Q(a). Therefore ~P(a) or p.