Translate the following inference to logic notation: Jessica is a carpenter if and only if it is cold. Robert is bored. Jessica is a carpenter if and only if Robert is bored. It is not cold. Therefore Charles is rich.
p <-> q. r. p <-> r. ~q. Therefore s.