Translate the following inference to logic notation: If it is cold, then Barbara is a taxi driver. If Barbara were a taxi driver, then it is cold. It is cold if and only if it is sunny. If it is sunny, then it is late. It is snowing if and only if it is late. It is not snowing. Therefore Barbara is not a taxi driver.
p -> q. q -> p. p <-> r. r -> s. t <-> s. ~t. Therefore ~q.