Translate the following inference to logic notation: Karen is rich if and only if Linda is making tea. For all x, x will not make tea. Therefore Karen is not rich or it is sunny.
p <-> P(a). forall x: ~P(x). Therefore ~p or q.