Translate the following inference to logic notation: If William reads a book, then it is windy. For all x, if x_15 listens to a song, then x_15 is reading a book. If it snows, then William is listening to a song. If it is sunny, then it is snowing. If David drinks water, then it is sunny. Therefore if David drinks water, then it is windy.
P(a) -> p. forall x: Q(x) -> P(x). q -> Q(a). r -> q. s -> r. Therefore s -> p.