Translate the following inference to logic notation: David is not an electrician. David is an electrician if and only if it is windy. Robert is a doctor. If Robert were a doctor, then Mary is a bartender. Therefore it is not windy and Mary is a bartender.
~p. p <-> q. r. r -> s. Therefore ~q and s.