Translate the following inference to logic notation: If Elisabeth were an electrician, then Susan is a politician. Susan is a politician if and only if it is windy. If Richard were a bartender, then Elisabeth is an electrician. It is windy if and only if Richard is a bartender. Therefore Richard is a bartender if and only if it is windy.
p -> q. q <-> r. s -> p. r <-> s. Therefore s <-> r.