Consider the following premises. For all x_14, x_14 will go running if and only if x_14 will listen to a song. If John reads a book, then Susan is listening to a song. For all x_7, x_7 will read a book if and only if x_7 is an electrician. Susan is not running. Can we infer the following from them? If we can, name the inference rule being used: John is an electrician.
 From the fact that for all x_14, x_14 will go running if and only if x_14 will listen to a song we can infer that Susan is running if and only if Susan is listening to a song via universal instantiation. From the fact that Susan is running if and only if Susan is listening to a song, and that Susan is not running we can infer that Susan is not listening to a song via biconditional elimination. From the fact that for all x_7, x_7 will read a book if and only if x_7 is an electrician we can infer that John is reading a book if and only if John is an electrician via universal instantiation. From the fact that if John reads a book, then Susan is listening to a song, and that Susan is not listening to a song we can infer that John is not reading a book via modus tollens. Finally, from the fact that John is reading a book if and only if John is an electrician, and that John is not reading a book we can infer that John is not an electrician via biconditional elimination, which contradicts that John is an electrician. Therefore, the answer is no.