Translate the following inference to logic notation: Mary is poor if and only if Susan is happy. Joseph is not reading a book or it is cloudy. If it is cloudy, then Mary is poor. Joseph is reading a book or Susan is happy. Therefore Mary is poor.
p <-> q. ~r or s. s -> p. r or q. Therefore p.