Translate the following inference to logic notation: It is cold or William is playing a game. If it is cold, then William is poor. For all x, if x_14 plays a game, then x_14 is poor. Therefore William is poor or Elisabeth is taking a plane.
p or P(a). p -> Q(a). forall x: P(x) -> Q(x). Therefore Q(a) or q.