Translate the following inference to logic notation: If Michael were a sailor, then Sarah is making tea. If it rains, then it is late. If it is late, then it is raining. If it is late, then Michael is a sailor. If Sarah makes tea, then it is raining. Therefore Michael is a sailor if and only if it is late.
p -> q. r -> s. s -> r. s -> p. q -> r. Therefore p <-> s.