Translate the following inference to logic notation: If Thomas were a server, then it is windy. For all x, x_7 is a server or x_7 will not listen to a song. Therefore if Thomas listens to a song, then it is windy.
P(a) -> p. forall x: P(x) or ~Q(x). Therefore Q(a) -> p.