Translate the following inference to logic notation: If Charles makes tea, then it is windy. It is not windy. It is overcast if and only if Charles is sad. For all x, y is sad if and only if y will make tea. Therefore it is not overcast.
P(a) -> p. ~p. q <-> Q(a). forall x: Q(x) <-> P(x). Therefore ~q.