Translate the following inference to logic notation: James is not sad. Susan is running. James is sad if and only if Susan is running. Patricia is poor. Therefore David is a mechanic.
~p. q. p <-> q. r. Therefore s.