Translate the following inference to logic notation: Susan is not running. Patricia is reading a book if and only if David is poor. Sarah is a doctor. It is raining if and only if Susan is running. If David were poor, then Sarah is not a doctor. Therefore it is not raining.
~p. q <-> r. s. t <-> p. r -> ~s. Therefore ~t.