Translate the following inference to logic notation: If Sarah reads a book, then Robert is taking a plane. For all x, x_9 will take a plane if and only if x_9 will drink water. Robert is drinking water or Sarah is reading a book. Therefore Robert is taking a plane.
p -> P(a). forall x: P(x) <-> Q(x). Q(a) or p. Therefore P(a).