Consider the following premises. It is cloudy and it is raining. For all x_12, if x_12 reads a book, then x_12 is climbing a mountain. For all x_12, if x_12 climbs a mountain, then x_12 is reading a book. James is not reading a book. Can we infer the following from them? James is not climbing a mountain and it is cloudy.
 From the fact that it is cloudy and it is raining we can infer that it is cloudy. From the fact that for all x_12, if x_12 climbs a mountain, then x_12 is reading a book, and that for all x_12, if x_12 reads a book, then x_12 is climbing a mountain we can infer that for all x_12, x_12 will climb a mountain if and only if x_12 will read a book. From the fact that for all x_12, x_12 will climb a mountain if and only if x_12 will read a book we can infer that James is climbing a mountain if and only if James is reading a book. From the fact that James is climbing a mountain if and only if James is reading a book, and that James is not reading a book we can infer that James is not climbing a mountain. Finally, from the fact that James is not climbing a mountain, and that it is cloudy we can infer that James is not climbing a mountain and it is cloudy. Therefore, the answer is yes.