Translate the following inference to logic notation: For all x, x_10 will not sleep or x_10 will make tea. If Karen makes tea, then it is cloudy. For all x, x_10 will sleep or x_10 is a politician. If Karen were a politician, then James is taking a plane. If James takes a plane, then it is cloudy. Therefore it is cloudy.
forall x: ~P(x) or Q(x). Q(a) -> p. forall x: P(x) or R(x). R(a) -> q. q -> p. Therefore p.