Translate the following inference to logic notation: Thomas is a writer if and only if Mary is an artist. If David were a scientist, then it is windy. It is not windy. If Thomas were a writer, then David is a scientist. Therefore Mary is not an artist.
p <-> q. r -> s. ~s. p -> r. Therefore ~q.