Consider the following premises. If Joseph were a scientist, then Elisabeth is bored. Mary is listening to a song if and only if Joseph is a scientist. For all y, y is not bored. Can we infer the following from them? Mary is not listening to a song or Mary is climbing a mountain.
 From the fact that for all y, y is not bored we can infer that Elisabeth is not bored. From the fact that if Joseph were a scientist, then Elisabeth is bored, and that Elisabeth is not bored we can infer that Joseph is not a scientist. From the fact that Mary is listening to a song if and only if Joseph is a scientist, and that Joseph is not a scientist we can infer that Mary is not listening to a song. Finally, from the fact that Mary is not listening to a song we can infer that Mary is not listening to a song or Mary is climbing a mountain. Therefore, the answer is yes.