Translate the following inference to logic notation: Linda is a bartender. If Joseph drinks water, then Thomas is sleeping. If Thomas were an office clerk, then Linda is not a bartender. For all x, x_14 will sleep if and only if x_14 is an office clerk. If Thomas sleeps, then Joseph is drinking water. Therefore Joseph is not drinking water.
p. q -> P(a). Q(a) -> ~p. forall x: P(x) <-> Q(x). P(a) -> q. Therefore ~q.