Translate the following inference to logic notation: Michael is a taxi driver if and only if it is cloudy. Michael is a taxi driver or it is not late. Therefore if it is late, then it is cloudy.
p <-> q. p or ~r. Therefore r -> q.