Translate the following inference to logic notation: Mary is a scientist if and only if Thomas is running. For all x, x_10 is not a scientist. Therefore Thomas is not running.
P(a) <-> p. forall x: ~P(x). Therefore ~p.