Translate the following inference to logic notation: Elisabeth is a taxi driver if and only if it is late. It is windy if and only if John is curious. John is curious or Elisabeth is a taxi driver. If it is late, then it is windy. Therefore it is windy.
p <-> q. r <-> s. s or p. q -> r. Therefore r.