Consider the following premises. Mary is a lawyer. If David drives a car, then Thomas is reading a book. Richard is playing tennis if and only if Thomas is reading a book. Richard is not playing tennis. Can we infer the following from them? David is not driving a car and Mary is a lawyer.
 From the fact that Richard is playing tennis if and only if Thomas is reading a book, and that Richard is not playing tennis we can infer that Thomas is not reading a book. From the fact that if David drives a car, then Thomas is reading a book, and that Thomas is not reading a book we can infer that David is not driving a car. Finally, from the fact that David is not driving a car, and that Mary is a lawyer we can infer that David is not driving a car and Mary is a lawyer. Therefore, the answer is yes.