Translate the following inference to logic notation: It is cold if and only if John is taking a plane. It is not cold. If Linda doesn't play tennis, then Thomas is working. John is taking a plane if and only if Linda is playing tennis. Therefore Thomas is working.
p <-> q. ~p. ~r -> s. q <-> r. Therefore s.