Consider the following premises. Thomas is not a taxi driver. It is cloudy if and only if Thomas is a taxi driver. If Jessica were bored, then it is cloudy. Can we infer the following from them? If we can, name the inference rule being used: Jessica is bored.
 From the fact that it is cloudy if and only if Thomas is a taxi driver we can infer that if it is cloudy, then Thomas is a taxi driver via biconditional elimination. From the fact that if it is cloudy, then Thomas is a taxi driver, and that Thomas is not a taxi driver we can infer that it is not cloudy via modus tollens. Finally, from the fact that if Jessica were bored, then it is cloudy, and that it is not cloudy we can infer that Jessica is not bored via modus tollens, which contradicts that Jessica is bored. Therefore, the answer is no.