Consider the following premises. Joseph is reading a book if and only if Jennifer is an astronaut. If it is windy, then Jennifer is an astronaut. It is windy or Joseph is reading a book. If Jennifer were an astronaut, then William is an artist. Can we infer the following from them? If we can, name the inference rule being used: William is not an artist.
 From the fact that Joseph is reading a book if and only if Jennifer is an astronaut we can infer that if Joseph reads a book, then Jennifer is an astronaut via biconditional elimination. From the fact that if it is windy, then Jennifer is an astronaut, that if Joseph reads a book, then Jennifer is an astronaut, and that it is windy or Joseph is reading a book we can infer that Jennifer is an astronaut via disjunction elimination. Finally, from the fact that if Jennifer were an astronaut, then William is an artist, and that Jennifer is an astronaut we can infer that William is an artist via modus ponens, which contradicts that William is not an artist. Therefore, the answer is no.