Translate the following inference to logic notation: If Jessica writes a letter, then David is a taxi driver. If Jessica doesn't write a letter, then Charles is making tea. For all x, x_14 is not a taxi driver. Therefore Charles is making tea.
p -> P(a). ~p -> q. forall x: ~P(x). Therefore q.