Translate the following inference to logic notation: It is windy if and only if Thomas is taking a plane. It is not windy. William is playing squash and it is late. Therefore Thomas is not taking a plane and William is playing squash.
p <-> q. ~p. r and s. Therefore ~q and r.