Translate the following inference to logic notation: If Joseph were a taxi driver, then it is windy. It is not cold. It is cold or Jessica is a bartender. It is raining or Joseph is a taxi driver. If it rains, then it is windy. Therefore it is windy and Jessica is a bartender.
p -> q. ~r. r or s. t or p. t -> q. Therefore q and s.