Translate the following inference to logic notation: For all x, x_7 will work if and only if x_7 is a nurse. It is cold if and only if Thomas is a nurse. Thomas is not working. Therefore it is not cold.
forall x: P(x) <-> Q(x). p <-> Q(a). ~P(a). Therefore ~p.