Translate the following inference to logic notation: For all x, x_17 will work or x_17 is a politician. If Susan were a politician, then it is overcast. It is overcast if and only if Susan is working. Therefore it is overcast or Sarah is making tea.
forall x: P(x) or Q(x). Q(a) -> p. p <-> P(a). Therefore p or q.