Translate the following inference to logic notation: If William were a taxi driver, then it is snowing. If Thomas sleeps, then William is a taxi driver. If it snows, then Thomas is sleeping. David is not a poet. David is a poet if and only if it is snowing. Therefore William is not a taxi driver.
p -> q. r -> p. q -> r. ~s. s <-> q. Therefore ~p.