Translate the following inference to logic notation: For all x, if x_17 were a nurse, then x_17 is curious. If it is cold, then David is a nurse. David is curious if and only if it is cold. Therefore if David were curious, then David is a nurse.
forall x: P(x) -> Q(x). p -> P(a). Q(a) <-> p. Therefore Q(a) -> P(a).