Translate the following inference to logic notation: It is windy or Linda is a poet. For all x, if x_15 were a poet, then x_15 is driving a car. For all x, if x_15 drives a car, then x_15 is listening to a song. If it is windy, then Linda is listening to a song. Therefore Linda is listening to a song or David is reading a book.
p or P(a). forall x: P(x) -> Q(x). forall x: Q(x) -> R(x). p -> R(a). Therefore R(a) or q.