Translate the following inference to logic notation: It is cold. Patricia is a taxi driver if and only if Elisabeth is a cashier. Elisabeth is a cashier if and only if it is windy. If Patricia were a taxi driver, then it is not cold. Therefore it is not windy.
p. q <-> r. r <-> s. q -> ~p. Therefore ~s.