Translate the following inference to logic notation: Susan is an electrician if and only if Robert is bored. Susan is an electrician. It is sunny if and only if Robert is bored. It is not sunny. Therefore Michael is running.
p <-> q. p. r <-> q. ~r. Therefore s.