Consider the following premises. If William were an office clerk, then William is a carpenter. For all x_11, x_11 is an office clerk if and only if x_11 is a carpenter. Can we infer the following from them? The fact that William were an office clerk does not imply that William is a carpenter.
That contradicts the premises. Therefore the answer is no.