Translate the following inference to logic notation: If Jennifer were a cashier, then Charles is working. Jennifer is a cashier or Charles is listening to a song. For all x, if x_15 listens to a song, then x_15 is a musician. For all x, if x_15 were a musician, then x_15 is working. Therefore Charles is working or Mary is making tea.
p -> P(a). p or Q(a). forall x: Q(x) -> R(x). forall x: R(x) -> P(x). Therefore P(a) or q.