Translate the following inference to logic notation: If Robert were a police officer, then Mary is listening to a song. For all x, if x_10 listens to a song, then x_10 is an artist. If Mary were an artist, then Susan is making tea. Therefore if Robert were a police officer, then Susan is making tea.
p -> P(a). forall x: P(x) -> Q(x). Q(a) -> q. Therefore p -> q.