Translate the following inference to logic notation: It is sunny or Michael is a carpenter. William is an artist. Patricia is rich if and only if it is sunny. Patricia is not rich. Therefore William is an artist and Michael is a carpenter.
p or q. r. s <-> p. ~s. Therefore r and q.