Translate the following inference to logic notation: For all x, x_17 will write a letter or x_17 is not an office clerk. It is sunny if and only if John is making tea. It is sunny or Linda is an office clerk. If Linda writes a letter, then John is making tea. Therefore John is making tea.
forall x: P(x) or ~Q(x). p <-> q. p or Q(a). P(a) -> q. Therefore q.