Translate the following inference to logic notation: If James were a janitor, then Elisabeth is making tea. Thomas is not taking a plane. James is a janitor if and only if it is snowing. If Elisabeth makes tea, then Thomas is taking a plane. Therefore it is not snowing.
p -> q. ~r. p <-> s. q -> r. Therefore ~s.