Translate the following inference to logic notation: Michael is making tea if and only if it is sunny. If Michael makes tea, then it is sunny. Therefore if Michael makes tea, then it is sunny.
p <-> q. p -> q. Therefore p -> q.