Translate the following inference to logic notation: If Mary were curious, then it is sunny. It is not late. If it is sunny, then Mary is curious. Mary is curious if and only if it is late. Therefore it is not sunny.
p -> q. ~r. q -> p. p <-> r. Therefore ~q.