Translate the following inference to logic notation: For all x, x_6 is bored and x_6 will read a book. For all x, x_6 will write a letter. Therefore John is bored.
forall x: P(x) and Q(x). forall x: R(x). Therefore P(a).