Translate the following inference to logic notation: If it snows, then Michael is not sleeping. If it is late, then Michael is sleeping. Michael is sleeping if and only if Jennifer is making tea. It is late or Jennifer is making tea. Therefore it is not snowing.
p -> ~q. r -> q. q <-> s. r or s. Therefore ~p.