Translate the following inference to logic notation: If Michael cooks, then it is sunny. It is not sunny. If it is sunny, then Michael is cooking. Therefore Michael is not cooking.
p -> q. ~q. q -> p. Therefore ~p.