Translate the following inference to logic notation: If Richard makes tea, then it is cloudy. It is not cloudy. For all x, x_7 is a politician if and only if x_7 is poor. If William were poor, then Richard is making tea. Therefore William is not a politician.
p -> q. ~q. forall x: P(x) <-> Q(x). Q(a) -> p. Therefore ~P(a).