Translate the following inference to logic notation: It is not windy. It is windy if and only if Elisabeth is running. It is overcast. Therefore Elisabeth is not running and it is overcast.
~p. p <-> q. r. Therefore ~q and r.