Translate the following inference to logic notation: If Susan reads a book, then Sarah is happy. Sarah is not listening to a song. For all x, x_3 is happy if and only if x_3 will listen to a song. Therefore Susan is not reading a book.
p -> P(a). ~Q(a). forall x: P(x) <-> Q(x). Therefore ~p.