Consider the following premises. Sarah is not taking a plane. For all x, x is bored or x will not take a plane. For all x, if x were bored, then x is taking a plane. Can we infer the following from them? Sarah is not bored.
 From the fact that for all x, x is bored or x will not take a plane we can infer that for all x, if x takes a plane, then x is bored. From the fact that for all x, if x were bored, then x is taking a plane, and that for all x, if x takes a plane, then x is bored we can infer that for all x, x is bored if and only if x will take a plane. From the fact that for all x, x is bored if and only if x will take a plane we can infer that Sarah is bored if and only if Sarah is taking a plane. Finally, from the fact that Sarah is bored if and only if Sarah is taking a plane, and that Sarah is not taking a plane we can infer that Sarah is not bored. Therefore, the answer is yes.