Translate the following inference to logic notation: Richard is a carpenter if and only if Thomas is working. Charles is not a writer. Charles is a writer if and only if Richard is a carpenter. Thomas is working or Robert is not running. Therefore Robert is not running.
p <-> q. ~r. r <-> p. q or ~s. Therefore ~s.