Translate the following inference to logic notation: If it is windy, then John is a poet. John is a poet if and only if Charles is a bartender. Charles is a bartender or Jessica is not making tea. It is windy. Therefore John is a poet.
p -> q. q <-> r. r or ~s. p. Therefore q.