Translate the following inference to logic notation: If Thomas climbs a mountain, then Thomas is a musician. For all x, if x_16 were a musician, then x_16 is climbing a mountain. Thomas is not climbing a mountain. Therefore Thomas is not a musician or it is late.
P(a) -> Q(a). forall x: Q(x) -> P(x). ~P(a). Therefore ~Q(a) or p.