Consider the following premises. If James plays tennis, then William is drinking water. For all x_21, x_21 will drink water if and only if x_21 will go running. James is playing tennis if and only if Joseph is a janitor. William is not running. Can we infer the following from them? Mary is writing a letter.
We cannot infer that from the premises. Therefore the answer is no.