Translate the following inference to logic notation: For all x, x_9 will drink water. For all x, if x_9 were poor, then x_9 is a soldier. For all x, x_9 is a scientist or x_9 is poor. For all x, x_9 is not a scientist or x_9 will cook. For all x, if x_9 cooks, then x_9 is a soldier. Therefore Linda is drinking water.
forall x: P(x). forall x: Q(x) -> R(x). forall x: S(x) or Q(x). forall x: ~S(x) or T(x). forall x: T(x) -> R(x). Therefore P(a).