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