Consider the following premises. If it is sunny, then it is late. It is not late. If it is sunny, then Joseph is playing tennis. If Joseph plays tennis, then it is sunny. Can we infer the following from them? If we can, name the inference rule being used: Joseph is not playing tennis.
 From the fact that if it is sunny, then Joseph is playing tennis, and that if Joseph plays tennis, then it is sunny we can infer that it is sunny if and only if Joseph is playing tennis via biconditional introduction. From the fact that if it is sunny, then it is late, and that it is not late we can infer that it is not sunny via modus tollens. Finally, from the fact that it is sunny if and only if Joseph is playing tennis, and that it is not sunny we can infer that Joseph is not playing tennis via biconditional elimination. Therefore, the answer is yes.