Translate the following inference to logic notation: Jennifer is listening to a song or it is overcast. If it is overcast, then John is fast. For all x, if x were fast, then x is making tea. If Jennifer listens to a song, then John is fast. Therefore John is making tea.
p or q. q -> P(a). forall x: P(x) -> Q(x). p -> P(a). Therefore Q(a).