Translate the following inference to logic notation: Michael is excited if and only if Robert is playing tennis. For all x, x_19 is not excited. If it is windy, then Robert is playing tennis. Therefore it is not windy or Patricia is drinking water.
P(a) <-> p. forall x: ~P(x). q -> p. Therefore ~q or r.