Translate the following inference to logic notation: For all x, x_16 will cook if and only if x_16 will drive a car. Jennifer is not reading a book. If Thomas cooks, then it is overcast. If it is overcast, then Jennifer is reading a book. Therefore Thomas is not driving a car or Sarah is a nurse.
forall x: P(x) <-> Q(x). ~p. P(a) -> q. q -> p. Therefore ~Q(a) or r.