Translate the following inference to logic notation: Michael is running if and only if it is cold. Mary is a taxi driver. For all x, x_16 will not go running. Therefore Mary is a taxi driver.
P(a) <-> p. q. forall x: ~P(x). Therefore q.