Consider the following premises. Barbara is not a police officer. For all x_7, x_7 is happy if and only if x_7 is a bartender. Barbara is a police officer if and only if James is reading a book. If Michael were a bartender, then James is reading a book. Can we infer the following from them? Michael is not happy.
 From the fact that Barbara is a police officer if and only if James is reading a book, and that Barbara is not a police officer we can infer that James is not reading a book. From the fact that for all x_7, x_7 is happy if and only if x_7 is a bartender we can infer that Michael is happy if and only if Michael is a bartender. From the fact that if Michael were a bartender, then James is reading a book, and that James is not reading a book we can infer that Michael is not a bartender. Finally, from the fact that Michael is happy if and only if Michael is a bartender, and that Michael is not a bartender we can infer that Michael is not happy. Therefore, the answer is yes.