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