Translate the following inference to logic notation: John is working. If Sarah doesn't cook, then it is snowing. If Sarah cooks, then John is not working. Therefore it is snowing.
p. ~q -> r. q -> ~p. Therefore r.