Translate the following inference to logic notation: If Jessica drives a car, then Sarah is a server. Jessica is driving a car if and only if it is windy. Sarah is not a server. Therefore it is not windy.
p -> q. p <-> r. ~q. Therefore ~r.