Translate the following inference to logic notation: For all x, x_8 is curious or x_8 will take a plane. If Barbara were curious, then it is windy. It is windy or Barbara is not taking a plane. Therefore it is windy.
forall x: P(x) or Q(x). P(a) -> p. p or ~Q(a). Therefore p.