Translate the following inference to logic notation: If Jessica were bored, then Michael is sad. Michael is a janitor or Jessica is bored. For all x, if x_17 were sad, then x_17 is a janitor. For all x, if x_17 were a janitor, then x_17 is sad. Elisabeth is listening to a song. Therefore Elisabeth is listening to a song and Michael is sad.
p -> P(a). Q(a) or p. forall x: P(x) -> Q(x). forall x: Q(x) -> P(x). q. Therefore q and P(a).