Translate the following inference to logic notation: If it is windy, then it is overcast. It is windy if and only if it is snowing. If it is overcast, then it is snowing. Therefore if it is windy, then it is snowing.
p -> q. p <-> r. q -> r. Therefore p -> r.