Consider the following premises. It is cloudy if and only if Patricia is playing squash. If it is cloudy, then Patricia is playing squash. Can we infer the following from them? If Patricia plays squash, then it is cloudy.
Yes.