Consider the following premises. If Thomas were sad, then Thomas is running. For all x, x will go running if and only if x is sad. Can we infer the following from them? If is not true that Thomas is sad if and only if Thomas is running.
That contradicts the premises. Therefore the answer is no.