Translate the following inference to logic notation: Robert is an artist or Thomas is not bored. If Thomas climbs a mountain, then Robert is an artist. For all x, x_8 is bored or x_8 will climb a mountain. Therefore Robert is an artist.
p or ~P(a). Q(a) -> p. forall x: P(x) or Q(x). Therefore p.