Translate the following inference to logic notation: Michael is excited if and only if it is windy. It is windy if and only if Mary is a doctor. If Joseph were fast, then Michael is excited. Mary is not a doctor. Therefore Joseph is not fast.
p <-> q. q <-> r. s -> p. ~r. Therefore ~s.