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