Translate the following inference to logic notation: It is windy if and only if Mary is playing tennis. If Mary plays tennis, then it is overcast. It is not overcast. Therefore it is not windy.
p <-> q. q -> r. ~r. Therefore ~p.