Translate the following inference to logic notation: If it is cloudy, then David is reading a book. David is a scientist. If David were a scientist, then it is cold. David is not reading a book. If it snows, then it is cloudy. Therefore it is cold and it is not snowing.
p -> q. r. r -> s. ~q. t -> p. Therefore s and ~t.