Translate the following inference to logic notation: It is windy or Patricia is not a police officer. Patricia is a police officer if and only if it is late. If Michael were a bartender, then it is late. Therefore if Michael were a bartender, then it is windy.
p or ~q. q <-> r. s -> r. Therefore s -> p.