Translate the following inference to logic notation: If it is cold, then Barbara is an electrician. If it is late, then it is cold. It is windy if and only if it is late. Therefore if it is windy, then Barbara is an electrician.
p -> q. r -> p. s <-> r. Therefore s -> q.