Translate the following inference to logic notation: If Charles were a taxi driver, then David is a nurse. It is cold. For all x, x_19 will not write a letter. If David were a nurse, then William is writing a letter. Therefore it is cold and Charles is not a taxi driver.
p -> q. r. forall x: ~P(x). q -> P(a). Therefore r and ~p.