Translate the following inference to logic notation: If it is windy, then Elisabeth is a taxi driver. Elisabeth is a taxi driver. If Elisabeth were a taxi driver, then it is windy. Therefore it is windy.
p -> q. q. q -> p. Therefore p.