Consider the following premises. Susan is playing squash if and only if David is sleeping. For all x_12, x_12 is a mechanic if and only if x_12 will make tea. David is sleeping or Linda is not a mechanic. Susan is not playing squash. Can we infer the following from them? Linda is not making tea.
 From the fact that Susan is playing squash if and only if David is sleeping, and that Susan is not playing squash we can infer that David is not sleeping. From the fact that for all x_12, x_12 is a mechanic if and only if x_12 will make tea we can infer that Linda is a mechanic if and only if Linda is making tea. From the fact that David is sleeping or Linda is not a mechanic we can infer that if Linda were a mechanic, then David is sleeping. From the fact that if Linda were a mechanic, then David is sleeping, and that David is not sleeping we can infer that Linda is not a mechanic. Finally, from the fact that Linda is a mechanic if and only if Linda is making tea, and that Linda is not a mechanic we can infer that Linda is not making tea. Therefore, the answer is yes.