Translate the following inference to logic notation: It is cloudy if and only if it is sunny. Michael is a bartender. It is cloudy if and only if it is overcast. It is not overcast. Therefore Michael is a bartender and it is not sunny.
p <-> q. r. p <-> s. ~s. Therefore r and ~q.