Translate the following inference to logic notation: If it is cold, then Robert is listening to a song. If Robert listens to a song, then it is cold. For all x, x_16 will not listen to a song. Therefore it is not cold or David is rich.
p -> P(a). P(a) -> p. forall x: ~P(x). Therefore ~p or q.