Translate the following inference to logic notation: Mary is a doctor if and only if it is raining. If Michael were a writer, then it is raining. Mary is not a doctor. Michael is a writer or James is a bartender. Therefore it is sunny or James is a bartender.
p <-> q. r -> q. ~p. r or s. Therefore t or s.