Translate the following inference to logic notation: For all x, x_7 is poor if and only if x_7 will listen to a song. Karen is listening to a song. Therefore Karen is poor.
forall x: P(x) <-> Q(x). Q(a). Therefore P(a).