Consider the following premises. If Karen plays squash, then Patricia is working. Karen is playing squash or it is not snowing. If Patricia works, then it is snowing. Can we infer the following from them? If it snows, then Karen is playing squash.
Yes.