Consider the following premises. If Patricia takes a plane, then James is playing squash. For all x_3, x_3 is bored if and only if x_3 will play squash. Patricia is taking a plane or James is bored. Can we infer the following from them? Patricia is taking a plane or James is bored.
That is one of the premises. Therefore, the answer is yes.