Translate the following inference to logic notation: For all x, y will write a letter. If Barbara writes a letter, then it is cold. If William were a server, then it is cold. Therefore it is cold.
forall x: P(x). P(a) -> p. q -> p. Therefore p.