Translate the following inference to logic notation: If John makes tea, then it is late. If it is not late, then Mary is a nurse. It is not windy. John is making tea if and only if it is windy. If it is late, then John is making tea. Therefore Mary is a nurse.
p -> q. ~q -> r. ~s. p <-> s. q -> p. Therefore r.