Translate the following inference to logic notation: It is snowing or it is not windy. Thomas is a taxi driver if and only if it is snowing. Therefore if it is windy, then Thomas is a taxi driver.
p or ~q. r <-> p. Therefore q -> r.