Consider the following premises. If it is late, then Joseph is not a janitor. It is cloudy if and only if it is late. For all x_28, x_28 is a janitor. It is cloudy if and only if Jessica is a musician. Can we infer the following from them? If we can, name the inference rule being used: Jessica is a musician.
 From the fact that for all x_28, x_28 is a janitor we can infer that Joseph is a janitor via universal instantiation. From the fact that if it is late, then Joseph is not a janitor, and that Joseph is a janitor we can infer that it is not late via modus tollens. From the fact that it is cloudy if and only if it is late, and that it is not late we can infer that it is not cloudy via biconditional elimination. Finally, from the fact that it is cloudy if and only if Jessica is a musician, and that it is not cloudy we can infer that Jessica is not a musician via biconditional elimination, which contradicts that Jessica is a musician. Therefore, the answer is no.