Translate the following inference to logic notation: Mary is curious if and only if Michael is a janitor. Michael is not a janitor. William is a scientist if and only if Thomas is a poet. If Thomas were a poet, then Mary is curious. Therefore William is not a scientist.
p <-> q. ~q. r <-> s. s -> p. Therefore ~r.