Consider the following premises. For all y, y will drive a car if and only if y is bored. Susan is working. If Susan works, then David is driving a car. Can we infer the following from them? David is bored.
 From the fact that for all y, y will drive a car if and only if y is bored we can infer that for all y, if y drives a car, then y is bored. From the fact that for all y, if y drives a car, then y is bored we can infer that if David drives a car, then David is bored. From the fact that if Susan works, then David is driving a car, and that if David drives a car, then David is bored we can infer that if Susan works, then David is bored. Finally, from the fact that if Susan works, then David is bored, and that Susan is working we can infer that David is bored. Therefore, the answer is yes.